Versenden
Drucken
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.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png)
|
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: |
| ||||||||||||||||||||||||
| Datum: | 2009 | ||||||||||||||||||||||||
| Erschienen in: | Proceedings of the 7th International Modelica Conference | ||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||
| Seitenbereich: | Seiten 364-377 | ||||||||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||||||||
| 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
