Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

Fuchun Liu, Hai Lin, Zbigniew Dziong. Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Automatica, 47(4):782-788, 2011. [doi]

Authors

Fuchun Liu

This author has not been identified. Look up 'Fuchun Liu' in Google

Hai Lin

This author has not been identified. Look up 'Hai Lin' in Google

Zbigniew Dziong

This author has not been identified. Look up 'Zbigniew Dziong' in Google