A linear programming relaxation based approach for generating barrier certificates of hybrid systems

DOI10.1007/978-3-319-48989-6_44zbMath1427.68176MaRDI QIDQ2281664

Xin Chen, Zhi-Ming Liu, Chao Huang, Wang Lin, Zhengfeng Yang

Publication date: 3 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-48989-6_44

zbMATH Keywords

hybrid systems; formal verification; linear programming relaxation; barrier certificates

Mathematics Subject Classification ID

90C90: Applications of mathematical programming

68Q60: Specification and verification (program logics, model checking, etc.)

37B10: Symbolic dynamics

Uses Software

• QEPCAD
• SeDuMi
• REDLOG