DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | 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.


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.

Item URL in elib:https://elib.dlr.de/62364/
Document Type:Conference or Workshop Item (Speech, Paper)
Title:A New Formalism for Modeling of Reactive and Hybrid Systems
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Otter, MartinMartin.Otter (at) DLR.deUNSPECIFIED
Malmheden, MartinDynasimUNSPECIFIED
Elmqvist, HildingDynasimUNSPECIFIED
Mattson, Sven ErikDynasimUNSPECIFIED
Johnsson, CharlottaLund UniversityUNSPECIFIED
Journal or Publication Title:Proceedings of the 7th International Modelica Conference
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 364-377
EditorsEmailEditor's ORCID iD
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 (old)
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 (until 2012) > System Dynamics and Control (former Control Design Engineering)
Deposited By: Klauer, Monika
Deposited On:08 Jan 2010 15:07
Last Modified:31 Jul 2019 19:26

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.