Supervisor synthesis for similarity control of nondeterministic discrete event systems

In this paper, we consider a similarity control problem for plants and specifications modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by a given specification. We synthesize a similarity enforcing supervisor based on the observer of the plant and the specification when a certain condition is satisfied.