Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

作者：Zhou Changyan^*; Kumar Ratnesh

来源：IEEE Transactions on Automatic Control, 2011, 56(12): 2986-2991.

DOI：10.1109/TAC.2011.2161790

• Bisimulation equivalence
• control
• discrete event systems
• partial observation

For discrete event systems, the control to enforce bisimilarity with respect to a given specification has been studied in [10], [12], [13]. In this note we consider the case when the control is required to be deterministic. While a deterministic control is restrictive compared to a nondeterministic one, the case of deterministic control has its own practical significance as it is easier to implement and computationally less expensive to verify. We provide a necessary and sufficient condition for the existence of a bisimilarity enforcing deterministic control, and discuss its computational complexity. We also study properties related to the synthesis of "subspecification" and "superspecification."

• 出版日期2011-12