Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12
Material
ILIAS
| Literatur CTMC-MC | ||
| Literatur hybride Systeme | ||
| Literatur prob. MC | ||
| Paper zur Analyse hybrider Systeme | ||
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