Chuan Ma, Walter Murray Wonham. A Symbolic Approach to the Supervision of State Tree Structures. In Intelligent Control, 2005. Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation, Limassol, Cyprus, 27-29 June, 2005. pages 908-913, IEEE, 2005. [doi]
Abstract is missing.