A Tale of Two Diagnoses in Probabilistic Systems

Nathalie Bertrand (1) , Serge Haddad (2, 3) , Engel Lefaucheux (1, 2)

1 SUMO - SUpervision of large MOdular and distributed systems
2 LSV - Laboratoire Spécification et Vérification [Cachan]
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency

Mots clés: Fault diagnosis; Probabilistic transition systems; Partial observation; Markov chains

Domaines: Informatique [cs]

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Information and Computation, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩. ⟨hal-02430814⟩