The following pages link to (Q4418865):
Displaying 16 items.
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Some decidability results on one-pass reductions (Q2423761) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
