Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques

Résumé : Les modèles et outils des SystèmesSystèmes`Systèmesà Evénéments Discrets (SED) ont montré leur apport et leur efficacité pour la modélisation et la résolution deprobì emes d'ordonnancement dans le domaine des systèmes manufacturiers de production. Leur principal atout réside dans leur capacitécapacité`capacitéà appréhender naturellement les dynamiques sous-jacentes aux ressources de production ainsi que les logiques de configuration des ateliers (Job-shop, Flow-shop, Open-shop, hybrides...). De plus, les extensions stochastiques des modèles de SED offrent d'intéressantes perspectives pour la prise en compte de l'incertain en ordonnancement : incertitudes sur les ressources (durée opératoires, aléas de fonctionnement, pannes...) mais aussi sur la de-mande (variabilité importante des produits, personnalisation de masse...). L'objectif de cet article est de démontrer la faisabilité d'une approche basée sur les automates tem-porisés stochastiques et sur des techniques de model-checking statistique pourévaluerpourévaluer la robustesse d'un ordonnancement facè a des aléas en se restreignant, dans le cadre de cettécetté etude, aux incertitudes sur les durées opératoires.
Type de document :
Communication dans un congrès
11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France. 〈http://www.lsis.org/msr2017〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01652138
Contributeur : Marie Duflot <>
Soumis le : mercredi 29 novembre 2017 - 23:20:54
Dernière modification le : jeudi 11 janvier 2018 - 06:25:25

Fichier

himmiche-al-msr2017-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01652138, version 1

Citation

Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot, Jean-François Pétin. Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques. 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France. 〈http://www.lsis.org/msr2017〉. 〈hal-01652138〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

29