Integrated Hybrid Systems Modeling and Simulation Methodology Based on HDEVS Formalism

摘要

A hybrid system is a combination of subsystems that have different types of state and time: A typical example is a combination of discrete event and continuous system. A Hybrid Discrete EVent Systems specification (HDEVS) formalism approach was proposed for modeling and analyzing these hybrid systems. HDEVS formalism allows modelers to construct a hierarchical and modular model based on the appropriate mathematical set theory. Because HDEVS formalism was applied to distributed and interoperated simulators, it was inconvenient for modelers to make several different models dividing a target system. Hence, this paper proposes a revised HDEVS formalism that includes an extended hybrid coupled model for integrated hybrid systems modeling. With this revised formalism, integrated hybrid model development becomes feasible in contrast to the existing simulation framework. By applying the proposed modeling concept, a target system can be translated into a hybrid model that is in a similar form as the target hybrid system. This paper also explains the algorithms of a related simulation engine. This engine contains a numerical analysis algorithm and a DEVS execution algorithm with time and data management algorithms. This design is applied to water-level control systems as in past research.