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

作者：邹进 林望 罗勇 曾振柄混成系统可达性分析安全性验证多面体包含线性近似

摘要：针对一类非线性混成系统的可达性问题，提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性，讨论了如何应用多面体包含对多项式混成系统进行线性近似，并采用量词消去和非线性优化方法来构造相应的线性混成系统，然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集，并应用于验证系统的安全性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社