Pages that link to "Item:Q5275312"
From MaRDI portal
The following pages link to Forward Inner-Approximated Reachability of Non-Linear Continuous Systems (Q5275312):
Displaying 5 items.
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
