Invited Talk

Partial observation of timed systems

Patricia Bouyer

ENS Cachan


In the past ten years, there has been an increasing interest in the control of timed systems. In real systems all events can not be observed, it is then natural to assume that not all actions are observable. In this talk we will recall basic results on timed games, and then focus on the control of timed systems under partial observation. However under this assumption, even simple games like safety or rechability games are undecidable. To better understand these negative results we then consider a simpler problem where the single point of the controller (called in this context observer) is to announce when the plant does not behave correctly. This problem has been first studied in the context of timed systems by Tripakis in 2002 using state estimation. We will present our recent advances on this topic and in particular see how games can help solving the problem.

Results presented in this talk are joint works with Fabrice Chevalier, Deepak D'Souza, Paul Gastin, P. Madhusudan and Antoine Petit. Last updated: May 23, 2005