%0 Conference Paper %F Oral %T An interval approach to solve an initial value problem %+ Lab-STICC_ENSTAB_CID_PRASYS %+ Lab-STICC_ENSTAB_CID_IHSEV ; OSM %+ Département STIC [Brest] (STIC) %+ Lab-STICC_ENSTAB_CID_PRASYS ; OSM %A Le Mézo, Thomas %A Jaulin, Luc %A Zerr, Benoit %< avec comité de lecture %3 Proceedings of the 2nd International Conference “Numerical Computations: Theory and Algorithms” %B NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS (NUMTA–2016) %C Pizzo Calabro, Italy %I AIP %8 2016-06-19 %D 2016 %R 10.1063/1.4965365 %K Initial value problems %K Ordinary differential equations %K Set theory %K Vector fields %Z Mathematics [math]/Dynamical Systems [math.DS]Conference papers %X This paper proposes an original guaranteed interval-based method to solve an Initial Value Problem (IVP) for ordinary differential equations (ODE). Our method uses the geometrical properties of the vector field given by the ODE and a state space discretization to compute an enclosure of the trajectories set that verifies the IVP problem. %G English %2 https://hal.science/hal-01399126/document %2 https://hal.science/hal-01399126/file/paper_lemezo_numta.pdf %L hal-01399126 %U https://hal.science/hal-01399126 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ INSMI %~ ENIB %~ LAB-STICC_ENIB %~ LAB-STICC %~ TDS-MACS %~ INSTITUTS-TELECOM