Outillage logiciel pour les problèmes dynamiques

In August 2005, British Airways took four days to resume its operations after a one day strike of one of its subcontractors. Because of the interconnection and the integration of their decision support, companies become more and more sensitive to modifications. At the same time, with new technologies such as RFID or GPS, companies are able to monitor operations in real time. In this thesis, we consider constraint satisfaction problems in a dynamic context. Indeed, for many years constraint programming has proven its efficiency to solve optimization problems (vehicle routing, scheduling, . . .) in static contexts. However, dynamic contexts raise many difficulties. We put forward a set of tools to manage and to take unexpected events into account in a constraint programming framework. Each tool is based on a specific approach for dynamic problems (forbidden tuples, local search, explanations) and gives a different and complementary overview of dynamicity.En août 2005, British Airways mit quatre jours à rétablir ses vols après une grève d'une journée d'un de ses sous-traitants. En interconnectant et intégrant leurs systèmes d'aide à la décision, les entreprises deviennent de plus en plus soumises aux changements. Parallèlement, avec le développement de technologies comme les puces RFID et la localisation par GPS les entreprises sont capables de suivre en temps réel le déroulement des opérations sur le terrain. Dans cette thèse nous nous intéressons au cas des problèmes de satisfaction de contraintes dans un cadre dynamique. En effet, depuis de nombreuses années la programmation par contraintes a fait la preuve de son efficacité pour résoudre des problèmes d'optimisation (tournées de véhicules, ordonnancements, etc) dans le cadre statique. Cependant le contexte dynamique soulève encore de nombreuses difficultés. Nous proposons donc un ensemble d'outils permettant la gestion et la prise en compte des événements, survenant de manière inattendue, dans le cadre de la programmation par contraintes. Chaque outil repose sur une approche particulière des problèmes dynamiques (tuples interdits, recherche locale, explications) et offre ainsi un éclairage différent et complémentaire