Pages that link to "Item:Q2986751"
From MaRDI portal
The following pages link to Avoiding geometric intersection operations in reachability analysis of hybrid systems (Q2986751):
Displaying 8 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
