inf300 Hybrid Systems (Complete module description)

Das Modul vermittelt Grundlagen sowie aktuelle Techniken der Mathematischen Modellierung und der Analyse hybrid diskret-kontinuierlicher Systeme, wie sie durch Einbettung digitaler Systeme in eine physische Umgebung entstehen. Die Studierenden erwerben in dem Modul mithin Kompetenzen, die für das Verständnis und die Entwicklung cyber-physischer Systeme zentral sind.

Fachkompetenzen 
Die Studierenden:

• charakterisieren die einschlägigen formalen Systemmodelle cyber-physischer Syteme: Hybride Automaten, hybride symbolische Transitionssysteme
• benennen domänentypische Systemanforderungen: Sicherheit im Sinne von "safety", Stabilisierungsbegriffe, Robustheit
• benennen entsprechende Analysemethoden: symbolische Zustandsexploration, Abstraktion und Abstraktionsverfeinerung, generalisierte Lyapunov-Methoden - gehen mit computerunterstützten State-of-the-Art Analysewerkzeugen um
• wählen und setzen adäquate Modellierungs- und Analysemethoden für konkrete Anwendungsszenarien ein
• wenden Methoden zur Reduktion großer Zustandsräume und Abstraktionen zur Behandlung zustandsunendlicher Systeme an
• kennen die den Industrie-Standard darstellenden Modellierungswerkzeuge und können sie anwenden

Methodenkompetenzen
Die Studierenden:

• modellieren semiformal heterogene dynamische Systeme mit industriellen Entwurfswerkzeugen, insbes. mit Simulink/Stateflow
• übertragen die erlernten Modellierungs- und Analysetechniken auf andere heterogene Systemdomänen, bspw. soziotechnische Systeme

Sozialkompetenzen
Die Studierenden:

• arbeiten in Teams
• lösen komplexe Modellierungs-, Entwicklungs- und Analyseaufgaben im Team

Selbstkompetenzen
Die Studierenden:

• reflektieren ihr Vorgehen und erkennen die Grenzen der erlernten Methoden hybrider Systeme

Eingebettete Computersysteme stehen in ständiger Interaktion mit ihrer Umgebung, welche oftmals zustands- und zeitkontinuierliche Komponenten enthält. Damit entstehen komplexe Interaktionen zwischen diskreten Berechnungs- und Entscheidungsvorgängen einerseits und kontinuierlichen Prozessen andererseits, welche weder mit den Mitteln der kontinuierlichen noch mit den Mitteln der diskreten Mathematik analysierbar sind. Insofern wird für die Analyse dieser technisch wichtigen Klasse computerbasierter Systeme eine eigenständige Theorie wie auch Entwurfsmethodik benötigt, in die diese VL einführen möchte: Die Theorie der hybrid diskret-kontinuierlichen Systeme. Die vorlesungsbegleitende Bearbeitung eines Semesterprojekts mit aktuellen Entwurfs- und Verifikationswerkzeugen dient der Vertiefung des Vorlesungsstoffs.

• Luca P Carloni, Roberto Passerone, Allesandro Pinto & Alberto L Sangiovanni-Vincentelli: Languages and Tools for Hybrid System design.World Scientific, 2006.
• Wassim M. Haddad, VijaySekhar Chellaboina & Sergey G. Nersesov: Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control. Princeton University Press, 2006.
• Daniel Liberzon: Switching in Systems and Control. Birkhauser, 2003.
• Michael Huth, Mark Ryan: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, 2004.
• Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. MIT Press, 2008.

Aufnahmekapazität:
unbegrenzt

Lehr-/Lernform:
V+Ü