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

DocumentFichier
Fichier pdf chargé le 14/06/2018 à 17:17:23
Accès libre
(version auteur)
fichier
TitreModel Decomposition of Timed Event Graphs under Partial Synchronization in Dioids (I)
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2018
LangueAnglais
Date du colloque30/05-01/6 2018
Titre du colloque 14th IFAC International Workshop on Discrete Event Systems
Titre des actes ou de la revueIFAC-PapersOnLine
Numéro7
Volume51
Pagination198-205
AuteurTrunk, Johannes , Cottenceau, Bertrand , Hardouin, Laurent , Raisch, Jörg
PaysItalie
VilleSorrento
Mots-clésdiscrete event systems, Max-plus algebra, synchronization, timed event graphs
Résumé en anglais

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.

URL de la noticehttp://okina.univ-angers.fr/publications/ua17052
DOI10.1016/j.ifacol.2018.06.301
Lien vers le document en ligne

https://www.sciencedirect.com/science/article/pii/S2405896318306311?via%...