Zoom (Meeting ID: 986 9236 8072; Passcode: 923483)
27 March 2025 - 14h00
Robust timed synthesis
by Youssouf Oualhadj from Université Paris-Est Créteil Val de Marne (LACL)
invited by David MONNIAUX
27 March 2025 - 14h00
Robust timed synthesis
by Youssouf Oualhadj from Université Paris-Est Créteil Val de Marne (LACL)
invited by David MONNIAUX
Abstract: Solving games played on timed automata is a well-known problem and has led to tools and industrial case studies. In these games, the first player (Controller) chooses delays and actions and the second player (Environment) resolves the non-determinism of actions. However, the model of timed automata suffers from mathematical idealizations such as infinite precision of clocks and instantaneous synchronization of actions. To address this issue, we extend the theory of timed games in two directions. First, we study the synthesis of robust strategies for Controller which should be tolerant to adversarially chosen clock imprecisions. Second, we address the case of a stochastic perturbation model where both clock imprecisions and the non-determinism are resolved randomly. Finally we present a notion repair where we explain how to recover robustness in non-robust systems.
Candidat potentiel au poste de prof UGA Verimag
