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]

Abstract

Abstract is missing.