Supervisor synthesis for similarity control of nondeterministic discrete event systems
Naoki Kushi, Shigemasa Takai · 2015
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.