论文信息 - Flattening of Modelica State Machines : a practical symbolic representation - 字舞流文

Flattening of Modelica State Machines : a practical symbolic representation

Modelica 3.3 introduced dedicated built-in language support for state machines that was inspired by semantics known from Statechart and mode automata formalisms. The specification describes the sem ...

Adrian Pop | Bernhard Thiele | Peter Fritzson

[1] Florence Maraninchi,et al. Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[2] Albert Benveniste,et al. Efficient Monte Carlo simulation of stochastic hybrid systems , 2014 .

[3] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5] Peter Fritzson,et al. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach , 2014 .

[6] Hilding Elmqvist,et al. Modelica extensions for Multi-Mode DAE Systems , 2014 .

[7] Hilding Elmqvist,et al. State Machines in Modelica , 2012 .

[8] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[9] Marc Pouzet,et al. A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.