Robust control for timed systems

Patricia Bouyer-Decitre


This talk is concerned with the automatic verification of timed systems. We will survey recent advances made in the context of robust verification, when the real behaviour of the system is an approximation of that of the timed automaton. We will in particular consider two game-based parameterized semantics for timed automata which take into account imprecisions in the system's behaviour, and show how they impact on verification algorithms.

Presentation Slides