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

https://hal.univ-angers.fr/hal-02535458
Contributeur : Marie-Françoise Gerard <>
Soumis le : mardi 7 avril 2020 - 16:02:49
Dernière modification le : jeudi 9 avril 2020 - 13:35:48

Fichier

dioid_modeling.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02535458, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

24