Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP
Tetzner, Elke
1971-
aut
text
theses
Text
Hochschulschrift
gw
2008
monographic
XA-DE
2008
ger
text/html
application/pdf
Online-Ressource graph. Darst.
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.
vorgelegt von Elke Tetzner
Rostock, Univ., Fak. f. Informatik u. Elektrotechnik, Diss., 2009
004
http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3
http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3&pdf
http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2009-0057-3
Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP
2008
Druck-Ausgabe
(DE-627)595033644
Tetzner, Elke, 1971 -
urn:nbn:de:gbv:28-diss2009-0057-3
370886304
rakwb
DE-627
090401
595322611
20240710T013218.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger