Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang. Control of nondeterministic discrete event systems for bisimulation equivalence. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 4488-4492, IEEE, 2004. [doi]
Abstract is missing.