基于双线性 SOS 表示的混合系统精确安全验证
软件工程
2015-03-20 v2 符号计算
摘要
本文探讨了非线性混合系统的安全验证问题。提出了一种混合符号 - 数值方法，以高效计算混合系统的精确不等式不变量。通过 PENBMI 求解器或迭代方法求解双线性 SOS 规划，可获得混合系统的某些数值不变量；随后应用改进的 Newton refinement 和有理向量恢复技术，获得具有有理系数的精确多项式不变量，这些不变量严格满足不变量条件。通过对一些基准测试的实验，说明了该算法的有效性。
引用
@article{arxiv.1201.4219,
title = {Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation},
author = {Zhengfeng Yang and Min Wu and Wang Lin},
journal= {arXiv preprint arXiv:1201.4219},
year = {2015}
}
备注
arXiv admin note: substantial text overlap with arXiv:1112.2328