@inproceedings{4ed87e4b0a774866b89b208c9374c8ce,
title = "Reachability analysis of nonlinear odes using polytopic based validated runge-kutta",
abstract = "Ordinary Differential Equations (ODEs) are a general form of differential equations. This mathematical format is often used to represent the dynamic behavior of physical systems such as control systems and chemical processes. Linear ODEs can usually be solved analytically while nonlinear ODEs may need numerical methods to obtain approximate solutions. There are also various developments for validated simulation of nonlinear ODEs such as explicit and implicit guaranteed Runge-Kutta integration schemes. The implicit ones are mainly based on zonotopic computations using affine arithmetics. It allows to compute the reachability of a nonlinear ODE with a zonotopic set as its initial value. In this paper, we propose a new validated approach to solve nonlinear ODEs with a polytopic set as the initial value using an indirectly implemented polytopic set computation technique.",
author = "\{Alexandre dit Sandretto\}, Julien and Jian Wan",
note = "Publisher Copyright: {\textcopyright} 2018, Springer Nature Switzerland AG.; 12th International Conference on Reachability Problems, RP 2018 ; Conference date: 24-09-2018 Through 26-09-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-00250-3\_1",
language = "English",
isbn = "9783030002497",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "1--14",
editor = "Igor Potapov and Pierre-Alain Reynier",
booktitle = "Reachability Problems - 12th International Conference, RP 2018, Proceedings",
}