Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Modelling Manufacturing Systems in a Dioid Framework

Abstract : Many manufacturing systems are subject to synchronization phenomenabut do not include choice. This class of manufacturing systems can be describedas timed event graphs, which have a linear representation in an algebraic structurecalled dioids. Among the best known dioids is the max-plus algebra; there are, how-ever, other dioids which, depending on the specific manufacturing system to be mod-eled, may be preferable. This chapter introduces basic notions of dioid theory andprovides simple illustrative examples. Furthermore, the notion of standard dioids isextended such that minimal and maximal operation times as well as minimal andmaximal numbers of parts being processed simultaneously can be modeled. Usingthis extension it is possible to model manufacturing systems with nested schedules,i.e., manufacturing processes in which parts may visit the same resource more thanonce and in which some activities related to partkmay be executed prior to activi-ties related to partk−1 on the same resource. The resulting model of manufacturingsystems may then be used to synthesize various forms of feedback control.
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 13 juillet 2021 - 10:48:11
Dernière modification le : vendredi 19 novembre 2021 - 14:46:13


  • HAL Id : hal-03285188, version 1
  • OKINA : ua3096



Thomas Brunsch, Laurent Hardouin, Jörg Raisch. Modelling Manufacturing Systems in a Dioid Framework. Formal Methods in Manufacturing, CRC Press, 2014, 9781138074293. ⟨hal-03285188⟩



Consultations de la notice