Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
From MaRDI portal
Publication:5275312
DOI10.1145/3049797.3049811zbMath1369.93071OpenAlexW2606692557MaRDI QIDQ5275312
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3049797.3049811
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Convergent under-approximations of reachable sets and tubes: a piecewise constant approach ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Uses Software
This page was built for publication: Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
