Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Elke Tetzner

doi:10.18453/rosdok_id00000446

Elke Tetzner

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Universität Rostock, 2008

https://doi.org/10.18453/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 Freier Zugang

Titel:

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Beteiligte Personen:

Elke Tetzner[VerfasserIn]
	137790074
Günter Riedewald , Prof. Dr. Dr.[AkademischeR BetreuerIn]
Michael Hanus , Prof. Dr.[AkademischeR BetreuerIn]
Peter Luksch , Prof. Dr.[AkademischeR BetreuerIn]

Beteiligte Körperschaften:

Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution]
	10085032-7

Zusammenfassung:

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. [Deutsch]

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. [Englisch]

Dokumenttyp:

Dissertation

Einrichtung:

Fakultät für Informatik und Elektrotechnik

Sprache:

Deutsch

Sachgruppe der DNB:

004 Informatik

Veröffentlichung /
Entstehung:

Rostock

Rostock: Universität Rostock

2008