F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity. An Algebra for Discrete Event Systems, 1992.

E. W. Bai and H. Cho, Minimization with few violated constraints and its application in set-membership identi…cation, Proc. IFAC Word Congress, pp.343-348, 1999.

F. Benhamou and L. Granvilliers, Automatic generation of numerical redundancies for nonlinear constraint solving, Reliable Computing, pp.335-344, 1997.

F. Benhamou and W. Older, Applying interval arithmetic to real, integer, and boolean constraints, The Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997.
DOI : 10.1016/S0743-1066(96)00142-2

F. L. Chernousko, State Estimation for Dynamic Systems, 1994.

J. C. Cleary, Logical arithmetic, Future Computing Systems, vol.2, issue.2, pp.125-149, 1987.

E. Davis, Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987.
DOI : 10.1016/0004-3702(87)90091-9

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

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

E. Hyvonen, Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, vol.58, issue.1-3, pp.71-112, 1992.
DOI : 10.1016/0004-3702(92)90005-I

N. Jacobson, Basic Algebra, Freeman and Company, 1974.

L. Jaulin, Interval constraint propagation with application to bounded-error estimation, Automatica, vol.36, issue.10, 2000.
DOI : 10.1016/S0005-1098(00)00068-6
URL : https://hal.archives-ouvertes.fr/hal-00844895

L. Jaulin, Reliable minimax parameter estimation, Reliable Computing, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00845159

A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, Birkhäuser, 1996.
DOI : 10.1007/978-1-4612-0277-6

H. Lahanier, E. Walter, and R. Gomeni, OMNE: A new robust membership-set estimator for the parameters of nonlinear models, Journal of Pharmacokinetics and Biopharmaceutics, vol.22, issue.3, pp.203-219, 1987.
DOI : 10.1007/BF01062344

M. Milanese, J. Norton, H. Piet-lahanier, and E. Walter, Bounding Approaches to System Identi…cation, 1996.

R. E. Moore, Methods and Applications of Interval Analysis, 1979.
DOI : 10.1137/1.9781611970906

P. J. Rousseeuw and A. M. Leroy, Robust Regression and Outlier Detection, 1987.
DOI : 10.1002/0471725382

E. Walter, Foreword, Mathematics and Computers in Simulation, vol.32, issue.5-6, pp.447-607, 1990.
DOI : 10.1016/0378-4754(90)90001-Y

D. L. Waltz, Generating semantic descriptions from drawings of scenes with shadows The Psychology of Computer Vision, 1975.

M. A. Wolfe, Interval methods for global optimization, Applied Mathematics and Computation, vol.75, issue.2-3, pp.179-206, 1996.
DOI : 10.1016/0096-3003(96)90061-2

M. A. Wolfe, On discrete minimax problems in the set of real numbers using interval arithmetic, Reliable Computing, vol.5, issue.4, pp.371-383, 1999.
DOI : 10.1023/A:1009930013647

J. Zhou, A permutation-based approach for solving the job-shop problem, Constraints, vol.1, pp.1-30, 1996.