基于多面体包含的非线性混成系统可达性分析
邹进 林望 罗勇 曾振柄
Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion
ZOU Jin LIN Wang LUO Yong ZENG Zhenbing
计算机应用 . 2013, (05): 1289 -1293 .  DOI: 10.3724/SP.J.1087.2013.01289