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]

Possibly Related Publications

The following publications are possibly variants of this publication: