Selected publications at LSV

Active diagnosis of a discrete-event system consists in controlling the system such that faults can be detected. Here we extend the framework of active diagnosis by introducing modalities for actions and states and a new capability for the controller, namely observing that the system is quiescent. We design a game-based construction for both the decision and the synthesis problems that is computationally optimal. Furthermore we prove that the size and the delay provided by the active diagnoser (when it exists) are almost optimal.

   address = {Osaka, Japan},
   author = {B{\"o}hm, Stanislav and Haar, Stefan and Haddad, Serge and Hofman, Piotr and Schwoon, Stefan},
   booktitle = {{P}roceedings of the 54th {IEEE} {C}onference on {D}ecision and {C}ontrol ({CDC}'15)},
   DOI = {10.1109/CDC.2015.7402449},
   month = dec,
   pages = {1663-1668},
   publisher = {{IEEE} Control System Society},
   title = {Active Diagnosis with Observable Quiescence},
   url = {},
   year = {2015},

About LSV