Bracketing the solutions of an ordinary differential equation with uncertain initial conditions

DOI10.1016/j.amc.2017.07.036zbMath1426.93022WikidataQ115361280 ScholiaQ115361280MaRDI QIDQ2422853

Jaulin, Luc, Thomas Le Mézo, Benoît Zerr

Publication date: 21 June 2019

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2017.07.036

zbMATH Keywords

dynamical systems; ODE; infinity; abstract interpretation; interval computation

Mathematics Subject Classification ID

34A34: Nonlinear ordinary differential equations and systems

93B03: Attainable sets, reachability

34C45: Invariant manifolds for ordinary differential equations