On the construction of probabilistic diagnosers - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

On the construction of probabilistic diagnosers

Résumé

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.
Fichier principal
Vignette du fichier
WODES2010.pdf (155.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01699592 , version 1 (02-02-2018)

Identifiants

Citer

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⟩
158 Consultations
72 Téléchargements

Altmetric

Partager

More