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á bibliografia

Vydané v:	Information and computation Ročník 289; s. 104965
Hlavní autori:	Wang, Qiuye, Chen, Mingshuai, Xue, Bai, Zhan, Naijun, Katoen, Joost-Pieter
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.11.2022
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!