Skip to Main content Skip to Navigation
Theses

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], Inria Saclay - Ile de France
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 :
Theses
Complete list of metadata

https://hal.inria.fr/tel-01946840
Contributor : Engel Lefaucheux <>
Submitted on : Thursday, December 6, 2018 - 1:56:26 PM
Last modification on : Monday, February 15, 2021 - 10:49:06 AM
Long-term archiving on: : Thursday, March 7, 2019 - 1:41:51 PM

File

these.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01946840, version 1

Citation

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

Share

Metrics

Record views

344

Files downloads

156