Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 Connect in order to contact the contributor
Submitted on : Thursday, December 6, 2018 - 1:56:26 PM
Last modification on : Monday, April 4, 2022 - 9:28:23 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

266

Files downloads

116