Controlling information in Probabilistic Systems

Engel Lefaucheux 1, 2, 3
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : 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).
Document type :
Complete list of metadatas
Contributor : Engel Lefaucheux <>
Submitted on : Thursday, December 6, 2018 - 1:56:26 PM
Last modification on : Tuesday, January 8, 2019 - 1:21:07 AM
Long-term archiving on : Thursday, March 7, 2019 - 1:41:51 PM


Files produced by the author(s)


  • HAL Id : tel-01946840, version 1


Engel Lefaucheux. Controlling information in Probabilistic Systems. Computer Science [cs]. Université Rennes 1, 2018. English. ⟨tel-01946840⟩



Record views


Files downloads