Reachability analysis using polygonal projections (1999)

by M R Greenstreet, I Mitchell
Venue:Hybrid Systems: Computation and Control, LNCS 1569