Controlling information in Probabilistic Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Theses Year : 2018

Controlling information in Probabilistic Systems

Le contrôle de l'information dans les systèmes probabilistes


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).
Le contrôle de l'information émise par un système a vu son utilité grandir avec la multiplication des systèmes communicants. Ce contrôle peut être réalisé par exemple pour révéler une information du système, ou au contraire pour en dissimuler une. Le diagnostic notamment cherche à déterminer, grâce à l'observation du système, si une faute a eu lieu au sein de celui-ci. Dans cet document, nous établissons des bases formelles à l'analyse des problèmes du diagnostic pour des modèles stochastiques. Nous étudions ensuite ces problèmes dans plusieurs cadres (fini/infini, passif/actif).
Fichier principal
Vignette du fichier
these.pdf (2.02 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

tel-01946840 , version 1 (06-12-2018)


  • HAL Id : tel-01946840 , version 1


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


Gmail Facebook Twitter LinkedIn More