Nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations
Hiroki Yamada, Shigemasa Takai · 2017
In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem. This necessary and sufficient condition can be verified in polynomial time.