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 | ||