Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Abstract : We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists of synthesizing a diagnoser that observes a given plant and identifies faults in the plant 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 execution of the system. In this paper, we consider static as well as dynamic observers, where the observer can switch sensors on or off, thus dynamically changing the set of events it wishes to observe.
Type de document :
Communication dans un congrès
7th Int. Conf. on Application of Concurrency to System Design (ACSD'07), Jul 2007, Bratislava, Slovakia. IEEE Computer Society, pp.90--99, 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00363030
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:16:46
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 20:58:37

Fichier

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

Identifiants

  • HAL Id : inria-00363030, version 1

Citation

Franck Cassez, Stavros Tripakis, Karine Altisen. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. 7th Int. Conf. on Application of Concurrency to System Design (ACSD'07), Jul 2007, Bratislava, Slovakia. IEEE Computer Society, pp.90--99, 2007. 〈inria-00363030〉

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

123