Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming

We present the invariant barrier-certificate condition that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition —thereby synthesizing...

Celý popis

Podrobná bibliografie

Vydáno v:	Information and computation Ročník 289; s. 104965
Hlavní autoři:	Wang, Qiuye, Chen, Mingshuai, Xue, Bai, Zhan, Naijun, Katoen, Joost-Pieter
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.11.2022
Témata:	Barrier certificates Bilinear matrix inequalities Difference-of-convex programming Inductive invariants Semidefinite programming Bilinear matrix inequalities Semidefinite programming Barrier certificates Difference-of-convex programming Inductive invariants
ISSN:	0890-5401, 1090-2651
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!