Flowpipe-Guard Intersection for Reachability Computations with Support Functions. - Frehse, Goran; Ray, Rajarshi (2012)