Delayed Detectability of Discrete Event Systems

In this paper, we extend detectability to delayed detectability in order to answer the following question. After observing k1+k2 observable events, can we determine the state of a system at the time when the k1th event was observed? If the answer is yes, we say that the system is delayed detectable. It involves two delays: the prior delay k1 before the estimation is attempted and the post delay k2 after 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.

[1]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[2]  Feng Lin,et al.  State estimation and detectability of probabilistic discrete event systems , 2008, Autom..

[3]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[4]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[5]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[6]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[7]  J. G. Thistle,et al.  Control of Infinite Behavior of Finite Automata , 1994 .

[8]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[9]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[10]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[11]  Stéphane Lafortune,et al.  An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions , 2007, Syst. Control. Lett..

[12]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[13]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[14]  Feng Lin,et al.  Generalized detectability for discrete event systems , 2011, Syst. Control. Lett..