Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Katsuyuki Kimura, Shigemasa Takai. Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Transactions, 97-D(5):1140-1148, 2014. [doi]

Abstract

Abstract is missing.