Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

Changyan Zhou, Ratnesh Kumar. Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. IEEE Trans. Automat. Contr., 56(12):2986-2991, 2011. [doi]

Authors

Changyan Zhou

This author has not been identified. Look up 'Changyan Zhou' in Google

Ratnesh Kumar

This author has not been identified. Look up 'Ratnesh Kumar' in Google