Abstract
A new Modelica library is presented that is used to model safe hierarchical state machines in combination with any Modelica model, e.g., controllers, logical blocks, and physical systems described by differential-algebraic equations. It has been designed for simple usage, to guarantee safety properties and to harmonise with the design of the new Modelica_EmbeddedSystems library. Furthermore, new blocks are introduced to define actions in a visual way, and not textually. The library is inspired by Statecharts, Sequential Function Charts, Safe State Machines (SSM) and Mode-Automata. It has been designed so that only small extensions to Modelica 3.1 are needed. The algorithms are sketched that are used to guarantee consistent graphs that give a limited number of event iterations. Furthermore, it is shown how a symbolic verifier can be used to guarantee additional properties of state machines.
| Original language | English |
|---|---|
| Title of host publication | [Host publication title missing] |
| Pages | 364-377 |
| Number of pages | 14 |
| DOIs | |
| Publication status | Published - 2009 |
| Event | 7th International Modelica Conference, 2009 - Como, Italy Duration: 2009 Sept 20 → 2009 Sept 22 Conference number: 7 |
Conference
| Conference | 7th International Modelica Conference, 2009 |
|---|---|
| Country/Territory | Italy |
| City | Como |
| Period | 2009/09/20 → 2009/09/22 |
Subject classification (UKÄ)
- Control Engineering
Free keywords
- hybrid systems
- reactive systems
- NuSMV
- Safe State Machines
- Mode-Automata
- Sequential Function Charts
- Statechart
- ModeGraph