Cyber Physical Systems - Hybrid Models - Sommersemester 2014

Übersicht

Beschreibung

Vorlesung 3+1 SWS, 6 ETCS

Wahlpflichtmodul im Master-Studiengang Informatik - ESE

Kommentar

Spezialvorlesung in den Master-Studiengängen Informatik und ESE

Sprache: deutsch oder englisch

Lernziele: Die Studierenden lernen die Grundlagen der Modellierung von "cyber-physical systems" mit Hilfe von hybriden Automaten sowie deren Spezifikation mit Hilfe temporaler Logik.

Ausgehend hiervon werden Analyse- und Verifikationsalgorithmen im Detail erläutert.