Modelica_StateGraph2
Document Actions
Latest release: Modelica_StateGraph2 2.0 (released on 2009/09/10)
First version of the Modelica_StateGraph2 library based on Modelica.StateGraph and the prototype ModeGraph library from Martin Malmheden.
Read more
Project Description
Library Modelica_StateGraph2 is a free Modelica package providing components to model discrete event, reactive and hybrid systems in a convenient way with deterministic hierarchical state diagrams. For convenience, the abbreviation "StateGraph2" will be often used for this library. An example model constructed with this library is shown in the figure to the right.
This library is inspired by Grafcet/Sequential Function Charts (SFC), Statecharts, Safe State Machines (SSM) and Mode Automata, and utilizes Modelica as action language. It has a similar modeling power as these formalisms, e.g. synchronization of parallel executing branches as in SFC (not easy in Statecharts), or suspending a hierarchical subgraph with one transition and resuming at the same states afterwards when entering it again, as in Statechart (not possible in SFC). A StateGraph2 model is always deterministic due to Modelicas "single assignment rule". Via special blocks in subpackage "Blocks", actions can be defined in a graphical way depending on the active step.
Acknowledgement:
Partial financial support by BMBF (BMBF Förderkennzeichen: 01IS07022)
for this work with-in the ITEA2 project EUROSYSLIB
is highly appreciated.
