• Journal of the Korea Society for Simulation
• /
• v.10 no.3
• /
• pp.1-14
• /
• 2001

A hybrid system is defined as a mixture of continuous systems and discrete event systems. This paper first proposes a framework for hybrid systems modeling, called Hybrid Discrete Event System Specification (HDEVS) formalism. It then presents a method for simulators interoperation in which a continuous system simulator and a discrete event simulator are executed together in a cooperative manner. The formalism can specify a hybrid system in a way that a continuos system and a discrete event system are separately modeled by their own specification formalisms with a support of well-defined interface. We call such interface an A/E converter for analog-to- event conversion and an E/A converter for event-to-analog conversion. Simulators interoperation is based on the concept of pre-simulation in which simulation time for a continuous simulator is advanced in accordance with a discrete event simulator.

• ETRI Journal
• /
• v.37 no.1
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2013

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.

• Journal of the Korea Society for Simulation
• /
• v.10 no.3
• /
• pp.15-30
• /
• 2001

Hybrid simulation may employ different types of simulation based on which models in different system types are developed. The simulation requires simulation time synchronization and data exchange between such simulators, which is called simulators interoperation. This paper develops such interoperable simulation environments for modeling and simulation of hybrid systems whose components consist of continuous and discrete event systems. The environments, one for centerized and the other for distribute, support interoperation between a discrete event simulator of DEVSim++ and a continuous simulator of MATLAB. The centerized environment, HDEVSim++, is developed by extending the sxisting DEVSim++ environment; the distributed environment, HDEVSimHLA, is developed using the HLA/RTl library. Verification of both environments is made and performance comparison between the two using a simple example is presented. .

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2719-2724
• /
• 2003

In this paper, we deal with the kinematic and dynamic modeling of hybrid robotic systems that are constructed by combination of parallel and serial modules or series of parallel modules. Previously, open-tree structure has been employed for dynamic modeling of hybrid robotic systems. Though this method is generally used, however, it requires expensive computation as the size of the system increases. Therefore, we propose an efficient dynamic modeling methodology for hybrid robotic systems. Initially, the dynamic model for the proximal module is obtained with respect to the independent joint coordinates. Then, in order to represent the operational dynamics of the proximal module, we model virtual joints attached at the top platform of the proximal module. The dynamic motion of the next module exerts dynamic forces to the virtual joints, which in fact is equivalent to the reaction forces exerted on the platform of the lower module by the dynamics of the upper module. Then, the dynamic forces at the virtual joints are distributed to the independent joints of the proximal module. For multiple modules, this scheme can be constructed as a recursive dynamic formulation, which results in reduction of the complexness of the open-tree structure method for modeling of hybrid robotic systems. Simulation for inverse dynamics is performed to validate the proposed modeling algorithm.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.23 no.11
• /
• pp.84-93
• /
• 2009

In this paper, we propose to study the possibility of using a photovoltaic system combined with a high speed micro-turbine. This hybrid system can work as stand-alone system or grid connected system as it will be a part of a micro-grid. Initially, we propose Matlab/Simulink dynamic models of photovoltaic, micro turbine systems and supercapacitor. Then, we carry out a simulation comparison of the two systems, this is, with supercapacitor and without supercapacitor bank. We show that supercapacitor bank as short-term storage device was necessary to reduce the fast fluctuation of power in the case of sensitive loads. It is verified the simulation results of Matlab/Simulink based hybrid power system represent the effectiveness of the suggested hybrid power system.

• Smart Structures and Systems
• /
• v.31 no.2
• /
• pp.113-130
• /
• 2023

Hybrid simulation (HS) has attracted community attention in recent years as an efficient and effective experimental technique for structural performance evaluation in size-limited laboratories. Traditional hybrid simulations usually take deterministic properties for their numerical substructures therefore could not account for inherent uncertainties within the engineering structures to provide probabilistic performance assessment. Reliable structural performance evaluation, therefore, calls for stochastic hybrid simulation (SHS) to explicitly account for substructure uncertainties. The experimental design of SHS is explored in this study to account for uncertainties within analytical substructures. Both computational simulation and laboratory experiments are conducted to evaluate the pseudo-random Sobol sequence for the experimental design of SHS. Meta-modeling through polynomial chaos expansion (PCE) is established from a computational simulation of a nonlinear single-degree-of-freedom (SDOF) structure to evaluate the influence of nonlinear behavior and ground motions uncertainties. A series of hybrid simulations are further conducted in the laboratory to validate the findings from computational analysis. It is shown that the Sobol sequence provides a good starting point for the experimental design of stochastic hybrid simulation. However, nonlinear structural behavior involving stiffness and strength degradation could significantly increase the number of hybrid simulations to acquire accurate statistical estimation for the structural response of interests. Compared with the statistical moments calculated directly from hybrid simulations in the laboratory, the meta-model through PCE gives more accurate estimation, therefore, providing a more effective way for uncertainty quantification.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.27 no.11
• /
• pp.57-68
• /
• 2013

The market for distributed power generation based on renewable energy is increasing, particularly for standalone mini-grid applications in developing countries with limited energy resources. Stand-alone power systems (SAPS) are of special interest combined with renewable energy design in areas not connected to the electric grid. Traditionally, such systems have been powered by diesel engine generator sets (DEGS), but also hybrid systems with photovoltaic and/or wind energy conversion systems (WECS) are becoming quite common nowadays. Hybrid energy systems can now be used to generate energy consumed in remote areas and stand-alone microgrids. This paper describes the design, simulation and feasibility study of a hybrid energy system for a stand-alone power system. A simulated model is developed to investigate the design and performance of stand-alone hydrogen renewable energy systems. The analysis presented here is based on transient system simulation program (TRNSYS) with realistic ventilation load of a large store. Design of a hybrid energy system is site specific and depends on the resources available and the load demand.

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

We propose the hybrid control for the path control of wheeled mobile robot system. To develop the hybrid control of mobile robot, the continuous dynamics of mobile robot are modeled by the switched systems. The abstract model and digital automata for the path control are developed. This hybrid control system has the 3-layered hierachical structure : digital automata as the higher process, mobile robot system as the lower process, and the interface as the interaction process between the continuous dynamics and the discrete dynamics. The control of following the desired-paths with edges are investigated as the applications by the computer simulation.