Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Elke Tetzner

doi:10.18453/rosdok_id00000446

Tetzner, Elke

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Rostock : Universität , 2008

https://doi.org/10.18453/rosdok_id00000446

http://purl.uni-rostock.de/rosdok/id00000446

Abstract:

Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.

Dissertation Open Access

Einrichtung :

Fakultät für Informatik und Elektrotechnik

Gutachter :

Riedewald, Günter (Prof. Dr. Dr.)

Hanus, Michael (Prof. Dr.)

Luksch, Peter (Prof. Dr.)

Jahr der Abgabe:

2008

Jahr der Verteidigung:

2009

Sprache(n) :

Deutsch

übersetzte Zusammenfassung :

The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.

Schlagworte:

Hybride Systeme, Symbolische Simulation, CLP, Modellierung, Wiederverwendung

DDC Klassifikation :

004 Informatik

URN :

urn:nbn:de:gbv:28-diss2009-0057-3

Persistente URL:

http://purl.uni-rostock.de/rosdok/id00000446

erstellt am:

2009-04-02

zuletzt geändert am:

2018-06-30