Busatto-Gaston  - LIS - Pole Calcul
Channel: Pole Calcul
Date: 21/10/2019

Titre : Synthesizing robust controllers for Büchi conditions in timed systems.

Abstract :
We solve the robust controller synthesis problem in timed automata with Büchi acceptance conditions. The goal of the controller is to play according to an accepting lasso of the automaton, while resisting to timing perturbations chosen by a competing environment. The talk will introduce classical notions for studying timed automata (regions, zones, constraint graphs) and explain how these can be extended to compute strategies that are resilient to arbitrarily small perturbations. We will also introduce a way to compute the largest perturbation allowed by a given controller. Our techniques are illustrated by the regulation of a train network.