화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.58, No.4, 862-875, 2013
Delayed Detectability of Discrete Event Systems
In this paper, we extend detectability to delayed detectability in order to answer the following question. After observing k(1) + k(2) observable events, can we determine the state of a system at the time when the k(1)th event was observed? If the answer is yes, we say that the system is delayed detectable. It involves two delays: the prior delay before k(1) the estimation is attempted and the post delay after k(2) which the estimation is completed. We investigate various properties of delayed detectability. We also provide polynomial algorithms to check delayed detectability. The usefulness of delayed detectability is not only evident by the state estimation problems it solves, which include current state estimation problem and initial state estimation problem, but also evident by the fact that two important properties in discrete event systems, namely observability and diagnosability, can both be shown to be special cases of delayed detectability