Optimisation lexicographique pseudo-booléenne : Une contrainte globale
1 : ISAE-Supmeca, QUARTZ EA7393
Laboratoire QUARTZ EA 7393 - SUPMECA Paris
2 : Centre de Recherche en Sciences et Technologies de lÍnformation et de la Communication - EA 3804
Université de Reims Champagne-Ardenne, Université de Reims Champagne-Ardenne : EA3804
3 : Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - UR 3804
Université de Reims Champagne-Ardenne
UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2, FRANCE -
France
Un problème d'optimisation lexicographique est un problème multi-objectif dans lequel chaque objectif doit-être minimisé ou maximisé dans un ordre donné. Lorsque les objectifs sont à valeurs pseudo-booléennes dans {0,1} on parle alors d'optimisation pseudo-booléenne lexicographique. Nous proposons une contrainte globale permettant d'exprimer et de traiter un objectif de ce type dans un CSP à l'aide de techniques de programmation par contraintes. La contrainte globale est ensuite mise en oeuvre sur un problème de synthèse de controleur logique pour la commande de système à évènements discrets.

