N. Beldiceanu, M. Carlsson, and J. Rampon, Global Constraint Catalog, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00485396

C. Bliek, P. Spellucci, L. N. Vincente, A. Neumaier, L. Granvilliers et al., Algorithms for Solving Nonlinear Constrained and Optimisation Problems: State of the Art. A 222 page progress report of the COCONUT project, 2001.

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

E. Dombre and W. Khalil, Robot manipulators: modeling, performance analysis and control, 2007.
DOI : 10.1002/9780470612286
URL : https://hal.archives-ouvertes.fr/lirmm-00127404

C. Durieu, B. Polyak, and E. Walter, Ellipsoidal state outer-bounding for MIMO systems via analytical techniques, Proceedings of the IMACS?IEEE?SMC CESA'96 Symposium on Modelling and Simulation, pp.843-848, 1996.

E. R. Hansen, Bounding the Solution of Interval Linear Equations, SIAM Journal on Numerical Analysis, vol.29, issue.5, pp.1493-1503, 1992.
DOI : 10.1137/0729086

M. Hladík, D. Daney, and E. Tsigaridas, Bounds on Real Eigenvalues and Singular Values of Interval Matrices, SIAM Journal on Matrix Analysis and Applications, vol.31, issue.4, pp.2116-2129, 2010.
DOI : 10.1137/090753991

A. Roger, C. R. Horn, and . Johnson, Matrix analysis, 1985.

L. Jaulin and D. Henrion, Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem, Reliable Computing, vol.4, issue.4, pp.1-17, 2005.
DOI : 10.1007/s11155-005-5939-3
URL : https://hal.archives-ouvertes.fr/hal-00518706

L. Jaulin, M. Kieffer, O. Didrit, and . Walter, Applied interval analysis. With examples in parameter and state estimation, robust control and robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

O. Lhomme, Consistency techniques for numeric CSPs, Proceedings of the International Joint Conference on Artificial Intelligence, pp.232-238, 1993.

C. D. Meyer, Matrix analysis and applied linear algebra, 2000.
DOI : 10.1137/1.9780898719512

R. E. Moore, Methods and applications of interval analysis, SIAM, 1979.
DOI : 10.1137/1.9781611970906

S. Poljak and J. Rohn, Checking robust nonsingularity is NP-hard, Mathematics of Control, Signals, and Systems, vol.126, issue.1, pp.1-9, 1993.
DOI : 10.1007/BF01213466

Z. Qiu, S. Chen, and I. Elishakoff, Bounds of eigenvalues for structures with an interval description of uncertain-but-non-random parameters, Chaos, Solitons & Fractals, vol.7, issue.3, pp.425-434, 1996.
DOI : 10.1016/0960-0779(95)00065-8

J. Rohn, An algorithm for checking stability of symmetric interval matrices, IEEE Transactions on Automatic Control, vol.41, issue.1, pp.133-136, 1996.
DOI : 10.1109/9.481618

J. Rohn, A handbook of results on interval linear problems, 2005.

J. Rohn, VERSOFT: Verification software in MATLAB / INTLAB, 2009.

S. M. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, pp.77-104, 1999.
DOI : 10.1007/978-94-017-1247-7_7

D. Sam-haroud, Constraint consistency techniques for continuous domains, 1995.

C. Scherer and S. Weiland, Course on LMIs in Control, 2002.

M. H. Van-emden, Algorithmic power from declarative use of redundant constraints, Constraints, vol.4, issue.4, pp.363-381, 1999.
DOI : 10.1023/A:1009821007410

L. Pascal-van-hentenryck, Y. Michel, and . Deville, Numerica ? A Modelling Language for Global Optimization, 1997.

J. Hardy and W. , The algebraic eigenvalue problem. 1. paperback ed, 1988.

Z. Quan-yuan, H. He, and . Leng, An evolution strategy method for computing eigenvalue bounds of interval matrices, Appl. Math. Comput, vol.196, issue.1, pp.257-265, 2008.