Thèse soutenue

Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Sara Himmiche
Direction : Jean-François PetinAlexis Aubry
Type : Thèse de doctorat
Discipline(s) : Automatique, Traitement du signal et des images, Génie informatique
Date : Soutenance le 07/12/2020
Etablissement(s) : Université de Lorraine
Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
Partenaire(s) de recherche : Laboratoire : Centre de recherche en automatique (Nancy)
Jury : Président / Présidente : Sébastien Lahaye
Examinateurs / Examinatrices : Jean-François Petin, Alexis Aubry, Mireille Jacomino, Dimitri Lefebvre, David Lemoine, Marie Duflot, Pascale Marangé
Rapporteurs / Rapporteuses : Mireille Jacomino, Dimitri Lefebvre

Résumé

FR  |  
EN

L’objectif principal de cette thèse est de proposer une approche permettant de considérer les perturbations dans le cadre d’un problème d’ordonnancement de la production. L’approche proposée permet de mettre l’accent sur l’importance de l’évaluation de la performance d’un ordonnancement dans un cadre perturbé. L’ordonnancement de la production est un problème important et commun au monde de l’industrie et de la recherche scientifique. Dans le but de proposer des solutions d’ordonnancement, les méthodes proposées proposent des ordonnancements optimaux permettant de minimiser ou maximiser un critère défini. Cet objectif est certes adopté depuis plusieurs années mais ne répond plus tout à fait à la dynamique des ateliers de production. La prise en compte des perturbations est donc un enjeu majeur dans la problématique de l’ordonnancement. Pour répondre à cet enjeu, nous proposons, de définir la performance et l’approche à adopter pour traiter l’impact des perturbations sur l’ordonnancement. La robustesse est alors identifiée comme étant une performance adaptée pour évaluer cet impact. Plus encore, spécifier la robustesse permet d’identifier un cadre formel pour spécifier les différents problèmes de robustesse auxquels l’ordonnancement doit faire face. Pour traiter le problème de la robustesse d’un ordonnancement, nous proposons un processus d’évaluation basé sur les modèles de systèmes à événements discrets. Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d’un ordonnancement perturbé. L’évolution des systèmes de production et leurs contraintes de flexibilité et d’agilité exige que l’approche d’évaluation soit également flexible et adaptable. Le processus proposé dans le cadre de cette thèse permet non seulement de s’adapter à plusieurs problèmes d’atelier de production mais également à prendre en compte des situations de décisions réelles dans un contexte industriel.