Supervisory Control for Delayed Detectability of Discrete Event Systems

摘要

Detectability is an important property that characterizes whether or not the state of a system can be precisely determined under imperfect observation. In this paper, we investigate the supervisor synthesis problem for a specific class of detectability, called delayed detectability, in the context of Discrete Event Systems. Specifically, delayed detectability requires that the state of the system can always be determined after some bounded information delays. That is, one is allowed to use future information to “smooth” the state estimate of previous instant. Our goal is to design a maximally-permissive supervisor that restricts the behavior of the original system such that the closed-loop system under control is delayed detectable. To this end, we propose a new supervisor synthesis approach that appropriately handles the delayed information in the control problem. Our work generalizes previous results on supervisory control of detectability, where only non-delayed information is considered.