Reachability analysis using polygonal projections (1999)

by Mark R Greenstreet, Ian Mitchell
Venue:In Hybrid Systems: Computation and Control, volume 1569 of LNCS