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

https://hal.archives-ouvertes.fr/hal-01699592
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

File

WODES2010.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

312

Files downloads

238