A New Formalism for Modeling of Reactive and Hybrid Systems
(2009) 7th International Modelica Conference, 2009 p.364-377- 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... (More)
- 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/7761211
- author
- Otter, Martin ; Malmheden, Martin ; Elmqvist, Hilding ; Mattsson, Sven-Erik and Johnsson, Charlotta LU
- organization
- publishing date
- 2009
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- hybrid systems, reactive systems, NuSMV, Safe State Machines, Mode-Automata, Sequential Function Charts, Statechart, ModeGraph
- host publication
- [Host publication title missing]
- pages
- 14 pages
- conference name
- 7th International Modelica Conference, 2009
- conference location
- Como, Italy
- conference dates
- 2009-09-20 - 2009-09-22
- DOI
- 10.3384/ecp09430108
- language
- English
- LU publication?
- yes
- id
- c656479f-c426-49c6-825f-0314fabf4be9 (old id 7761211)
- date added to LUP
- 2016-04-04 12:51:27
- date last changed
- 2018-11-21 21:11:06
@inproceedings{c656479f-c426-49c6-825f-0314fabf4be9, 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.}}, author = {{Otter, Martin and Malmheden, Martin and Elmqvist, Hilding and Mattsson, Sven-Erik and Johnsson, Charlotta}}, booktitle = {{[Host publication title missing]}}, keywords = {{hybrid systems; reactive systems; NuSMV; Safe State Machines; Mode-Automata; Sequential Function Charts; Statechart; ModeGraph}}, language = {{eng}}, pages = {{364--377}}, title = {{A New Formalism for Modeling of Reactive and Hybrid Systems}}, url = {{http://dx.doi.org/10.3384/ecp09430108}}, doi = {{10.3384/ecp09430108}}, year = {{2009}}, }