A novel approach for solving the BMI problem in barrier certificates generation

DOI10.1007/978-3-030-53288-8_29zbMath1478.68152OpenAlexW3042952022MaRDI QIDQ2225128

Zhengfeng Yang, Chao Peng, Yifang Zhang, Wang Lin, Xin Chen, Xuandong Li

Publication date: 4 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53288-8_29

zbMATH Keywords

hybrid systemsformal verificationbilinear matrix inequalitiesbarrier certificates

Mathematics Subject Classification ID

Semidefinite programming (90C22) Miscellaneous inequalities involving matrices (15A45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

This page was built for publication: A novel approach for solving the BMI problem in barrier certificates generation