Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Steuerungssynthese und Verifikation mit modularen hybriden Modellen auf der Basis universeller interpretierter Petri-Netze (UIPN)

Laufzeit: 01.05.1997 - 31.01.1999

Kurzfassung


Es wird ein Konzept entwickelt, das durch eine modulare, hybride Modellierung mit universellen interpretierten Petri- Netzen die Grundlage für eine automatische Steuerungssynthese notwendige Informationen sollen bereits während der Planung einer Anlage in Form modularer hybrider Prozeßmodelle erzeugt werden. Aus den Prozeßmodellen und der konkreten Aufgabenstellung soll eine weitgehend automatische Erzeugung des Steuerungsalgorithmus folgen. Zur Analyse sollen nicht nur auf Simulation...Es wird ein Konzept entwickelt, das durch eine modulare, hybride Modellierung mit universellen interpretierten Petri- Netzen die Grundlage für eine automatische Steuerungssynthese notwendige Informationen sollen bereits während der Planung einer Anlage in Form modularer hybrider Prozeßmodelle erzeugt werden. Aus den Prozeßmodellen und der konkreten Aufgabenstellung soll eine weitgehend automatische Erzeugung des Steuerungsalgorithmus folgen. Zur Analyse sollen nicht nur auf Simulation beruhende quantitative sondern auch formale, d.h. qualitative Methoden verwendet werden. Die Ergebnisse sollen in ein vorhandens Entwurfswerkzeug integriert werden.» weiterlesen» einklappen

  • Steuerungssynthese Steuerungsalgorithmus

Veröffentlichungen


Projektteam


Beteiligte Einrichtungen