Résumé
Les communautés d'analyse par intervalles et de pro- grammation (logique) par contraintes ont exploité les intervalles pour leur capacité à représenter des ensembles infi nis de solutions dans les systèmes de contraintes continus. En particulier, les boîtes ou régions intérieures permettent de représenter des sous-ensembles de l'espace de recherche dans lesquels tout point est solution. Notre première contribution est l'utilisation d'algorithmes récents et nouveaux d'extraction de régions intérieures dans la phase d'amelioration du majorant (faisable) en optimisation globale sous contraintes. La relaxation linéaire est également un ingrédient majeur, utilisé notamment pour minorer la fonction objectif. Nous avons adapté la taylorisation sur intervalles convexe - relaxation linéaire proposée par Lin et Stadtherr - pour produire des approximations polyhédrales fiables intérieure et extérieure de l'ensemble solution ainsi qu'une linéarisation de la fonction objectif. Enfi n, d'autres ingrédients originaux font partie de notre optimiseur, comme un algorithme de propagation de contraintes sur intervalles exploitant la monotonie des fonctions. Nous proposons au finnal un nouveau schéma fiable d'optimisation globale continue sous contraintes. Une implantation est disponible en tant qu'extension de l'outil Ibex (bibliothèque libre en C++ de résolution par intervalles). En termes de performances, notre stratégie dépasse de manière signi cative les meilleurs optimiseurs globaux fiables.