• 한국시뮬레이션학회논문지
• /
• 제10권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
• /
• 제37권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.

• 한국시뮬레이션학회논문지
• /
• 제22권1호
• /
• pp.21-30
• /
• 2013

하이브리드 시스템은 서로 다른 상태와 시간을 가지는 부 시스템의 조합으로 이루어진다. 대표적인 예가 이산 사건 시스템과 연속 시간 시스템의 조합이다. HDEVS 형식론은 이러한 하이브리드 시스템을 모델링하고 분석하기 위해 제안되었는데, 이러한 형식론을 통해 모델러는 수학적인 형식론에 기초한 계층적이고 모듈성이 있는 모델을 설계할 수 있었다. 그러나 HDEVS 형식론이 주로 분산된 연동 시뮬레이션에 적용되었기 때문에 모델러는 하이브리드 시스템을 연동에 참여할 시뮬레이터에 맞게 서로 다른 모델들로 구분하여 재구성해야 했다. 따라서 모델은 시스템을 그대로 표현하기보다 나누어진 모델들의 연동 구조로 표현되었다. 본 논문은 이러한 문제를 해결하고 통합된 하이브리드 모델을 만들 수 있는 모델링 방법론과 그에 대한 시뮬레이션 방법론을 제안한다. 기존에 연동형 구조에 적용되었던 것과 달리, 하이브리드 시스템은 그 시스템 본래의 형태 그대로 통합된 모델로 모델링 될 수 있다. 또한 이 논문은 제안하는 모델링 방법론에 따르는 시뮬레이션 엔진 구조에 대해서 논하고 물탱크 조절 예제를 통한 간단한 사례 연구도 포함한다.

• 한국시뮬레이션학회논문지
• /
• 제10권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년도 ICCAS
• /
• 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.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.823-833
• /
• 2015

하이브리드 시스템은 연속 시스템과 이산 시스템으로 구성된 동적 시스템이다. 하이브리드 시스템은 자동차, 항공, 군사 방어 등 시스템을 명세 하는데 사용되고 있으며 이를 위해 다양한 모델링 언어와 지원 도구가 개발되고 사용되어 왔다. 제안되어 사용되고 있는 언어와 도구들은 목적에 따라 특정한 특징들을 갖고 있다. 한국전자 통신연구원에서 제안한 하이브리드 시스템 모델링 언어인 ECML (ETRI CPS Modeling Language)은 DEV&DESS (Differential Event and Differential Equation Specified System) 형식론을 CPS (Cyber-Physical System) 환경에 맞게 확장한 언어이며 모델링 및 시뮬레이션을 지원한다. 논문에서는 ECML을 소개하고 정형 정의를 제안한다. 또한 제안된 정의에 따라 간단한 차량 모델을 명세한 사례연구를 수행한다.

• 조명전기설비학회논문지
• /
• 제23권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
• /
• 제31권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.

• 조명전기설비학회논문지
• /
• 제27권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년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• 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.