Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Cyber Physical Systems - Hybrid Models - Sommersemester 2014
Material
ILIAS
| Originalliteratur | ||
Vorlesungsfolien
| Kap. 00: Administratives | ||
| Kap. 01: Einführung | ||
| Kap. 02: CTL Model Checking | ||
| Kap. 03: Zeitautomaten | ||
| Kap. 04: Symbolische Methoden für Zeitautomaten | ||
| Kap. 05: Initialisierte Rechtecksautomaten | ||
| Kap. 06: Grundlagentechniken | ||
| Kap. 07: Bounded Model Checking für lineare hybride Automaten | ||
| Kap. 08: Erreichbarkeitsanalyse für lin. hybr. Automaten | ||
| Kap. 09: Approximative Erreichbarkeitsanalyse | ||
| Kap. 10: Stabilität von kontinuierlichen Systemen | ||
| Kap. 11: Zuverlässigkeit (diskret) | ||
| Kap. 12: Kosten und Nichtdeterminismus | ||
Übungsblätter
| uebung-01 | uebung-01 | |
| uebung-02 | uebung-02 | |
| uebung-03 | uebung-03 | |
| uebung-04 | uebung-04 | |
| uebung-05 | uebung-05 | |
| uebung-06 | uebung-06 | |