Analyse und Synthese diskreter Steuerungen hybrider Systeme

Ziel der arbeen ist, den korrekten Entwurf diskter Steuerungen hybrid technischer system and hier insbesonere von Ablauf- und ordinierungssteuerungen mit formalen Methoden zu unterst<s:1> tzen。混合动力系统建模与差分系统建模与建模与仿真研究zunächst基于进化理论与仿真分析与仿真分析。Um die erreichbarkeitsanalysch auch fgr umfangreiche Systeme andwenden zu können, sind die vorhandenen Verfahren zum Aufbau hierarchischer struckturen weiterzuentwickeln。本文主要研究了两种模型的合成方法，即模型的合成方法和模型的合成。2 .在德国<s:1>再生能源技术研究所研究再生能源问题，研究再生能源技术与工程系统，研究再生能源技术与工程分析。

Ziel der Arbeiten ist es, den korrekten Entwurf diskreter Steuerungen hybrider technischer Systeme und hier insbesondere von Ablauf- und Koordinierungssteuerungen mit formalen Methoden zu unterstützen. Ausgehend von den Arbeiten zur Modellbildung von hybriden Systemen mit Petri-Netzen und Differentialgleichungen sollen zunächst auf der Basis des Evolutionsgraphen entsprechende Analyseverfahren entwickelt werden. Um die Erreichbarkeitsanalyse auch für umfangreiche Systeme anwenden zu können, sind die vorhandenen Verfahren zum Aufbau hierarchischer Strukturen weiterzuentwickeln. Für den Fall des fehlerhaften Verhaltens der entworfenen Steuerung sind weiterhin Verfahren zur automatischen Synthese von Korrekturen des Modells der Steuerung zu entwerfen. Die Ergebnisse sollen ferner in das am Institut für Regelungstechnik entwickelte Programmsystem zur rechnergestützten Beschreibung und Analyse von PetriNetzen einfließen und an geeigneten Beispielprozessen erprobt werden.