IbexOpt : un module d'optimisation globale sous contraintes fiable

Gilles Trombettoni (1, 2, 3) , Ignacio Araya (4) , Bertrand Neveu (5, 6, 7) , Gilles Chabert (8, 9)

1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
2 IRIT-APO - Algorithmes Parallèles et Optimisation
3 COPRIN - Constraints solving, optimization and robust interval analysis
4 Departamento de Informatica [Valparaíso, Chile]
5 ENPC - École des Ponts ParisTech
6 imagine [Marne-la-Vallée]
7 LIGM - Laboratoire d'Informatique Gaspard-Monge
8 LINA - Laboratoire d'Informatique de Nantes Atlantique
9 TASC - Theory, Algorithms and Systems for Constraints

IbexOpt est un module de la bibliothèque logicielle Ibex [3] de résolution de systèmes de contraintes sur intervalles. Ce module traite les problèmes d'optimisation globale sous contraintes. Il permet de trouver le minimum global d'une fonction non convexe de n variables réelles définie sur une boîte (chaque variable prend ses valeurs dans un intervalle borné) et soumis à des contraintes également non linéaires. Il applique une méthode complète de recherche arborescente par séparation - évaluation (Branch & Bound) en meilleur d'abord.

Domains: Operations Research [cs.RO]

Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert. IbexOpt : un module d'optimisation globale sous contraintes fiable. 13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p. ⟨hal-00733916⟩