Safety Analysis for Hybrid Systems

Seminar · Master

Winter Term 2014/2015
Teachers: Erika Ábrahám, Stefan Kowalewski, Xin Chen, Makhlouf, Gereon Kremer

In this seminar we address foundations, applications and tools for the safety analysis of hybrid systems.

What are hybrid systems?

Hybrid systems are systems with mixed discrete and continuous behaviour. Typical examples are physical systems which continuously evolve over time and are controlled by some discrete controller, e.g., a chip or a computer.

Why modeling and analysis?

The behaviour of hybrid systems is often safety-critical. For example, in case of an accident an airbag can save the life of the car driver, but only if the airbag reacts in time. To assure the correct functioning of such safety-critical hybrid systems, their automatic synthesis and analysis is of high importance.

Times

(The exact times for the introduction meeting and seminar will be later decided by doodles.)

Topics