Ibex : bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.

Site web : http://www.emn.fr/z-info/ibex/
Système :
Version actuelle : 2.0.9 - 28/08/2013
Licence(s) : LGPL - v3
Etat : diffusé en beta
Support : maintenu, développement en cours
Concepteur(s) : équipe d'Ibex
Contact concepteur(s) : gilles.chabert @ mines-nantes.fr
Laboratoire(s), service(s)... : Universidad Técnica Federico Santa María (Chile)

Fiche dév Ens Sup - Recherche

Création ou MAJ importante : 13/09/13
Correction mineure : 13/09/13
Auteur de la fiche : Pascal Monasse (LIGM)
Responsable thématique : Teresa Gomez-Diaz (LIGM)

Mots-clés

Fonctionnalités générales du logiciel

Cette bibliothèque C++ s'utilise pour résoudre une variété de problèmes pouvant se formuler de la façon suivante :

Trouver une caractérisation fiable en boîtes (produits cartésiens d'intervalles) d'ensembles définis implicitement par contraintes.

L'adjectif "fiable" signifie que toutes les sources d'imprécision doivent être controlées :

approximation des nombres réels par réels à virgule flottante,
erreurs d'arrondi,
troncatures de linéarisation,
incertitudes des paramètres du modèle,
bruit de mesure,
...

Contexte d’utilisation du logiciel

Outil de recherche en programmation par contraintes.

Publications liées au logiciel

G. Trombettoni and I. Araya and B. Neveu and G. Chabert. IbexOpt : un module d'optimisation globale sous contraintes fiable, ROADEF, 2012.
Voir aussi la documentation et les exemples du logiciel : http://www.emn.fr/z-info/ibex/index.php?page=docum...