Publikation: Dissertationsschrift

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Grunddaten
Links
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP
Erscheinungsjahr	2008
Publikationsform	Elektronische Ressource
Publikationsart	Dissertationsschrift
Sprache	Deutsch
Letzte Änderung	19.03.2013 10:47:48
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/37494
Links zu Katalogen

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.

Autor

Tetzner, Elke

Externe Links

Beschreibung	Link
Metadaten	http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3
Volltext (kostenfrei zugänglich ohne Registrierung)	http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3&pdf
Link zur Online-Ressource	http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2009-0057-3

Einrichtung

IEF/Bereich Informatik