Pages that link to "Item:Q3523109"
From MaRDI portal
The following pages link to Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis (Q3523109):
Displaying 13 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- A comparison of zonotope order reduction techniques (Q1626916) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- A Verified Enclosure for the Lorenz Attractor (Rough Diamond) (Q2945634) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
