Accueil
Recherche
Enseignement
- Journées Francophones de Programmation par Contraintes (JFPC) :
- Organisation des JFPC 2012 à Toulouse couplées avec les journées d'Intelligence Artificielle Fondamentale (IAF)
- 22 au 24 mai à l'ISAE
- Méthodes de recherche arborescente
- Synthèse des Méthodes à divergences : mode de comptage, redondance ou non du parcours
- Positionnement des divergences
- Proposition de nouvelles heuristiques d'instanciation basées sur la pondération de variables
- Nouvelle méthode à divergences tronquées : Climbing Cepth-bouded Discrepancy Search (CDDS)
- Résolution de problèmes de satisfaction de contraintes : car-sequencing, CSP aléatoires, ordonnancement
- Résolution de problèmes d'optimisation combinatoire : ordonnancement flexible (flow shop hybride, job shop flexible)
- En cours :
apport relatif des modes de comptage des divergences, heuristiques à
pondération de variables, comparaison méthodes à divergences et
backtrack chronologique
- Collaborations :
- Approche par contraintes des problèmes d'ordonnancement
- Propagation de contraintes temporelles : chemin-consistance / arc-consistance
- Propagation de contraintes de ressources : extension de certaines propagations exploitant les déduction de chemin-consistance
- Résolution de problèmes d'ordonnancement flexibles, de problèmes d'ordonnancement avec time-lags
- En cours : job-shop avec contraintes de délais généralisés, proposition de propagations de contraintes, heuristiques, méta-heuristiques
- Collaborations :
- Plus courts chemins multi-modaux multi-objectif
- Algorithmes de plus courts chemins
- Plus courts chemins bi-objectif : minimisation du temps de trajet et du nombre de transferts
- En cours :
- Graphes multi-modaux de grande taille
- Nouveaux problèmes multi-modaux multi-objectifs
- Collaborations :
- Projets
- Projet LAAS OSEC "Ordonnancement dans les Systèmes Embarqués Critiques" porté par O. Brun (groupe MRS, LAAS-CNRS)
- Projet ANR AMORES : "Architecture pour les systèmes résilients mobiles et ubiquitaires" porté par M-O Killijian (groupe TSF, LAAS-CNRS)
- Projet GdR Recherche Opérationnelle : Plus court chemins multimodaux/multi-objectif porté par Emmanuel Néron (Université de Tours)
- 2010 - Fallou Gueye : Thèse CIFRE avec la société MobiGIS
- Titre : Algorithmes de recherche d'itinéraires en transport multimodal
- Mots-Clés : itinéraires multimodaux et dépendant du temps, plus court chemin bi-objectif, plus court chemin viable
- 2010 - Wafa Karoui : Thèse en co-tutelle INSA Toulouse (LAAS-CNRS) et Faculté des Sciences de Tunis
- Co-encadrement : Pierre Lopez (Chargé de Recherches au LAAS-CNRS) et Mohamed Haouari (Professeur à l'Ecole Polytechnique de Tunis)
- Titre : Méthodes à divergences pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoire
- Mots-Clés : méthodes arborescentes à divergences, heuristiques, satisfaction de contraintes, optimisation combinatoire
- 2009 - Frédérique Baniel : Thèse INP Toulouse (LAAS-CNRS et ENI de Tarbes)
- Co-encadrement : Thierry Vidal (ENI de Tarbes)
- Titre : Prise en compte d'objectifs de stabilité pour l'organisation de collectes de déchets
- Mots-Clés : tournées de véhicules, stabilité, collecte de déchets, heuristiques, méthodes à voisinage
- 2009 - Abir Ben Hmida : Thèse en co-tutelle INSA Toulouse (LAAS-CNRS) et Faculté des Sciences de Tunis
- Co-encadrement : Pierre Lopez (Chargé de Recherches au LAAS-CNRS) et Mohamed Haouari (Professeur à l'Ecole Polytechnique de Tunis)
- Titre : Méthodes arborescentes pour la résolution de problèmes d'ordonnancement flexibles
- Mots-Clés : ordonnancement, flexibilité des ressources, méthodes arborescentes à divergences, job-shop flexible, flow-shop hybride