Controllers for reachability specifications for hybrid systems (1999)

by J Lygeros, C Tomlin, S Sastry
Venue:Automatica