Pages that link to "Item:Q4561431"
From MaRDI portal
The following pages link to Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices (Q4561431):
Displaying 7 items.
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle (Q2137077) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Comparison of guaranteed state estimators for linear time-invariant systems (Q2665326) (← links)
- Reachability of weakly nonlinear systems using Carleman linearization (Q2695489) (← links)
