• Title/Summary/Keyword: HDEVS formalism

Search Result 2, Processing Time 0.015 seconds

Integrated Hybrid Modeling Methodology and Simulation Engine Design Based on HDEVS Formalism (HDEVS 형식론에 기반한 통합 하이브리드 모델링 방법론 및 시뮬레이션 엔진 설계)

  • Kwon, Se Jung;Sung, Changho;Song, Hae-Sang;Kim, Tag Gon
    • 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.

Hybrid Systems Modeling and Simulation - PartI: Modeling and Simulation Methodology (하이브리드 시스템 모델링 및 시뮬레이션 - 제1부: 모델링 및 시뮬레이션 방법론)

  • 임성용;김탁곤
    • 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.

  • PDF