Méthodes hybrides pour l'ordonnancement disjonctif avec flexibilité de ressources et considération de robustesse
Auteur / Autrice : | Carla Juvin |
Direction : | Pierre Lopez, Laurent Houssin |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique et Télécommunications |
Date : | Soutenance le 04/10/2023 |
Etablissement(s) : | Toulouse 3 |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, informatique et télécommunications (Toulouse) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d'Analyse et d'Architecture des Systèmes (Toulouse ; 1968-....) |
Jury : | Président / Présidente : Stéphane Dauzère-Pérès |
Examinateurs / Examinatrices : Pierre Lopez, Laurent Houssin, Boris Detienne, Roel Leus, Rosa Figueiredo | |
Rapporteurs / Rapporteuses : Boris Detienne, Roel Leus |
Mots clés
Résumé
Dans cette thèse, nous étudions les problèmes d'ordonnancement disjonctif, en examinant deux types spécifiques de problèmes : ceux impliquant la flexibilité des ressources et ceux dont les durées des tâches sont entachées d'incertitude. Nous proposons des approches hybrides qui combinent différentes méthodes de résolution, exploitant ainsi les avantages de chacune d'elles. Dans un premier temps, nous étudions le problème de job-shop flexible, un problème d'atelier qui consiste à déterminer sur quelle machine et dans quel ordre doivent être traitées les opérations. Nous proposons un schéma de décomposition du problème, ainsi qu'une méthode de décomposition de Benders basée sur la logique pour le résoudre. Nous comparons cette approche avec des méthodes de résolution basées sur des formulations directes pour les versions non préemptive et préemptive du problème. Dans un second temps, nous nous intéressons à plusieurs problèmes d'ordonnancement robuste dans lesquels les durées des tâches sont incertaines. Nous nous concentrons sur la résolution de problèmes bi-niveaux, dont l'objectif est de fixer la séquence des opérations sur chaque machine, tout en permettant aux dates de traitement des tâches de s'adapter à leurs durées effectives. Nous proposons différentes formulations directes des problèmes, ainsi que des méthodes de décomposition de Benders basées sur la logique et de génération de colonnes et de contraintes. Des résultats numériques sont présentés afin d'évaluer l'efficacité de chacune de ces méthodes.