Contraintes sur les réels et contraintes sur les flottants: contributions.

Résumé : Mes recherches ont principalement porté sur la programmation par contraintes, avec deux thèmes de prédilection, les contraintes sur les réels et les contraintes sur les flottants. Sur les réels, ces travaux se caractérisent principalement par l’utilisation rigoureuse de relaxations linéaires pour la résolution de systèmes de contraintes sur les réels et d’optimisation globale d’une fonction réelle soumise à un ensemble de contraintes sur les réels. Dans le premier cas, notre approche s’appuie sur un filtrage global qui capture le sous-système linéaire augmenté d’un certain nombre de relaxations linéaires de termes non linéaires. Dans le second cas, les relaxations linéaires sont utilisées afin de déterminer une borne inférieure de la fonction objectif. Dans les deux cas, le calcul des coefficients des relaxations linéaires est effectué par des procédures rigoureuses garantes de la préservation de l’ensemble des solutions du problème initial, et le système linéaire obtenu est résolu à l’aide d’un simplexe dont le minimum global est lui aussi calculé de manière rigoureuse. Sur les flottants, ces recherches se sont traduites par l'introduction des contraintes sur les flottants. Ce type de contraintes particulières n’avait pas d’existence avant ces travaux. Elles sont pourtant nécessairement pour traiter des expressions faisant appel à des calculs sur les flottants, chose à laquelle de plus en plus de programmes font appel. Ces recherches partent de l’introduction d’un cadre pour les traiter correctement, pour s’attacher ensuite à améliorer le fonctionnement d’un solveur sur les flottants, que ce soit en introduisant une forme de filtrage plus performante basée sur une consistance de type 2B, en améliorant le fonctionnement de projections particulières telles que l’addition et la soustraction, en plongeant les contraintes sur les flottants dans les réels, ou en faisant collaborer contraintes sur les flottants et interprétation abstraite. Une application à la détection de fausses alarmes illustre le fonctionnement des outils développés sur un exemple industriel.
Type de document :
HDR
Informatique [cs]. Universite Nice Sophia Antipolis, 2016
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/tel-01346105
Contributeur : Claude Michel <>
Soumis le : lundi 18 juillet 2016 - 12:59:12
Dernière modification le : vendredi 26 août 2016 - 11:40:54

Fichier

Identifiants

  • HAL Id : tel-01346105, version 1

Collections

Citation

Claude Michel. Contraintes sur les réels et contraintes sur les flottants: contributions.. Informatique [cs]. Universite Nice Sophia Antipolis, 2016. <tel-01346105>

Partager

Métriques

Consultations de
la notice

121

Téléchargements du document

30