Dynamic observers for fault diagnosis of timed systems

Franck Cassez

doi:10.1109/CDC.2010.5717696

Dynamic observers for fault diagnosis of timed systems

Franck Cassez^*

^*Corresponding author for this work

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

10 Citations (Scopus)

Abstract

In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.

Original language	English
Title of host publication	2010 49th IEEE Conference on Decision and Control (CDC 2010)
Place of Publication	Pistcataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	4359-4364
Number of pages	6
ISBN (Electronic)	9781424477463, 9781424477449
ISBN (Print)	9781424477456
DOIs	https://doi.org/10.1109/CDC.2010.5717696
Publication status	Published - 2010
Externally published	Yes
Event	2010 49th IEEE Conference on Decision and Control, CDC 2010 - Atlanta, GA, United States Duration: 15 Dec 2010 → 17 Dec 2010

Publication series

Name	Proceedings of the IEEE Conference on Decision & Control
Publisher	IEEE
ISSN (Print)	0191-2216
ISSN (Electronic)	0743-1546

Other

Other	2010 49th IEEE Conference on Decision and Control, CDC 2010
Country	United States
City	Atlanta, GA
Period	15/12/10 → 17/12/10

Access to Document

10.1109/CDC.2010.5717696

Link to publication in Scopus

Cite this

@inproceedings{9a70e5ed280841ceb2d38d056bd74e77,

title = "Dynamic observers for fault diagnosis of timed systems",

abstract = "In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.",

author = "Franck Cassez",

year = "2010",

doi = "10.1109/CDC.2010.5717696",

language = "English",

isbn = "9781424477456",

series = "Proceedings of the IEEE Conference on Decision & Control",

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

pages = "4359--4364",

booktitle = "2010 49th IEEE Conference on Decision and Control (CDC 2010)",

address = "United States",

note = "2010 49th IEEE Conference on Decision and Control, CDC 2010 ; Conference date: 15-12-2010 Through 17-12-2010",

}

Cassez, F 2010, Dynamic observers for fault diagnosis of timed systems. in 2010 49th IEEE Conference on Decision and Control (CDC 2010)., 5717696, Proceedings of the IEEE Conference on Decision & Control, Institute of Electrical and Electronics Engineers (IEEE), Pistcataway, NJ, pp. 4359-4364, 2010 49th IEEE Conference on Decision and Control, CDC 2010, Atlanta, GA, United States, 15/12/10. https://doi.org/10.1109/CDC.2010.5717696

Dynamic observers for fault diagnosis of timed systems. / Cassez, Franck.

2010 49th IEEE Conference on Decision and Control (CDC 2010). Pistcataway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 2010. p. 4359-4364 5717696 (Proceedings of the IEEE Conference on Decision & Control).

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

TY - GEN

T1 - Dynamic observers for fault diagnosis of timed systems

AU - Cassez, Franck

PY - 2010

Y1 - 2010

N2 - In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.

AB - In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.

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

U2 - 10.1109/CDC.2010.5717696

DO - 10.1109/CDC.2010.5717696

M3 - Conference proceeding contribution

AN - SCOPUS:79953136891

SN - 9781424477456

T3 - Proceedings of the IEEE Conference on Decision & Control

SP - 4359

EP - 4364

BT - 2010 49th IEEE Conference on Decision and Control (CDC 2010)

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Pistcataway, NJ

T2 - 2010 49th IEEE Conference on Decision and Control, CDC 2010

Y2 - 15 December 2010 through 17 December 2010

ER -

Dynamic observers for fault diagnosis of timed systems

Abstract

Publication series

Other

Access to Document

Fingerprint

Cite this