Abstract
In this paper, we consider a bisimilarity control problem for the plant and the specification modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is bisimilar to the specification. We derive a new necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem. The complexity of verifying this existence condition is smaller than that of the exhaustive search that uses the existing condition. In addition, we present how to synthesize a solution to the bisimilarity control problem if it exists.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have