Abstract | ||
---|---|---|
We consider the problem of diagnosing the occurrence of a certain unobservable event of interest, the fault event, in the operation of a partially-observed discrete-event system subject to permanent loss of observations modeled by a finite-state automaton. Specifically, it is assumed that certain sensors for events that would a priori be observable may fail at the outset, thereby resulting in a loss of observable events; the diagnostic engine is not directly aware of such sensor failures. We explore a previous definition of robust diagnosability of a given fault event despite the possibility of permanent (and unknown a priori) loss of observations and present a polynomial time verification algorithm to verify robust diagnosability and a methodology to perform online diagnosis in this scenario using a set of partial diagnosers. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1016/j.automatica.2012.09.017 | Automatica |
Keywords | Field | DocType |
Discrete-event systems,Fault diagnosis,Sensor failures,Robust diagnosability | Observable,Dilation (morphology),Automaton,Algorithm,Constructed language,Mathematics,Fault occurrence | Journal |
Volume | Issue | ISSN |
49 | 1 | 0005-1098 |
Citations | PageRank | References |
8 | 0.54 | 24 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lilian K. Carvalho | 1 | 57 | 6.84 |
Marcos V. Moreira | 2 | 125 | 13.03 |
JoãO C. Basilio | 3 | 151 | 15.63 |
StéPhane Lafortune | 4 | 1738 | 181.23 |