Université de Rennes 1 Controlling information in probalistic systems Le contrôle de l'information dans les systèmes probabilistes Vérification de modèlesSystèmes probabilistesDiagnosticChaînes de Markov Model checkingProbabilistic systemMarkov chains 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 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). 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). Electronic Thesis or DissertationText en application/x-unknown1 : 2129 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/e24b4c94-eb87-4619-b548-37d75b072879 Lefaucheux Engel 1991-05-17 FR 234405155 lefaucheux.engel@gmail.com 2018REN1S057 http://www.theses.fr/2018REN1S057 2018-09-24 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiBertrandNathalieintervenant_1111647339HaddadSergeintervenant_2032657501 MATHSTICecoleDoctorale_1 204770424 Universite Bretagne LoirepartenaireRecherche_1 191639044 IRISA partenaireRecherche_2 026386909 ddc:004 BertrandNathalieHaddadSergeUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)Universite Bretagne Loire Communaute des etablissements d enseignement superieur et de recherche (ComuE) IRISA ASCII PDF 2179784