Abstract | ||
---|---|---|
In this paper, we investigate state estimation and detection problems with information delays in the context of partially-observed discrete-event systems. Specifically, we study the verification of an important detectability property called delayed detectability which is related to the state estimation problem with information delayed. Particularly, it requires that the state of the system after k1 observations can always be detected within another k2 observation delay; delayed detectability is, therefore, referred to as (k1,k2)-detectability. In this paper, we provide a new verification algorithm for checking this property. The idea is to use the reversed dynamic of the system to efficiently estimate the delayed-state information. To this end, a new information structure called the two-way verifier is proposed. We show that our result improves the complexity of existing verification algorithms for the property. We also illustrate our result by simple examples. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1016/j.automatica.2020.109291 | Automatica |
DocType | Volume | Issue |
Journal | 124 | 1 |
ISSN | Citations | PageRank |
0005-1098 | 0 | 0.34 |
References | Authors | |
23 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yang Liu | 1 | 0 | 0.34 |
Zhaocong Liu | 2 | 0 | 1.35 |
Xiang Yin | 3 | 195 | 22.38 |
Shaoyuan Li | 4 | 463 | 65.77 |