Global Optimization based on Contractor Programming: an Overview of the IBEX library - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Global Optimization based on Contractor Programming: an Overview of the IBEX library

Résumé

IBEX is an open-source C++ library for constraint processing over real numbers. It provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken into account. It is based on interval arithmetic and affine arithmetic. The main feature of IBEX is its ability to build strategies declaratively through the contractor programming paradigm. It can also be used as a black-box solver or with an AMPL interface. Two emblematic problems that can be addressed are: (i) System solving: A guaranteed enclosure for each solution of a system of (nonlinear) equations is calculated; (ii) Global optimization: A global minimizer of some function under non-linear constraints is calculated with guaranteed and reliable bounds on the objective minimum.
Fichier principal
Vignette du fichier
macis_paper_66.pdf (288.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01236169 , version 1 (01-12-2015)

Identifiants

  • HAL Id : hal-01236169 , version 1

Citer

Jordan Ninin. Global Optimization based on Contractor Programming: an Overview of the IBEX library. MACIS, Nov 2015, Berlin, Germany. ⟨hal-01236169⟩
369 Consultations
227 Téléchargements

Partager

Gmail Facebook X LinkedIn More