Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien


Cyber Physical Systems - Hybrid Models - Sommersemester 2014

Material


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


Zusatzmaterial

Originalliteratur