A Note on Fault Diagnosis Algorithms

Abstract : In this paper we review algorithms for checking diagnosability of discrete-event systems and timed automata. We point out that the diagnosability problems in both cases reduce to the emptiness problem for (timed) Büchi automata. Moreover, it is known that, checking whether a discrete-event system is diagnosable, can also be reduced to checking bounded diagnosability. We establish a similar result for timed automata. We also provide a synthesis of the complexity results for the different fault diagnosis problems.
Type de document :
Communication dans un congrès
48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Dec 2009, Shanghai, P.R. China, China. IEEE Computer Society, 2009
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493637
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 05:55:25
Dernière modification le : lundi 21 juin 2010 - 08:29:04
Document(s) archivé(s) le : lundi 22 octobre 2012 - 12:35:42

Fichier

cdc-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00493637, version 1

Citation

Franck Cassez. A Note on Fault Diagnosis Algorithms. 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Dec 2009, Shanghai, P.R. China, China. IEEE Computer Society, 2009. 〈inria-00493637〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

41