M. Rueher, Solving continuous constraint systems, International Conference on Computer Graphics and Artificial Intelligence, 2005.

S. Nedialko, K. Nedialkov, G. Jackson, and . Corliss, Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999.
DOI : 10.1016/S0096-3003(98)10083-8

A. Rauh, M. Brill, and C. Günther, A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP, International Journal of Applied Mathematics and Computer Science, vol.19, issue.3, pp.381-397, 2009.
DOI : 10.2478/v10006-009-0032-4

J. Alexandre, D. Sandretto, and A. Chapoutot, Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing electronic edition, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243053

J. Alexandre, D. Sandretto, and A. Chapoutot, Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods. Reliable Computing electronic edition, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243044

M. Janssen, Y. Deville, and P. Van-hentenryck, Multistep Filtering Operators for Ordinary Differential Equations, Principles and Practice of Constraint Programming, pp.246-260, 1999.
DOI : 10.1007/978-3-540-48085-3_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.5021

J. Cruz and P. Barahona, Constraint Reasoning with Differential Equations, Applied Numerical Analysis & Computational Mathematics, vol.1, issue.1, pp.140-154, 2004.
DOI : 10.1002/anac.200310012
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.4958

A. Goldsztejn, O. Mullier, D. Eveillard, and H. Hosobe, Including Ordinary Differential Equations Based Constraints in the Standard CP Framework, Principles and Practice of Constraint Programming, pp.221-235, 2010.
DOI : 10.1007/978-3-642-15396-9_20
URL : https://hal.archives-ouvertes.fr/hal-00520054

B. Hoxha and G. E. Fainekos, Planning in dynamic environments through temporal logic monitoring, AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Workshops, 2016.

J. Liu, N. Ozay, U. Topcu, M. Richard, and . Murray, Synthesis of Reactive Switching Protocols From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013.
DOI : 10.1109/TAC.2013.2246095

A. Eggers, M. Fränzle, and C. Herde, SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems, Automated Technology for Verification and Analysis, pp.171-185, 2008.
DOI : 10.1007/978-3-540-78929-1_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8227

S. Gao, S. Kong, and E. M. Clarke, dReal: An SMT Solver for Nonlinear Theories over the Reals, International Conference on Automated Deduction, pp.208-214, 2013.
DOI : 10.1007/978-3-642-38574-2_14

R. E. Moore, Interval Analysis. Series in Automatic Computation, 1966.

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

Y. Lebbah and O. Lhomme, Accelerating filtering techniques for numeric CSPs, Artificial Intelligence, vol.139, issue.1, pp.109-132, 2002.
DOI : 10.1016/S0004-3702(02)00194-7
URL : http://doi.org/10.1016/s0004-3702(02)00194-7

F. Benhamou, D. Mcallester, and P. Van-hentenryck, Clp (intervals) revisited, 1994.

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957

O. Lhomme, Consistency techniques for numeric CSPs, International joint conference on Artifical intelligence, pp.232-238, 1993.

J. Alexandre-dit-sandretto, D. Piccani-de-souza, and A. Chapoutot, Appropriate Design Guided by Simulation, Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering , MORSE '16, 2016.
DOI : 10.1145/3022099.3022100
URL : https://hal.archives-ouvertes.fr/hal-01304012

J. Alexandre-dit-sandretto, A. Chapoutot, and O. Mullier, Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis, Synthesis of Complex Parameters of OpenAccess Series in Informatics (OASIcs) Schloss Dagstuhl?Leibniz- Zentrum fuer Informatik, pp.91-102, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01272513

A. Le-coent, J. Alexandre-dit-sandretto, A. Chapoutot, and L. Fribourg, Control of nonlinear switched systems based on validated simulation, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016.
DOI : 10.1109/SNR.2016.7479377
URL : https://hal.archives-ouvertes.fr/hal-01399337

J. Aubin, A Survey of Viability Theory, SIAM Journal on Control and Optimization, vol.28, issue.4, pp.749-788, 1990.
DOI : 10.1137/0328044

D. Monnet, L. Jaulin, and J. Ninin, Julien Alexandre dit Sandretto, and Alexandre Chapoutot. Viability kernel computation based on interval methods, Small Workshop on Interval Methods, 2015.

E. R. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 2003.
DOI : 10.1016/B978-0-12-505630-4.50021-3

J. Alexandre, D. Sandretto, and A. Chapoutot, DynBEX: a Differential Constraint Library for Studying Dynamical Systems (Poster), Conference on Hybrid Systems: Computation and Control, 2016.

R. Pepy, M. Kieffer, and E. Walter, Reliable Robust Path Planning with Application to Mobile Robots, International Journal of Applied Mathematics and Computer Science, vol.19, issue.3, pp.413-424, 2009.
DOI : 10.2478/v10006-009-0034-2
URL : http://doi.org/10.2478/v10006-009-0034-2