Recherche Opérationnelle/Optimisation Combinatoire/Contraintes
- roc -
LES NEWS DE L’ÉQUIPE
Toutes les actualités de l'équipe
L’AGENDA DE L’ÉQUIPE
L'équipe ROC mène des recherches sur les problèmes d'optimisation combinatoire et les méthodes algorithmiques pour les résoudre, à la frontière entre Recherche Opérationnelle et Intelligence Artificielle.
Animation scientifique
Cette page présente l'animation scientifique au sein de l'équipe ROC.
Notre Recherche
Problèmes d'Optimisation Combinatoire
L'équipe ROC propose des modèles et des algorithmes variés pour plusieurs classes de problèmes d'optimisation combinatoire, comme les problèmes d'ordonnancement, de tournées de véhicules, d'allocation de ressources et plus généralement des problèmes combinatoires dans des graphes.
Méthodes Computationnelles
L'équipe ROC contribue à la résolution efficaces d'instances de problèmes d'optimisation combinatoires difficiles en concevant et implémentant des approches de programmation par contraintes, de programmation mixte en nombres entiers, des méthodes hybrides ainsi que des algorithmes dédiés. L'équipe propose des appriches d'intégration de techniques d'apprentissage automatique au sein des algorithmes d'optimisation et réciproquement l'amélioration des algorithmes d'apprentissage automatique grâce à l'optimisation combinatoire.
Applications
L'équipe cherche à confronter les méthodes proposées au monde réel en prenant en compte le génie industriel, les facteurs humains et/ou les enjeux environnementaux. Des applications industrielles sont développées dans des domaines variés qui incluent le transport, la production, la gestion de la chaine logistique, la gestion de l'énergie, l'aéronautique et l'espace.
Focus
Méthodes avancées pour l’optimisation discrète
Un objectif central de l’équipe ROC est de participer au développement de méthodes génériques, dont l’impact n’est pas nécessairement lié à un projet applicatif précis, mais se situe plus en amont. Ces recherches sont souvent imbriquées avec les applications et les deux aspects se nourrissent mutuellement.
Optimisation sous Incertitudes
Au-delà de l’optimisation déterministe, l’équipe a obtenu des résultats en optimisation sous incertitude et en particulier en optimisation robuste en deux étapes, principalement pour des problèmes d’ordonnancement avec durées incertaines avec un critère minmax.
Apprentissage et Optimisation Combinatoire
L’équipe s'intéresse à l’apprentissage automatique au travers des possibles relations et synergies avec l’optimisation combinatoire. Parmi celles-ci, une piste classique est l’apprentissage d’heuristiques d’exploration de l’arbre de recherche pour la résolutions des problèmes d'optimisation combinatoire. A contrario, l’optimisation combinatoire peut être un outil précieux pour l’apprentissage automatique, en particulier pour la synthèse de modèles d’apprentissage supervisé intrinsèquement interprétables tels que des modèles d’arbres de décision ou de règles de décision.
Ordonnancement, allocation de ressources et applications
L’étude de propriétés structurelles des problèmes d'ordonnancement et d'allocation de ressources et leur résolution efficace au coeur d’applications en industrie manufacturière, logistique, réseaux énergétiques, télécommunications et spatial ont fait l’objet de nombreux travaux.
Calculs symboliques-numériques et applications
Le développement de nouveaux résultats en calcul formel et arithmétique des ordinateurs en synergie avec la théorie de l’optimisation a permis d'améliorer la précision, la fiabilité et la rapidité de certaines classes d'algorithmes numériques, dont certains sont directement issus de problèmes concrets du domaine spatial.
Responsable
Cadre scientifique
Post-doctorant
Doctorant
Stagiaire
Accueil Thèse
Accueil partenariat
Dernières Publications
2025
Articles dans une revue
Communications dans un congrès
Rapports
Pré-publications, documents de travail
2024
Articles dans une revue
Communications dans un congrès
Autres documents
Pré-publications, documents de travail
2023
Articles dans une revue
Chapitres d’ouvrages
Communications dans un congrès
Thèses de Master
Rapports
Pré-publications, documents de travail
2022
Articles dans une revue
Communications dans un congrès
Autres documents
Comptes rendus de conférences
Pré-publications, documents de travail
2021
Articles dans une revue
Communications dans un congrès
Pré-publications, documents de travail
2020
Articles dans une revue
Communications dans un congrès
Autres documents
Rapports
Quelques codes sources et logiciels publics issus des recherches de l'équipe ROC.
Tempo, un solveur hybride CP/SAT
https:gitlab.laas.fr/roc/emmanuel-hebrard/tempo
BDDEncoding, une bibliothèque Python pour la synthèse (via MaxSAT) de diagrammes de décision booléens pour la classification
https://gitlab.laas.fr/roc/hao-hu/bddencoding
Blossom, un algorithme pour la synthèses d'arbres de décisions optimaux
https://gitlab.laas.fr/ehebrard/blossom
ChromSAT, un approche basée sur l'apprentissage de clauses pour la coloration de graphes
https://gitlab.laas.fr/roc/emmanuel-hebrard/chromsat
fairCORELS, implémentation d’un algorithme d’apprentissage machine supervisé produisant des modèles interprétables (rule lists) et respectant des contraintes (paramétrables) d’équité selon plusieurs métriques de la littérature
- Version 1 :
module python : https://pypi.org/project/faircorels/
code source : https://github.com/ferryjul/fairCORELS
- Version 2 : version améliorée utilisant une approche PLNE et une nouvelle structure de données pour élaguer efficacement l’espace de recherche de l’algorithme et permettre l’apprentissage de modèles interprétables et équitables avec garantie d’optimalité
module python : https://pypi.org/project/faircorelsv2/
code source : https://github.com/ferryjul/fairCORELSV2
FairnessSampleRobustness : Intégration dans deux algorithmes d’apprentissage supervisé équitable de la littérature de nos approches exactes et heuristiques visant à améliorer la généralisation de l’équité statistique en utilisant une méthode d’optimisation robuste à l’échantillonnage
https://github.com/ferryjul/FairnessSampleRobustness
FAIRScoringSystems, une plateforme pour la synthèse de modèles équitables et interprétables pour la classification multi-classe
https://gitlab.laas.fr/roc/julien-rouzot/fairscoringsystemsv0
HybridCorels, implémentation d’un algorithme d’apprentissage machine supervisé produisant des modèles hybrides interprétables (composés d’une partie interprétable par nature, et d’une partie boîte-noire (agnostique) dont le but est de classifier les exemples les plus difficiles)
module python : https://github.com/ferryjul/HybridCORELS
code source : https://github.com/ferryjul/fairCORELSV2
LNS-MMRCPSP, une approche basée sur CPOptimizer pour résoudre le "multi-mode project scheduling problem" sous incertitude
https://gitlab.laas.fr/roc/christian-artigues/lns-mmrcpsp
MaxSAT Decision Trees, une bibliothèque Python pour la synthèse (via MaxSAT) d'arbres de décision pour la classification
https://gitlab.laas.fr/roc/hao-hu/maxsat-decision-trees
MCTS, une bibliothèque C++ pour la conception de méthodes de recherche arborescente de Monte-Carlo guidée par apprentissage par renforcement pour les problèmes combinatoires
https://gitlab.laas.fr/roc/valentin-antuori/MCTS
Mistral, un solveur de programmation par contraintes
https://github.com/ehebrard/Mistral-2.0.git
SensitiveAttributesReconstruction : implémentation d’une attaque d’inférence visant à reconstruire les attributs sensibles de l’ensemble d’entraînement d’un modèle d’apprentissage, en utilisant une information relative à l’équité de ce modèle
https://github.com/ferryjul/SensitiveAttributesReconstructionCorrector/
Two Stage Scheduling Using POGS, une approche basé sur CPOptimizer pour l'ordonnancement robuste par compilation en "groupes d'opérations permutables"
https://gitlab.laas.fr/roc/louis-riviere/two-stage-scheduling-using-pogs
Thèses / HDR soutenues
2024
2023
2022
Hao Hu, Thèse: Interpretable Machine Learning Models via Maximum Boolean Satisfiability
Tom Portoleau, Thèse: Représentations discrètes pour l’ordonnancement et la planification robustes
2019
2018
Idir Hamaz, Thèse: Méthodes d'optimisation robuste pour les problèmes d'ordonnancement cyclique
Pierre Coupechoux, Thèse: Codes et jeux de soustraction et de poursuite dans les graphes
Ulrich Matchi Aïvodji, Thèse: Technologies respectueuses de la vie privée pour le covoiturage
2017
Yun He, Thèse: Problèmes de tournée avec prise en compte explicite de la consommation d'énergie
2016
Margaux Nattaf, Thèse: Ordonnancement sous contraintes d’énergie
Nadia Chaabane, Thèse: Recherche de flots stables dans des réseaux de transport multi-agents
2015
DÉPARTEMENT
REJOINDRE
Notre équipe de recherche
Pour plus d’informations sur les offres d’emploi, vous pouvez contacter