| title: |
| Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in
CLP |
|
| contributing persons: |
| Elke Tetzner[VerfasserIn] |
 |
137790074 |
| Günter Riedewald
, Prof. Dr. Dr.[AkademischeR BetreuerIn] |
| Michael Hanus
, Prof. Dr.[AkademischeR BetreuerIn] |
| Peter Luksch
, Prof. Dr.[AkademischeR BetreuerIn] |
|
| contributing corporate bodies: |
| Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution] |
|
10085032-7 |
|
| |
| 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.
[German] |
|
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.
[English] |
|
| document type: |
|
| institution: |
| Faculty of Computer Science and Electrical Engineering |
|
| language: |
|
| subject class (DDC): |
| 004 Data processing Computer sciences |
|
| |
publication /
production: |
Rostock
|
Rostock: Universität Rostock
|
|
2008
|
|
| |
| identifiers: |
|
| |
| access condition: |
|
| license/rights statement: |
all rights reserved
This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz). |
|
|
| RosDok id: |
rosdok_disshab_0000000201 |
| created / modified: |
02.04.2009 / 08.08.2023
|
| metadata license: |
The metadata of this document was dedicated to the public domain
(CC0 1.0 Universal Public Domain Dedication). |
access
viewer
fulltext