elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

A New Formalism for Modeling of Reactive and Hybrid Systems

Otter, Martin und Malmheden, Martin und Elmqvist, Hilding und Mattson, Sven Erik und Johnsson, Charlotta (2009) A New Formalism for Modeling of Reactive and Hybrid Systems. In: Proceedings of the 7th International Modelica Conference, Seiten 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]
Vorschau
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
529kB

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

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag, Paper)
Titel:A New Formalism for Modeling of Reactive and Hybrid Systems
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Otter, MartinMartin.Otter@DLR.de
Malmheden, MartinDynasim
Elmqvist, HildingDynasim
Mattson, Sven ErikDynasim
Johnsson, CharlottaLund University
Datum:2009
Erschienen in:Proceedings of the 7th International Modelica Conference
Referierte Publikation:Ja
In ISI Web of Science:Nein
Seitenbereich:Seiten 364-377
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Casella, FrancescoNICHT SPEZIFIZIERT
Verlag:Linköping University Electronic Press
ISSN:1650-3740
ISBN:978-91-7393-513-5
Status:veröffentlicht
Stichwörter:ModeGraph; Statechart, Sequential Function Charts, Mode-Automata, Safe State Machines; NuSMV; reactive systems, hybrid systems
Veranstaltungstitel:7th Modelica Conference
Veranstaltungsort:Como, Italien
Veranstaltungsart:internationale Konferenz
Veranstaltungsdatum:20.-22. Sept. 2009
Veranstalter :The Modelica Association
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Bodengebundener Verkehr
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V BF - Bodengebundene Fahrzeuge
DLR - Teilgebiet (Projekt, Vorhaben):V - Assistenz für Verkehrsteilnehmer (alt)
Standort: Oberpfaffenhofen
Institute & Einrichtungen:Institut für Robotik und Mechatronik > Systemdynamik und Regelungstechnik (war Entwurfsorientierte Regelungstechnik)
Hinterlegt von: Monika Klauer
Hinterlegt am:08 Jan 2010 15:07
Letzte Änderung:12 Dez 2013 20:51

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.