Pages that link to "Item:Q2281664"
From MaRDI portal
The following pages link to A linear programming relaxation based approach for generating barrier certificates of hybrid systems (Q2281664):
Displaying 6 items.
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)