Name
Abstract | ||
|---|---|---|
In this paper, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observation. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) detectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this paper can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/TAC.2007.910713 | IEEE Trans. Automat. Contr. |
Keywords | Field | DocType |
Event detection,Discrete event systems,State estimation,Observability,Observers,Supervisory control,Control systems,Medical services,Biomedical equipment,Sufficient conditions | Observability,Discrete event system,Control theory,Observer (quantum physics),System identification,Periodic graph (geometry),Mathematics | Journal |
Volume | Issue | ISSN |
52 | 12 | 0018-9286 |
Citations | PageRank | References |
58 | 2.58 | 12 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shaolong Shu | 1 | 174 | 12.13 |
| Feng Lin | 2 | 434 | 27.87 |
| Hao Ying | 3 | 506 | 45.75 |