Reachability analysis of nonlinear ODEs using polytopic based validated Runge-Kutta

DOI10.1007/978-3-030-00250-3_1OpenAlexW2889316522MaRDI QIDQ1798901

Julien Alexandre dit Sandretto, Jian Wan

Publication date: 23 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00250-3_1

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Reachability analysis of nonlinear ODEs using polytopic based validated Runge-Kutta