Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications
Shigemasa Takai · 2018
In this paper, we consider a problem of synthesizing a nondeterministic supervisor for the plant and the specification modeled as nondeterministic automata. A bisimilarity control problem requires us to synthesize a supervisor such that the supervised plant is bisimilar to the specification. When there does not exist a solution to the bisimilarity control problem, we generally construct a supervisor for a feasible subspecification that is stronger than the original specification. It is desirable that the constructed supervisor be as permissive as possible. Thus, we develop a method for synthesizing a maximally permissive supervisor that achieves a supremal feasible subspecification.