Pages that link to "Item:Q2864837"
From MaRDI portal
The following pages link to Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (Q2864837):
Displayed 13 items.
- Barrier certificates revisited (Q507352) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← 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)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← 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)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Linearization, model reduction and reachability in nonlinear ODEs (Q6173102) (← links)