Reachability analysis via face lifting. (1998)

by T Dang, O Maler
Venue:Hybrid Systems: Computation and Control (HSCC’98),