基于符号-数值计算的区间混合系统精确安全性验证
符号计算
2013-02-26 v1 软件工程
摘要
在本文中，我们处理区间混合系统的安全性验证问题，其中系数是区间而不是显式数字。提出了一种基于SOS松弛和区间算术认证的混合符号-数值方法，用于生成区间混合系统安全性验证的精确不等式不变量。作为应用，提供了一种验证非多项式混合系统安全属性的方法。给出了基准混合系统上的实验，以说明我们方法的效率。
引用
@article{arxiv.1302.5974,
title = {Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation},
author = {Zhengfeng Yang and Min Wu and Wang Lin},
journal= {arXiv preprint arXiv:1302.5974},
year = {2013}
}