I. Araya, G. Trombettoni, and B. Neveu, Exploiting monotonicity in interval constraint propagation, Proc. of AAAI, p.10, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00654400

M. Beltran, G. Castillo, and V. Kreinovich, Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary's idea justified, Reliable Computing, vol.4, issue.1, pp.39-53, 1998.
DOI : 10.1023/A:1009998515856

F. Benhamou, D. Mcallester, and P. Van-hentenryck, CLP(Intervals) revisited, Proc. of Intl. Symp. on Logic Prog, pp.124-138, 1994.

G. E. Collins, Quantifier elimination by cylindrical algebraic decomposition ? twenty years of progress. Quantifier Elimination and Cylindrical Algebraic Decomposition pp, pp.8-23, 1998.

A. Goldsztejn, A branch and prune algorithm for the approximation of non-linear AE-solution sets, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1650-1654, 2006.
DOI : 10.1145/1141277.1141665
URL : https://hal.archives-ouvertes.fr/hal-00481391

A. Goldsztejn and L. Jaulin, Inner and Outer Approximations of Existentially Quantified Equality Constraints, Proc. of CP'06, pp.198-212, 2006.
DOI : 10.1007/11889205_16
URL : https://hal.archives-ouvertes.fr/hal-00481288

A. Goldsztejn and L. Jaulin, Inner approximation of the range of vector-valued functions, Reliable Computing, vol.14, pp.1-23, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00518507

F. Goualard, Gaol: NOT Just Another Interval Library (version 3.1.1). http://sourceforge, 2008.

L. Granvilliers, Realpaver (version 1.1), 2010.

E. Hansen and S. Sengupta, Bounding solutions of systems of equations using interval analysis, BIT, vol.17, issue.2, pp.203-211, 1981.
DOI : 10.1007/BF01933165

P. Herrero, L. Jaulin, J. Vehi, and M. Sainz, Guaranteed set-point computation with application to the control of a sailboat, International Journal of Control, Automation and Systems, vol.7, issue.4, pp.1-7, 2010.
DOI : 10.1007/s12555-010-0101-3
URL : https://hal.archives-ouvertes.fr/hal-00593201

P. Herrero, M. A. Sainz, J. Veh, and L. Jaulin, Quantified Set Inversion Algorithm with Applications to Control, Reliable Computing, vol.10, issue.1, pp.369-382, 2005.
DOI : 10.1007/s11155-005-0044-1
URL : https://hal.archives-ouvertes.fr/hal-00518707

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

R. B. Kearfott, M. T. Nakao, A. Neumaier, S. M. Rump, S. P. Shary et al., Standardized notation in interval analysis, Proc. of XIII Baikal International Schoolseminar " Optimization methods and their applications, pp.106-113, 2005.

R. B. Kearfott, I. Novoa, and M. , Algorithm 681: INTBIS, a portable interval Newton/bisection package, ACM Transactions on Mathematical Software, vol.16, issue.2, pp.152-157, 1990.
DOI : 10.1145/78928.78931

H. K. Khalil, Nonlinear Systems, Third Edition, 2002.

O. Lhomme, Consistency techniques for numeric CSPs, Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp.232-238, 1993.

R. Moore, Interval Analysis, 1966.

A. Neumaier, THE ENCLOSURE OF SOLUTIONS OF PARAMETER-DEPENDENT SYSTEMS OF EQUATIONS, pp.269-286, 1988.
DOI : 10.1016/B978-0-12-505630-4.50020-1

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

S. Ratschan, Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving, Journal of Universal Computer Science, vol.6, issue.9, pp.861-880, 2000.

C. Reboulet, Modélisation des robotsparalì eles, Techniques de la robotique, architecture et commande, pp.257-284, 1988.

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

S. P. Shary, A new technique in systems analysis under interval uncertainty and ambiguity, Reliable Computing, vol.8, issue.5, pp.321-418, 2002.
DOI : 10.1023/A:1020505620702

P. Van-hentenryck, L. Michel, and Y. Deville, Numerica : A Modeling Language for Global Optimization, 1997.