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
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Project Heads: Professor Dr. Martin Fränzle; Professor Dr.-Ing. Holger Hermanns; Professor Dr. Andreas Podelski; Professor Dr.-Ing. Oliver Theel; Professorin Dr. Verena Wolf