Controlling information in Probabilistic Systems

Engel Lefaucheux 1, 2
Résumé : 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).
Type de document :
Thèse
Computer Science [cs]. Université Rennes 1, 2018. English
Liste complète des métadonnées

https://hal.inria.fr/tel-01946840
Contributeur : Engel Lefaucheux <>
Soumis le : jeudi 6 décembre 2018 - 13:56:26
Dernière modification le : samedi 8 décembre 2018 - 01:14:14

Fichier

these.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01946840, version 1

Citation

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

Partager

Métriques

Consultations de la notice

45

Téléchargements de fichiers

16