A formalization of global simulation models for continuous/discrete systems
Proceedings of the 2007 Summer Computer Simulation Conference
Semantics for model-based validation of continuous/discrete systems
Proceedings of the conference on Design, automation and test in Europe
Hi-index | 0.00 |
DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended for modeling and simulation of continuous/hybrid systems. We present the M/CD++, a tool to build such models using a subset of Modelica, a modular and acausal specification language for physical systems. Models are created using Modelica standard notation, and a translator converts them into DEVS models. We show how to model these dynamic systems under the discrete event abstraction, including different execution results.