Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation
Jinglun Li, Shigemasa Takai · 2019
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata under partial observation. This problem requires us to synthesize a nondeterministic supervisor, named similarity enforcing supervisor, such that the supervised system is simulated by the specification. When the existence condition of a similarity enforcing supervisor is satisfied, we synthesize such a supervisor. In addition, we prove that the synthesized supervisor is a maximally permissive one.