利用平方和表示进行混成系统的精确安全性验证
软件工程
2015-03-19 v1 最优化与控制
摘要
本文讨论如何为混成系统的安全性验证生成归纳不变量。提出了一种混合符号-数值方法，用于计算给定系统的不等式归纳不变量。通过平方和（SOS）松弛求解参数化多项式优化问题，可获得给定系统的数值不变量。并部署了一种基于高斯-牛顿精化与有理向量恢复的方法，以获取具有有理系数且精确满足不变量条件的不变量。给出了若干示例来说明我们的算法。
引用
@article{arxiv.1112.2328,
title = {Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation},
author = {Wang Lin and Min Wu and Zhengfeng Yang and Zhenbing Zeng},
journal= {arXiv preprint arXiv:1112.2328},
year = {2015}
}