Bisimilarity control of nondeterministic discrete event systems

This paper addresses the bisimilarity control problem of discrete event systems (DESs) under full observations and partial observations, in which both the plant and the specification are allowed to be nondeterministic. The main contribution is the derivation of necessary and sufficient conditions for the existence of a supervisor that achieves a given specification in terms of bisimulation equivalence. The notions of simulation-based controllability and simulation-based observability are proposed respectively, which are generalizations of the counterparts in the classical supervisory control in the sense of language equivalence. With these new notations, the main results here can be presented as the controllability and observability theorems for bisimulation.