Discrete-time control for rectangular hybrid automata (1997)

by T A Henzinger, P W Kopke
Venue:In ICALP