Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion
ZOU Jin LIN Wang LUO Yong ZENG Zhenbing
Journal of Computer Applications . 2013, (05): 1289 -1293 .  DOI: 10.3724/SP.J.1087.2013.01289