GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
Transactions of the Society for Computer Simulation International
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Distributed simulation of hybrid systems with AnyLogic and HLA
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
Discrete Event Simulation of Hybrid Systems
SIAM Journal on Scientific Computing
Operational semantics of hybrid systems
Operational semantics of hybrid systems
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Hi-index | 0.00 |
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.