基于多面体包含的非线性混成系统可达性分析  

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

作　　者：邹进[1] 林望[1,2] 罗勇[1] 曾振柄[2] 

机构地区：[1]温州大学数学与信息科学学院,浙江温州325035 [2]华东师范大学上海市高可信计算重点实验室,上海200062

出　　处：《计算机应用》2013年第5期1289-1293,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(11001204);国家973计划项目(2011CB302904);浙江省教育厅科研项目(Y201120383);温州大学实验室研究项目(JWS20120612)

摘　　要：针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。To study the reachability of a class of nonlinear hybrid systems, this paper presented an verification method based on polyhedron inclusion. Firstly, some notions about hybrid systems and reachability were introduced. The method based on polyhedron inclusion was proposed to compute the linear approximation of polynomial hybrid systems. Quantifier elimination and nonlinear optimization method were applied to obtain the associated linear hybrid systems. Then the over- approximation of reachable set of original polynomial hybrid systems can be computed by using SpaceEx. Furthermore, the safety properties of the systems also can be verified.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]