Hybride Systeme, SoSe 2003

Auf dieser Seite werden während des Semesters weiterführende Informationen bereitgestellt.

   Veranstalter:                Ulrich Hannemann

   Vorlesung:            	Di. 15 - 17 Uhr, 
                                MZH 7210
  
   Beginn:                      29. April 2003

Hybride Systeme sind eine Beschreibungsmöglichkeit von Systemen, bei denen Automatenmodelle mit diskreten Übergangen mit Differentialgleichungen ergänzt werden, um auf diese Weise nicht nur das (diskrete) Verhalten eines Computers charakterisieren zu können, sondern auch das Verhalten der physikalischen Umgebung, das sich nicht auf diskrete Übergange beschränken lässt. Dieses Modell wird insbesondere für Steuerungstechniken etwa im Fahrzeugbau oder in Chemieanlagen eingesetzt, um sicherheitsrelevante Eigenschaften zu gewährleisten. Der Kurs vermittelt die Konzepte und Hintergründe, und befasst sich ausführlich mit der Modellierung von Systemen und den Konzepten zur Validierung/Verifikation von Eigenschaften dieser Systeme anhand verschiedener Anwendungsstudien.

• Thomas A.Henzinger: The Theory of Hybrid Automata
• Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Oliviero, Joseph Sifakis, and Sergio Yovine: The Algorithmic Analysis of Hybrid Systems
• Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Technical Report TR-ST-01-1, Lehrstuhl für Software-Technologie, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität zu Kiel, January 2001.