A Formalization of Global Simulation Models for Continuous/Discrete Systems

摘要

Many of the modern systems integrate componentsrnspecific to different application domains. Frequently thesernsystems combine continuous and discrete sub-systems andrntherefore their design involves solving specific globalrnmodeling and simulation problems. This paper addresses thernformal representation of a continuous/discrete globalrnsynchronization model and the corresponding simulationrninterfaces. This representation enables the definition ofrngeneric language independent co-simulation tools that canrnbe used to provide global simulation models forrncontinuous/discrete heterogeneous systems. The model wasrnvalidated through simulation, using UPPAAL toolbox andrnits verification was realized by defining and checking thernmain properties.