Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda. A state-based framework for supervisory control synthesis and verification. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 3481-3486, IEEE, 2010. [doi]
Abstract is missing.