Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids (I)

Abstract : Timed Event Graphs (TEGs) are a graphical model for decision free and time-invariant Discrete Event Systems (DESs). To express systems with time-variant behaviors, a new form of synchronization, called partial synchronization (PS), has been introduced for TEGs. Unlike exact synchronization, where two transitions t1,t2 can only fire if both transitions are simultaneously enabled, PS of transition t1 by transition t2 means that t1 can fire only when transition t2 fires, but t1 does not influence the firing of t2. Under some assumptions, we can show that the dynamic behavior of a TEG under PS can be decomposed into a time-variant and a time-invariant part. The time-invariant part can be interpreted as a standard TEG. Moreover, it is shown that the tools introduced for standard TEGs can be used to analyze the overall system.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.univ-angers.fr/hal-02527897
Contributeur : Okina Université d'Angers <>
Soumis le : mercredi 1 avril 2020 - 15:11:58
Dernière modification le : mercredi 1 avril 2020 - 20:24:00

Fichier

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

Identifiants

Collections

Citation

Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch. Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids (I). 14th IFAC International Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.198-205, ⟨10.1016/j.ifacol.2018.06.301⟩. ⟨hal-02527897⟩

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

32