The following pages link to Sapo (Q35337):
Displaying 4 items.
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems (Q5232243) (← links)