Cyber Physical Systems - Hybrid Models - Summer term 2014

Lecture for Master- Students in Informatics & ESE

Language: German or English

Learning target: The course is intended as an introduction into basic methods and algorithm to model cyber-physical systems with the help of hybrid automata.

In extension a formalism of hybrid automata is introduced to account for the discrete and the continuous aspects of cyber-physical systems.