Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Franck Cassez 1 Stavros Tripakis 2 Karine Altisen 2
1 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
2 VERIMAG - IMAG - VERIMAG
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

Collections

IMAG | IRCCYN | IRCCYN-MEFORBIO | UNIV-NANTES | UNAM | UGA | VERIMAG

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

123

Contact


archive-ouverte@inria.fr