Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Jordan Ninin 1, 2
1 Lab-STICC_ENSTAB_CID_IHSEV ; OSM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : 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.
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01236169
Contributeur : Jordan Ninin <>
Soumis le : mardi 1 décembre 2015 - 13:25:29
Dernière modification le : vendredi 27 novembre 2020 - 09:34:05
Archivage à long terme le : : samedi 29 avril 2017 - 10:12:29

Fichier

macis_paper_66.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01236169, version 1

Citation

Jordan Ninin. Global Optimization based on Contractor Programming: an Overview of the IBEX library. MACIS, Nov 2015, Berlin, Germany. ⟨hal-01236169⟩

Partager

Métriques

Consultations de la notice

565

Téléchargements de fichiers

334