Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson. Supervisory control of extended finite automata using transition projection. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7259-7266, IEEE, 2012. [doi]
Abstract is missing.