Reconfiguration dynamique d'une ligne d'assemblage par recherche d'atteignabilité sur un réseau d'automates communicants - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Reconfiguration dynamique d'une ligne d'assemblage par recherche d'atteignabilité sur un réseau d'automates communicants

André Thomas
Thierry Munier
  • Fonction : Auteur

Résumé

Cet article propose une méthode s'appuyant sur la recherche d'atteignabilité sur un réseau d'automates communicants. Celle-ci est utilisée pour rééquilibrer dynamiquement une ligne d'assemblage lorsqu'une perturbation survient. Le but de la méthode est de réallouer dynamiquement les tâches sur les postes de travail de cette ligne. Un réseau d'automates est utilisé pour modéliser le système et une solution est obtenue par la trace fournie par le logiciel de model-checking effectuant la recherche d'atteignabilité. La méthode est illustrée sur un cas d'étude.
Fichier principal
Vignette du fichier
HAL_MOSIM'14_Reconfiguration_Dynamique.pdf (203.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01094668 , version 1 (12-12-2014)

Identifiants

  • HAL Id : hal-01094668 , version 1

Citer

Antoine Manceaux, Hind Bril El-Haouzi, André Thomas, Jean-François Pétin, Thierry Munier. Reconfiguration dynamique d'une ligne d'assemblage par recherche d'atteignabilité sur un réseau d'automates communicants. 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France. ⟨hal-01094668⟩
156 Consultations
556 Téléchargements

Partager

Gmail Facebook X LinkedIn More