Pages that link to "Item:Q2024361"
From MaRDI portal
The following pages link to Vector barrier certificates and comparison systems (Q2024361):
Displaying 9 items.
- Barrier certificates revisited (Q507352) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← 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)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← 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)