Pages that link to "Item:Q518335"
From MaRDI portal
The following pages link to Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335):
Displaying 9 items.
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← 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)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Stabilization with guaranteed safety using barrier function and control Lyapunov function (Q2205454) (← links)
- Computing Capture Tubes (Q2803603) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
