A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation

Barrier certificates generation is widely used in verifying safety properties of hybrid systems because of the relatively low computational complexity it costs. Under sum of squares (SOS) relaxation, the problem of barrier certificate generation is equivalent to that of solving a bilinear matrix ine...

Descripción completa

Detalles Bibliográficos
Autores principales: Chen, Xin, Peng, Chao, Lin, Wang, Yang, Zhengfeng, Zhang, Yifang, Li, Xuandong
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363221/
http://dx.doi.org/10.1007/978-3-030-53288-8_29

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363221/
http://dx.doi.org/10.1007/978-3-030-53288-8_29

Ejemplares similares