Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation

摘要

For an uncertain nondeterministic discrete event system (DES) modelled as a set of possible nondeterministic finite state automata, uncontrollable events may subsequently occur before a control action issued by a robust supervisor is applied to the system due to delays in sensing, communicating and actuating. For an uncertain nondeterministic DES under such communication delays and partial observation, this article presents necessary and sufficient conditions for the existence of a robust and nonblocking supervisor to achieve a given language specification for any nondeterministic model in the set. Moreover, this article addresses a synthesis problem of a robust and nonblocking supervisor.