Advanced

A New Formalism for Modeling of Reactive and Hybrid Systems

Otter, Martin; Malmheden, Martin; Elmqvist, Hilding; Mattsson, Sven-Erik and Johnsson, Charlotta LU (2009) 7th International Modelica Conference, 2009 In [Host publication title missing] 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:
author
organization
publishing date
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
in
[Host publication title missing]
pages
14 pages
conference name
7th International Modelica Conference, 2009
DOI
10.3384/ecp09430108
language
English
LU publication?
yes
id
c656479f-c426-49c6-825f-0314fabf4be9 (old id 7761211)
date added to LUP
2015-08-19 09:39:24
date last changed
2016-04-16 10:35:47
@misc{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},
  keyword      = {hybrid systems,reactive systems,NuSMV,Safe State Machines,Mode-Automata,Sequential Function Charts,Statechart,ModeGraph},
  language     = {eng},
  pages        = {364--377},
  series       = {[Host publication title missing]},
  title        = {A New Formalism for Modeling of Reactive and Hybrid Systems},
  url          = {http://dx.doi.org/10.3384/ecp09430108},
  year         = {2009},
}