DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

A New Formalism for Modeling of Reactive and Hybrid Systems

Otter, Martin and Malmheden, Martin and Elmqvist, Hilding and Mattson, Sven Erik and Johnsson, Charlotta (2009) A New Formalism for Modeling of Reactive and Hybrid Systems. In: Proceedings of the 7th International Modelica Conference, pp. 364-377. Linköping University Electronic Press. 7th Modelica Conference, 20.-22. Sept. 2009, Como, Italien. ISBN 978-91-7393-513-5. ISSN 1650-3740

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.ep.liu.se/ecp/043/


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 to simplify usage, improve safety aspects and to harmonize 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.

Document Type:Conference or Workshop Item (Speech, Paper)
Title:A New Formalism for Modeling of Reactive and Hybrid Systems
AuthorsInstitution or Email of Authors
Otter, MartinMartin.Otter@DLR.de
Malmheden, MartinDynasim
Elmqvist, HildingDynasim
Mattson, Sven ErikDynasim
Johnsson, CharlottaLund University
Journal or Publication Title:Proceedings of the 7th International Modelica Conference
Refereed publication:Yes
In ISI Web of Science:No
Page Range:pp. 364-377
Casella, FrancescoUNSPECIFIED
Publisher:Linköping University Electronic Press
Keywords:ModeGraph; Statechart, Sequential Function Charts, Mode-Automata, Safe State Machines; NuSMV; reactive systems, hybrid systems
Event Title:7th Modelica Conference
Event Location:Como, Italien
Event Type:international Conference
Event Dates:20.-22. Sept. 2009
Organizer:The Modelica Association
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Terrestrial Vehicles
DLR - Research area:Transport
DLR - Program:V BF - Bodengebundene Fahrzeuge
DLR - Research theme (Project):V - Assistenz für Verkehrsteilnehmer (old)
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of Robotics and Mechatronics > System Dynamics and Control (former Control Design Engineering)
Deposited By: Monika Klauer
Deposited On:08 Jan 2010 15:07
Last Modified:12 Dec 2013 20:51

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.