This page is dedicated to giving you some information about my Ph.D. thesis defence.
Monday, 24th September 2018, 14:30.
Controlling information in probabilistic systems
Verification, partial observation, diagnosis, probabilistic systems
The control of the information given by a system has recently seen increasing importance due to the omnipresence of communicating systems, the need for privacy, etc. This control can be used in order to disclose an information of the system, or, oppositely, to hide one. Diagnosis for instance tries to determine from the observation produced by the system whether a fault occurred within it or not. In this PhD, we study the diagnosis of stochastic systems through a model-based approach. The goal is to establish the decidability and optimal complexity of the decision problems and to build the adequate diagnosers. We consider these problems in multiple frameworks (finite/infinite, passive/active).
| Stefan Kiefer | University of Oxford, England | Reviewer |
| Antonin Kucera | Masaryk University, Czech republic | Reviewer |
| Nihal Pekergin | LACL, Université Paris Est Créteil Val de Marne, France | Examiner |
| Sophie Pinchinat | Université de Rennes 1, France | Examiner |
| Wiesław Zielonka | IRIF, Université Paris Diderot, France | Examiner |
| Nathalie Bertrand | INRIA Rennes, France | Thesis advisor |
| Serge Haddad | LSV, ENS Paris-Saclay, France | Thesis advisor |