HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00363031
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Friday, February 20, 2009 - 1:19:17 AM
Last modification on : Wednesday, April 27, 2022 - 3:43:47 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 10:44:35 PM

File

tase-07.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00363031, version 1

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. pp.316--325. ⟨inria-00363031⟩

Share

Metrics

Record views

96

Files downloads

124