Tell a friend
Print
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
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png)
|
PDF
529kB |
Official URL: http://www.ep.liu.se/ecp/043/
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 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 | ||||||||||||||||||
| Authors: |
| ||||||||||||||||||
| Date: | 2009 | ||||||||||||||||||
| Journal or Publication Title: | Proceedings of the 7th International Modelica Conference | ||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||
| Open Access: | Yes | ||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||
| Page Range: | pp. 364-377 | ||||||||||||||||||
| Editors: |
| ||||||||||||||||||
| Publisher: | Linköping University Electronic Press | ||||||||||||||||||
| ISSN: | 1650-3740 | ||||||||||||||||||
| ISBN: | 978-91-7393-513-5 | ||||||||||||||||||
| Status: | Published | ||||||||||||||||||
| 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
