@article{林望_1289, author = {[林望, 罗勇, 曾振柄, 邹进]}, title = {基于多面体包含的非线性混成系统可达性分析}, publisher = {《计算机应用》唯一官方网站}, year = {2013}, journal = {计算机应用}, volume = {33}, number = {05}, eid = {1289}, pages = {1289-1293}, keywords = {

混成系统;可达性分析;安全性验证;多面体包含;线性近似

}, doi = http://www.joca.cn/CN/10.3724/SP.J.1087.2013.01289 }