Zhi Han Bruce H. Krogh Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. 287-301 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_23 db/conf/hybrid/hscc2006.html#HanK06