H. Wong-Toi, “Synthesis of controllers for linear hybrid automata,” in Proceedings of the 36th IEEE Conference on Decision and Control, pp. 4607–4613, San Diego, Calif, USA, December 1997.View at Scopus