Hybride Systeme bestehen aus interagierenden diskreten und
kontinuierlichen Komponenten. Man findet sie beispielweise in der Luft- und
Raumfahrt, Bahnregelung oder Chemietechnik. Derartige Systeme sind oft
sicherheitskritisch und müssen deshalb formal analysiert werden. In der
Vorlesung wird die Theorie der hybriden und Echtzeitautomaten präsentiert
sowie Fragen der Modellierung und Analyse hybrider Systeme
diskutiert. Themenstichworte sind:
Hybride Automaten und Echtzeitautomaten: Anwendung in der Modellierung und
Verifikation. Temporale Logik: Zusammenhang mit Automaten und Anwendung in
der Verifikation. Modelchecking Algorithmen: Enumerativ und symbolisch und
deren Umsetzung in Werkzeugen.
Die Zielgruppe der Vorlesung sind Studierende mit Haupt- und
Nebenfach Informatik
Bei Fragen, email an
{yl|ms}@informatik.uni-kiel.de