Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

Abstract : Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as possible after their occurrence. Existing literature on this problem has considered the case of static observers, where the set of observable events does not change during exe- cution of the system. In this paper, we consider dynamic observers, where the observer can switch sensors on or off, thus dynamically changing the set of events it wishes to observe. We define a notion of cost for such dynamic observers and show that (i) the cost of a given dynamic observer can be computed and (ii) an optimal dynamic observer can be synthesized.
Type de document :
Communication dans un congrès
1st IEEE \& IFIP Int. Symp. on Theoretical Aspects of Soft. Engineering (TASE'07), Jun 2007, Shanghai, China. IEEE Computer Society, pp.316--325, 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00363031
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:19:17
Dernière modification le : jeudi 11 janvier 2018 - 06:20:46
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:44:35

Fichier

tase-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00363031, version 1

Collections

Citation

Franck Cassez, Stavros Tripakis, Karine Altisen. Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. 1st IEEE \& IFIP Int. Symp. on Theoretical Aspects of Soft. Engineering (TASE'07), Jun 2007, Shanghai, China. IEEE Computer Society, pp.316--325, 2007. 〈inria-00363031〉

Partager

Métriques

Consultations de la notice

142

Téléchargements de fichiers

85