Analysis and control of fuzzy discrete event systems using bisimulation equivalence

Hongyan Xing, Qiansheng Zhang, Kaisheng Huang. Analysis and control of fuzzy discrete event systems using bisimulation equivalence. Theoretical Computer Science, 456:100-111, 2012. [doi]

Abstract

Abstract is missing.