Controlling information in probalistic systems - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2018

Controlling information in probalistic systems

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

Résumé

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
Origine : Version validée par le jury (STAR)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : tel-02058728 , version 1

Citer

Engel Lefaucheux. Controlling information in probalistic systems. Performance [cs.PF]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S057⟩. ⟨tel-02058728⟩
138 Consultations
135 Téléchargements

Partager

Gmail Facebook X LinkedIn More