Bisimilarity control of decentralized nondeterministic discrete-event systems

Recently, we investigated bisimilarity control of nondeterministic discrete-event systems (DESs), where the constructed framework is centralized. This paper aims to generalize it to the decentralized case and develop a decentralized supervisory control theory for nondeterministic DESs with bisimulation equivalence. A synchronous composition for supervised systems is proposed based on the simulation relation between nondeterministic specification and plant. The notions of simulation-based controllability and simulation-based coobservability are formalized to characterize the necessary and sufficient conditions for the existence of the decentralized bisimilarity supervisor that achieve the given specification in terms of bisimulation equivalence.