Reachability analysis using polygonal projections (1999)

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