Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Modeling manufacturing systems in a dioid framework

Abstract : This chapter discusses the timed event graphs (TEGs) a suitable tool for the modelling of manufacturing systems characterized by synchronization and delay phenomena but devoid of choices. Furthermore, TEGs have a linear representation in an algebraic structure called idempotent semirings. The chapter introduces several idempotent semirings, for example, max-plus algebra min-plus algebra and minax and demonstrates with several examples. As many manufacturing systems and the operation are subject to additional constraints, the standard notion of linear systems in dioids has been extended. Using the approach, it is possible to model minimal and maximal operation times, that is, time window constraints, as well as minimal and maximal numbers of work in progress, for example, in systems operating with a nested schedule. The chapter shows that the approach is relatively robust to mistakes in the modelling procedure. More precisely, if unfeasible constraints are requested, the resulting system will indicate that some transitions are blocked from the beginning.
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger
Contributeur : Marie-Françoise Gerard Connectez-vous pour contacter le contributeur
Soumis le : mardi 7 avril 2020 - 16:02:49
Dernière modification le : vendredi 19 novembre 2021 - 14:46:13


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-02535458, version 1



Laurent Hardouin, Thomas Brunsch, Jörg Raisch. Modeling manufacturing systems in a dioid framework. Javier Campos, Carla Seatzu, Xiaolan Xie. Formal Methods in Manufacturing, CRC Press, 2017, 9781138074293. ⟨hal-02535458⟩



Consultations de la notice


Téléchargements de fichiers