The synthesis of controllers for linear hybrid automata (1997)

by H Wong-Toi
Venue:In Proc. 36th IEEE Conference on Decision and Control