Complexity reduction techniques for quantified diagnosability of stochastic systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Complexity reduction techniques for quantified diagnosability of stochastic systems

Résumé

In a discrete event stochastic system, the natural notion of diagnosability, called A-diagnosability, requires that each fault event is eventually detected with probability one. Several definitions of diagnosability degree have been derived from this notion. They examine the detection probability after a fault occurs. To check diagnosability and compute diagnosability degrees, one usually attaches to the original stochastic system the information of a so-called diagnoser, which is in general exponentially larger than the original system. In this paper, we show that the full complexity of such diagnosers is not necessary, and that one can rely on simpler systems, with up to an exponential gain in complexity.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
BFG18b.pdf (167.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01943401 , version 1 (06-11-2019)

Identifiants

Citer

Hugo Bazille, Eric Fabre, Blaise Genest. Complexity reduction techniques for quantified diagnosability of stochastic systems. WODES'18 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩. ⟨hal-01943401⟩
100 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More