A linear programming relaxation based approach for generating barrier certificates of hybrid systems
From MaRDI portal
Publication:2281664
Recommendations
- Barrier certificates revisited
- Hybrid Systems: Computation and Control
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- A novel approach for solving the BMI problem in barrier certificates generation
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
Cited in
(9)- Vector barrier certificates and comparison systems
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Pegasus: sound continuous invariant generation
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- A novel approach for solving the BMI problem in barrier certificates generation
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
- Pegasus: a framework for sound continuous invariant generation
- Synthesizing invariant barrier certificates via difference-of-convex programming
This page was built for publication: A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2281664)
