Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Franck Cassez; Stavros Tripakis; Karine Altisen

doi:10.1109/ACSD.2007.27

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Franck Cassez^*, Stavros Tripakis, Karine Altisen

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

22 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007
Place of Publication	Los Alamitos, Calif.
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	90-99
Number of pages	10
ISBN (Print)	076952902X, 9780769529028
DOIs	https://doi.org/10.1109/ACSD.2007.27
Publication status	Published - 2007
Externally published	Yes
Event	17th International Conference on Application of Concurrency to System Design, ACSD 2007 - Bratislava, Slovakia Duration: 10 Jul 2007 → 13 Jul 2007

Other

Other	17th International Conference on Application of Concurrency to System Design, ACSD 2007
Country/Territory	Slovakia
City	Bratislava
Period	10/07/07 → 13/07/07

Access to Document

10.1109/ACSD.2007.27

Cite this

@inproceedings{733e17d4861c4eb4829ff888bd33f970,

title = "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.",

author = "Franck Cassez and Stavros Tripakis and Karine Altisen",

year = "2007",

doi = "10.1109/ACSD.2007.27",

language = "English",

isbn = "076952902X",

pages = "90--99",

booktitle = "Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "17th International Conference on Application of Concurrency to System Design, ACSD 2007 ; Conference date: 10-07-2007 Through 13-07-2007",

}

Cassez, F, Tripakis, S & Altisen, K 2007, Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. in Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007., 4276268, Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, Calif., pp. 90-99, 17th International Conference on Application of Concurrency to System Design, ACSD 2007, Bratislava, Slovakia, 10/07/07. https://doi.org/10.1109/ACSD.2007.27

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. / Cassez, Franck; Tripakis, Stavros; Altisen, Karine.
Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007. Los Alamitos, Calif.: Institute of Electrical and Electronics Engineers (IEEE), 2007. p. 90-99 4276268.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

AU - Cassez, Franck

AU - Tripakis, Stavros

AU - Altisen, Karine

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=51149108735&partnerID=8YFLogxK

U2 - 10.1109/ACSD.2007.27

DO - 10.1109/ACSD.2007.27

M3 - Conference proceeding contribution

AN - SCOPUS:51149108735

SN - 076952902X

SN - 9780769529028

SP - 90

EP - 99

BT - Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Los Alamitos, Calif.

T2 - 17th International Conference on Application of Concurrency to System Design, ACSD 2007

Y2 - 10 July 2007 through 13 July 2007

ER -

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this