Controlling information in probalistic systems (Le contrôle de l'information dans les systèmes probabilistes) Lefaucheux, Engel - (2018-09-24) / Universite de Rennes 1 Controlling information in probalistic systems Accéder au document :  https://ecm.univ-rennes1.fr/nuxeo/site/esupversion...

Langue : Anglais Directeur(s) de thèse:  Bertrand, Nathalie; Haddad, Serge Discipline : Informatique Laboratoire :  IRISA Ecole Doctorale : MATHSTIC Classification : Informatique Mots-clés : Vérification de modèles, Systèmes probabilistes, Diagnostic, Chaînes de Markov Vérification de modèles (informatique)  - Thèses et écrits académiques Systèmes informatiques -- Évaluation  - Thèses et écrits académiques Markov, Processus de  - Thèses et écrits académiques

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 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). Abstract : 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).