Meeko Oishi, Inseok Hwang, Claire J. Tomlin. Immediate observability of discrete event systems with application to user-interface design. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 2665-2672, IEEE, 2003. [doi]
Abstract is missing.