Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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 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
; ; ; and
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
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}},
}