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, 2009-09-20 - 2009-09-22, Como, Italien. ISBN 978-91-7393-513-5. ISSN 1650-3740.

Vorschau

PDF
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.

elib-URL des Eintrags:

https://elib.dlr.de/62364/

Dokumentart:

Konferenzbeitrag (Vortrag, Paper)

Titel:

A New Formalism for Modeling of Reactive and Hybrid Systems

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Otter, Martin	Martin.Otter (at) DLR.de	https://orcid.org/0000-0001-6348-9569	NICHT SPEZIFIZIERT
Malmheden, Martin	Dynasim	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Elmqvist, Hilding	Dynasim	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Mattson, Sven Erik	Dynasim	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Johnsson, Charlotta	Lund University	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2009

Erschienen in:

Proceedings of the 7th International Modelica Conference

Referierte Publikation:

Open Access:

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

Seitenbereich:

Seiten 364-377

Herausgeber:

Herausgeber	Institution und/oder E-Mail-Adresse der Herausgeber	Herausgeber-ORCID-iD	ORCID Put Code
Casella, Francesco	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT 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

Veranstaltungsbeginn:

20 September 2009

Veranstaltungsende:

22 September 2009

Veranstalter :

The Modelica Association

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Verkehr

HGF - Programmthema:

Bodengebundener Verkehr (alt)

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 (bis 2012) > Systemdynamik und Regelungstechnik (war Entwurfsorientierte Regelungstechnik)

Hinterlegt von:

Klauer, Monika

Hinterlegt am:

08 Jan 2010 15:07

Letzte Änderung:

24 Apr 2024 19:27

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags