Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Abstract

We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.