Verification of k-Step and Definite Critical Observability in Discrete-Event Systems

this article, we study the verification of critical observability in discrete-event systems in which a plant and its observer are connected via an unreliable communication channel. We consider a communication protocol in which each packet sent from the plant consists of an event and the sequence number of the packet. We define two novel notions of critical observability called first, the k-step critical observability that requires that the critical states can be distinguished from noncritical ones after a loss of consecutive k events, and second, the definite critical observability that is a generalization of k-step critical observability for all non negative integers k. Then, a structure called k-extended detector is proposed. Necessary and sufficient conditions for k-step critical observability are derived, which can be verified with polynomial complexity. Moreover, we prove that the definite critical observability can be verified by checking the (1/2(|Q|(2 )+ |Q|))-step critical observability, where Q is the set of states of a plant. For a plant that is not definitely critically observable, a polynomial algorithm has been proposed to obtain a maximal nonnegative integer kmax (if it exists) such that the plant is kmax-step critically observable.