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


Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12

Material


Vorlesung

Kap. 00 - Administratives
Kap. 01 - Markow-Ketten mit diskreter Zeit
Kap. 02 - PCTL
Kap. 03 - PCTL-Model Checking für DTMCs
Kap. 04 - Markow Reward Modelle
Kap. 05 - Markow-Entscheidungsprozesse
Kap. 06 - Erreichbarkeitsanalyse von MDPs
Kap. 07 - Model Checking für MDPs
Kap. 08 - CTMCs
Kap. 09 - CTMC Eigenschaften
Kap. 10 - CSL Model Checking für CTMCs
Kap. 11 - Einführung zu hybriden Systemen
Kap. 12 - Grundlagen von hybriden Systemen
Kap. 13 - Zeitautomaten
Kap. 14 - Model Checking für Zeitautomaten
Kap. 15 - Zeitautomaten Teil 2
Kap. 16 - Lineare hybride Automaten
Kap. 17 - BMC für lin. hybr. Automaten
Kap. 18 - BMC für nicht-lineare hybride Automaten


Übungsblätter



Zusatzmaterial

Literatur CTMC-MC
Literatur hybride Systeme
Literatur prob. MC
Paper zur Analyse hybrider Systeme