Huajun Qin;Philip Lewis
-;-
Technical communique: Bisimilarity enforcing supervisory control for deterministic specifications
Automatica (Journal of IFAC)