A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems

被引：17
|
作者：
Yang, Zhengfeng [1 ]
Huang, Chao [2 ]
Chen, Xin [2 ]
Lin, Wang [3 ]
Liu, Zhiming [4 ]
机构：
[1] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China
[2] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Jiangsu, Peoples R China
[3] Chinese Acad Sci, AMSS, Key Lab Math Mech, Beijing, Peoples R China
[4] Southwest Univ, Ctr Res & Innovat Software Engn, Chongqing, Peoples R China
来源：
FM 2016: FORMAL METHODS | 2016年 / 9995卷
关键词：
Formal verification; Hybrid systems; Barrier certificates; Linear programming relaxation; SAFETY VERIFICATION; COMPUTATION;
D O I：
10.1007/978-3-319-48989-6_44
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a linear programming (LP) relaxation based approach for generating polynomial barrier certificates for safety verification of semi-algebraic hybrid systems. The key idea is to introduce an LP relaxation to encode the set of nonnegativity constraints derived from the conditions of the associated barrier certificates and then resort to LP solvers to find the solutions. The most important benefit of the LP relaxation based approach is that it possesses a much lower computational complexity and hence can be solved very efficiently, which is demonstrated by the theoretical analysis on complexity as well as the experiment on a set of examples gathered from the literature. As far as we know, it is the first method that enables LP relaxation based polynomial barrier certificate generation.
引用
收藏
页码：721 / 738
页数：18
相关论文
共 50 条
  • [21] Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
    Zhao, Qingye
    Chen, Xin
    Zhang, Yifan
    Sha, Meng
    Yang, Zhengfeng
    Lin, Wang
    Tang, Enyi
    Chen, Qiguang
    Li, Xuandong
    HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
  • [22] Safety Verification of State/Time-Driven Hybrid Systems Using Barrier Certificates
    Wang Guobin
    Liu Jing
    Sun Haiying
    Liu Jie
    Ding Zuohua
    Zhang Miaomiao
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2483 - 2489
  • [23] An optimization algorithm to improve security of electrical energy systems -: An hybrid approach based on linear programming and load flow calculations
    Canto dos Santos, Jos V.
    Gomez, Arthur T.
    Rodriguez, Antonio G.
    ICINCO 2006: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2006, : 119 - +
  • [24] Switching preconditioners using a hybrid approach for linear systems arising from interior point methods for linear programming
    Petra Maria Bartmeyer
    Silvana Bocanegra
    Aurelio Ribeiro Leite Oliveira
    Numerical Algorithms, 2021, 86 : 397 - 424
  • [25] Switching preconditioners using a hybrid approach for linear systems arising from interior point methods for linear programming
    Bartmeyer, Petra Maria
    Bocanegra, Silvana
    Oliveira, Aurelio Ribeiro Leite
    NUMERICAL ALGORITHMS, 2021, 86 (01) : 397 - 424
  • [26] Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
    Matringe, Nadir
    Moura, Arnaldo Vieira
    Rebiha, Rachid
    STATIC ANALYSIS, 2010, 6337 : 373 - +
  • [27] A dynamic programming based approach for explicit model predictive control of hybrid systems
    Rivotti, Pedro
    Pistikopoulos, Efstratios N.
    COMPUTERS & CHEMICAL ENGINEERING, 2015, 72 : 126 - 144
  • [28] An Approach to Optimization of Linear Networked Systems Based on the Hybrid LQ Methodology
    Galvan-Guerra, R.
    Azhmyakov, V.
    Velazquez-Velazquez, J. E.
    Poznyak, A.
    2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 96 - +
  • [29] GENERATING QUANTUM ENERGY BOUNDS BY THE MOMENT METHOD - A LINEAR-PROGRAMMING APPROACH
    HANDY, CR
    BESSIS, D
    MORLEY, TD
    PHYSICAL REVIEW A, 1988, 37 (12): : 4557 - 4569
  • [30] On the Minimum Attention Control Problem for Linear Systems: A Linear Programming Approach
    Donkers, M. C. F.
    Tabuada, P.
    Heemels, W. P. M. H.
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 4717 - 4722
12345