Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids (I) - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
root.pdf (412.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02527897 , version 1 (01-04-2020)

Identifiants

Citer

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⟩
20 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More