Controlling information in probalistic systems - TEL - Thèses en ligne Access content directly
Theses Year : 2018

Controlling information in probalistic systems

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


The control of the information given by a system has seen increasing importance recently with the multiplication of communicating systems. 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 establish formal foundations to the analysis of the diagnosis problems for stochastic models. We then study these problems in multiple framework (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 cette thèse, 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
LEFAUCHEUX_Engel.pdf (2.26 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)

Dates and versions

tel-02058728 , version 1 (06-03-2019)


  • HAL Id : tel-02058728 , version 1


Engel Lefaucheux. Controlling information in probalistic systems. Performance [cs.PF]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S057⟩. ⟨tel-02058728⟩
139 View
139 Download


Gmail Facebook X LinkedIn More