%0 Journal Article
%T 基于多面体包含的非线性混成系统可达性分析
%A 邹进
%A 林望
%A 罗勇
%A 曾振柄
%J 计算机应用
%D 2013
%X ？针对一类非线性混成系统的可达性问题，提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性，讨论了如何应用多面体包含对多项式混成系统进行线性近似，并采用量词消去和非线性优化方法来构造相应的线性混成系统，然后运用验证工具spaceex求得原非线性混成系统的过近似可达集，并应用于验证系统的安全性。
%K 混成系统
%K 可达性分析
%K 安全性验证
%K 多面体包含
%K 线性近似
%U http://www.joca.cn/CN/abstract/abstract16353.shtml