• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.5-5
• /
• 1992

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.2
• /
• pp.67-72
• /
• 1996

This paper presents a parameter adaptive control law that stabilizes and asymptotically regulates any single-input, linear time-invariant, controllable and observable, discrete-time system when only the upper bounds on the order of the system is given. The algorithm presented in this paper comprises basically a nonlinear state feedback law which is represented by functions of the state vector in the controllable subspace of the model, an adaptive identifier of plant parameters which uses inputs and outputs of a certain length, and an adaptive law for feedback gain adjustment. A new psedu-inverse algorithm is used for the adaptive feedback gain adjustment rather than a least-square algorithm. The proposed feedback law results in not only uniform boundedness of the state vector to zero. The superiority of the proposed algorithm over other algorithms is shown through some examples.

• Journal of the Korea Society for Simulation
• /
• v.1 no.1
• /
• pp.64-76
• /
• 1992

The DEVS(discrete event system specificaition) formalism specifies a discrete event system in a hierarchical, modular form. DEVSIM++ is a C++based general purpose DEVS abstract simulator which can simulate systems modeled by the DEVS formalism in a sequential environment. This paper describes P-DEVSIM++which is a parallel version of DEVSIM++ . In P-DEVSIM++, the external and internal event of DEVS models can by processed in parallel. For such processing, we propose a parallel, distributed optimistic simulation algorithm based on the Time Warp approach. However, the proposed algorithm localizes the rollback of a model within itself, not possible in the standard Time Warp approach. An advantage of such localization is that the simulation time may be reduced. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.430-433
• /
• 1997

In this paper, an intervalwise receding horizon control (IRHC) is proposed which stabilizes linear continuous and discrete time-varying systems each other by means of a feedback control stemming from a receding horizon concept and a minimum quadratic cost. The results parallel those obtained for continuous [4],[9] and discrete time varying system [5],[15] each other.

• Journal of Power Electronics
• /
• v.8 no.3
• /
• pp.201-209
• /
• 2008

This paper presents the modeling and design of a digital controller for a phase-shifted full-bridge converter (PSFBC) in a discrete-time domain. The discretized PSFBC model is first derived and then analyzed considering the sampling effect and the system parameters. Based on this model, the digital controller is directly designed in a discrete-time domain. The simulation and experimental results are provided to show the validity of the proposed modeling and controller design.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.33 no.1
• /
• pp.107-115
• /
• 2008

We consider the discrete-time GI/G/1/K queue under the early arrival system. Using a modified supplementary variable technique(SVT), we obtain the distribution of the steady-state queue length. Unlike the conventional SVT, the modified SVT yields transform-free results in such a form that a simple two-moment approximation scheme can be easily established.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.505-510
• /
• 1994

To prevent the stable states from the complex dynamics, the global behavior of the overall system must be considered. Thus, indirect adaptive scheme might result in needless responses. Discrete-time variable structure controllers for a well-known logistic map are designed for two deferent sliding hyperplanes. Impulse disturbances are fully rejected by tile virtue of discrete-time variable structure control(DVSC). A numerical example is given to illustrate the effectless of the DVSC.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.742-746
• /
• 1992

This paper proposes a new linear robust state feedback controller for the linear discrete time systems which have uncertainties in the state and input matrices. The uncertainties need not satisfy the matching conditions, but only their bounds are needed to be known. The proposed controller is derived from the linear quadratic game problem, which solution is obtained via the modified algebraic Riccati equation. The controller guarantees the robust performance bound. The bound of the solution and the condition of the uncertainties, which can stabilize the uncertain system are explored.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2155-2157
• /
• 2002

In this paper, we present a stabilizing controller for the singularly perturbed discrete time bilinear systems. The proposed control method guarantees the robust stability for the resulting closed loop system with multi-input. We verify the proposed algorithm by a numerical example.