Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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.
Complete list of metadatas

Cited literature [95 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-01346105
Contributor : Claude Michel <>
Submitted on : Monday, July 18, 2016 - 12:59:12 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:56 PM

File

Identifiers

  • 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⟩

Share

Metrics

Record views

234

Files downloads

123