基于符号-数值计算的区间混杂系统精确安全性验证
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation
摘要：
本文研究了区间混合系统的安全性验证问题，其中系数是区间而不是显式数。提出了一种基于SOS松弛和区间算术证明的混合符号-数值方法，用于区间混合系统的安全性验证.作为应用，给出了一种验证非多项式混杂系统安全性的方法。在基准混合系统上的实验表明了该方法的有效性。
英文摘要：
In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provided to verify safety properties of non-polynomial hybrid systems. Experiments on the benchmark hybrid systems are given to illustrate the efficiency of our method.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
