Skip to Main content Skip to Navigation
Conference papers

On the construction of probabilistic diagnosers

Abstract : This paper revisits the notions of observer and diagnoser, and adapts them to probabilistic automata, in a setting of weighted automata computations. In the non stochastic case, observers and diagnosers are obtained by standard elementary steps, as state augmentation, epsilon-reduction and determinization. It is shown that these steps can be adapted to probabilistic automata, and algorithms to perform them efficiently are provided. In particular, the determinization is related to a standard filtering equation that recursively computes the conditional distribution of the current state given past observations. New notions of probabilistic observers and diagnosers are provided and compared to previous constructions, and simpler derivations of the latter are proposed.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Loïg Jezequel <>
Submitted on : Friday, February 2, 2018 - 3:13:05 PM
Last modification on : Thursday, January 7, 2021 - 4:19:36 PM
Long-term archiving on: : Thursday, May 3, 2018 - 10:10:48 AM


Files produced by the author(s)



Eric Fabre, Loïg Jezequel. On the construction of probabilistic diagnosers. WODES 2010 - 10th International Workshop on Discrete Event Systems, Aug 2010, Berlin, Germany. pp.229 - 234, ⟨10.3182/20100830-3-DE-4013.00039⟩. ⟨hal-01699592⟩



Record views


Files downloads