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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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 : mardi 8 janvier 2019 - 01:21:07

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

83

Téléchargements de fichiers

28