Pages that link to "Item:Q2986717"
From MaRDI portal
The following pages link to Reachable set computation for uncertain time-varying linear systems (Q2986717):
Displaying 10 items.
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Output reachable set estimation for discrete-time switched systems with persistent dwell-time (Q1738636) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Control barrier functions for stochastic systems (Q2665332) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
