The following pages link to Barrier certificates revisited (Q507352):
Displaying 15 items.
- Smaller SDP for SOS decomposition (Q746820) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions (Q2663858) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- Hybrid Systems: Computation and Control (Q5703951) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Safe reward‐based deep reinforcement learning control for an electro‐hydraulic servo system (Q6069295) (← links)
- Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems (Q6069417) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
