Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

Yifan Zhang,Zhengfeng Yang,Wang Lin,Huibiao Zhu,Xin Chen,Xuandong Li

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems（2018）

引用 8|浏览37

暂无评分

摘要

In safety verification of hybrid systems, barrier certificates are generated by solving the verification conditions derived from non-negative representations of different types. This paper presents a new computational method, sequential linear programming projection, for directly solving the set of verification conditions represented by the Krivine-Vasilescu-Handelman's positivstellensatz. The key...

查看译文

关键词

Safety,Relaxation methods,Encoding,Thermostats,Embedded software,Hybrid power systems,Complexity theory

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要