Project Details
Projekt Print View

Automatic Verification of Hybrid System Stability (H04)

Subject Area Software Engineering and Programming Languages
Term from 2004 to 2015
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5485999
 
Das Ziel des Teilprojektes ist die Bereitstellung der prototypischen Implementierung eines Werkzeugszum automatischen Nachweis der Konvergenz sowie der Stabilität hybrider Systeme. Als Eingabeerwartet das Werkzeug die Spezifikation eines hybriden Systems und eine entsprechend detaillierteBeschreibung der Beweisverpflichtung. Die Beweisverpflichtung kann eine von mehreren möglichenArten von Stabilität umfassen. Zudem kann sie  neben anderen Angaben  aus Verpflichtungen bestehen,wie beweise, dass ausgehend von einem Zustand, in dem P gilt, ein Zustand in dem P gilt, inweniger als t Zeiteinheiten erreicht werden kann. Sollte das Werkzeug nicht in der Lage sein, Konvergenzbzw. Stabilität wie gefordert automatisch nachzuweisen, dann wird stattdessen Informationzurückgeliefert, anhand der ein Re-Design des Reglers durchgeführt werden kann, derart, dass diesesdas resultierende hybride System konvergent macht bzw. stabilisiert.
DFG Programme CRC/Transregios
 
 

Additional Information

Textvergrößerung und Kontrastanpassung