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

https://hal.univ-angers.fr/hal-03285188
Contributeur : Okina Université d'Angers <>
Soumis le : mardi 13 juillet 2021 - 10:48:11
Dernière modification le : mercredi 14 juillet 2021 - 03:43:28

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

3