当前位置: X-MOL 学术Nonlinear Anal. Hybrid Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
Nonlinear Analysis: Hybrid Systems ( IF 4.2 ) Pub Date : 2020-05-01 , DOI: 10.1016/j.nahs.2019.100837
Zhengfeng Yang , Min Wu , Wang Lin

Abstract Due to the ability to handle uncertain nonlinear hybrid systems, barrier certificate based method has been widely used in safety verification problem. In this paper, an efficient framework, combining sum of squares programming with interval analysis, is proposed to generate barrier certificates for uncertain nonlinear hybrid systems. It utilizes the feature of bounded uncertainties to get a deterministic hybrid system, whose barrier certificates can be efficiently computed using sum of squares programming. The computed barrier certificates are then chosen as candidate barrier certificates for the original uncertain hybrid system, and need to be checked the satisfaction of the associated barrier certificate conditions, via an interval analysis based method. As an application, our approach is used to verify safety properties of non-polynomial hybrid systems. Some experimental results are given to show the efficiency of our approach.

中文翻译:

不确定非线性混合系统障碍证书生成的有效框架

摘要 由于能够处理不确定的非线性混合系统,基于屏障证书的方法在安全验证问题中得到了广泛的应用。在本文中,提出了一种将平方和规划与区间分析相结合的有效框架,以生成不确定非线性混合系统的障碍证明。它利用有界不确定性的特征来获得确定性混合系统,可以使用平方和规划有效地计算其屏障证书。然后选择计算出的障碍证书作为原始不确定混合系统的候选障碍证书,并需要通过基于区间分析的方法检查相关障碍证书条件的满足程度。作为应用程序,我们的方法用于验证非多项式混合系统的安全特性。给出了一些实验结果以显示我们方法的效率。
更新日期:2020-05-01
down
wechat
bug