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 条

[41] Stability of Switched Linear Systems on Cones: A Generating Function Approach
Shen, Jinglai
Hu, Jianghai
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 420 - 425
[42] Tackling the Container Loading problem: A hybrid approach based on Integer Linear Programming and Genetic Algorithms
Nepomuceno, Napoleao
Pinheiro, Placido
Coelho, Andre L. V.
EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2007, 4446 : 154 - +
[43] A variable structure convex programming based control approach for a class of uncertain linear systems
Ferrara, A
SYSTEMS & CONTROL LETTERS, 2005, 54 (06) : 529 - 538
[44] Identification of linear hybrid systems: a geometric approach
Van Luong Le
Lauer, Fabien
Bloch, Gerard
2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 830 - 835
[45] State Aggregation based Linear Programming approach to Approximate Dynamic Programming
Darbha, S.
Krishnamoorthy, K.
Pachter, M.
Chandler, P.
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 935 - 941
[46] Max-plus-linear model-based predictive control for constrained hybrid systems: linear programming solution
Yuanyuan ZOU
JournalofControlTheoryandApplications, 2007, (01) : 71 - 76
[47] Max-plus-linear model-based predictive control for constrained hybrid systems: Linear programming solution
Zou Y.
Li S.
Journal of Control Theory and Applications, 2007, 5 (1): : 71 - 76
[48] A linear programming approach to routing control in networks of constrained linear positive systems
Arneson, Heather
Langbort, Cedric
AUTOMATICA, 2012, 48 (05) : 800 - 807
[49] Adjacency based method for generating maximal efficient faces in multiobjective linear programming
Krichen, S.
Masri, H.
Guitouni, A.
APPLIED MATHEMATICAL MODELLING, 2012, 36 (12) : 6301 - 6311
[50] A Hybrid Simulated Annealing/Linear Programming Approach for the Cover Printing Problem
Alonso-Pecina, Federico
Romero, David
MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018

← 1 2 3 4 5 →