ANGLADA Alexis

Dottore di ricerca
Gruppo di ricerca : SMA
Data di partenza : 09/29/2005
https://lip6.fr/Alexis.Anglada

Relatore : Philippe CODOGNET

Introduction de mécanisme de flexibilité dans les contraintes de domaines continues

La programmation par Contraintes et les CSP connaissent un certain succès depuis quelques années comme cadre de modélisation des problèmes complexes. Pourtant de nombreux problèmes réels, dont certains liés `a la problématique de conception, ne peuvent être exprimés dans le cadre classique. Il est en effet très difficile, voire impossible, de résoudre les problèmes sur-contraints, les problèmes utilisant des priorités ou des préférences sur les contraintes, quand chaque contrainte reçoit une valeur de vérité booléenne.
Dans cette thèse, nous avons développé un cadre générique de flexibilité pour les contraintes sur des domaines continus : les problèmes de satisfaction de contraintes numériques `a base de demi anneaux (NSCSP). Nous présentons trois algorithmes de résolution. Ils utilisent la représentation des contraintes flexibles par des contraintes dures ou une recherche locale spécialisée. Ils ont été implémentés et testés dans le logiciel de conception : Constraint Explorer DASSAULT AVIATION.

Difesa : 09/28/2005

Membri della commissione :

Philippe Codognet du LIP6
Frédéric Benhamou du LINA
Gérard Verfaillie du CERT
Laurent Zimmer de DASSAULT AVIATION
Patrice Perny du LIP6
Francesca Rossi Université de Padova

Data di partenza : 09/29/2005

Pubblicazioni 2005

Mentions légales
Mappa del sito