%0 Journal Article
%T Resolution of nonlinear interval problems using symbolic interval arithmetic
%+ Développement des Technologies Nouvelles (DTN)
%A Jaulin, Luc
%A Chabert, Gilles
%Z WOS
%< avec comité de lecture
%@ 0952-1976
%J Engineering Applications of Artificial Intelligence
%I Elsevier
%V 23
%N 6
%P 1035-1049
%8 2010
%D 2010
%R 10.1016/j.engappai.2009.06.002
%K Interval analysis
%K Quantified problems
%K Symbolic intervals
%K Constraint propagation
%K Nonlinear problemsJournal articles
%X An interval problem is a problem where the unknown variables take interval values. Such a problem can be defined by interval constraints, such as “the interval [a,b]subset of[a,b]2”. Interval problems often appear when we want to analyze the behavior of an interval solver. To solve interval problems, we propose to transform the constraints on intervals into constraints on their bounds. For instance, the previous interval constraint [a,b]subset of[a,b]2 can be transformed into the following bound constraints “a≥min(a2,ab,b2) and b≤max(a2,ab,b2)”. Classical interval solvers can then be used to solve the resulting bound constraints. The procedure which transforms interval constraints into equivalent bound constraints can be facilitated by using symbolic interval arithmetic. While classical intervals can be defined as a pair of two real numbers, symbolic intervals can be defined as a pair of two symbolic expressions. An arithmetic similar to classical interval arithmetic can be defined for symbolic intervals. The approach will be illustrated on several applications.
%G English
%L hal-00531534
%U https://ensta-bretagne.hal.science/hal-00531534
%~ UNIV-NANTES
%~ ENSTA-BRETAGNE
%~ MINES-NANTES
%~ LINA
%~ ENSTA-BRETAGNE-STIC
%~ LINA-TASC
%~ ENSIETA-E3I2
%~ ENSIETA-DTN
%~ INFO
%~ IMTA_DAPI
%~ LS2N-IMTA
%~ IMT-ATLANTIQUE