Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai. Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations. In Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva, editors, 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. pages 169-174, International Federation of Automatic Control, 2012. [doi]
Abstract is missing.