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

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

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

Publication date: 3 January 2020

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

zbMATH Keywords

hybrid systemsformal verificationlinear programming relaxationbarrier certificates

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic dynamics (37B10)

Related Items (4)

Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Pegasus: sound continuous invariant generation ⋮ Vector barrier certificates and comparison systems ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

Uses Software

• QEPCAD
• SeDuMi
• REDLOG

This page was built for publication: A linear programming relaxation based approach for generating barrier certificates of hybrid systems