Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids

Abstract : The class of timed event graphs (TEGs) has widely been studied thanks to an approach known as the theory of max-plus linear systems. In particular, the modeling of TEGs via formal power series in a dioid called Min ax [[ γ,δ]] has led to input-output representations on which some model matching control problems have been solved. Our work attempts to extend the class of systems for which a similar control synthesis is possible. To this end, a subclass of timed Petri nets that we call weight-balanced timed event graphs (WBTEGs) will be first defined. They can model synchronization and delays (WBTEGs contain TEGs) and can also describe dynamic phenomena such as batching and event duplications (unbatching). Their behavior is described by rational compositions (sum, product and Kleene star) of four elementary operators γ n , δ t , μm, and βb on a dioid of formal power series denoted ε* [[ δ]]. The main feature is that the transfer series of WBTEGs have a property of ultimate periodicity (such as rational series in M in ax [[ γ,δ]]). Finally, the existing results on control synthesis for max-plus linear systems find a natural application in this framework.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02536906
Contributeur : Marie-Françoise Gerard <>
Soumis le : mercredi 8 avril 2020 - 14:26:29
Dernière modification le : mercredi 8 avril 2020 - 14:27:24

Identifiants

Collections

Citation

Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond. Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, 59 (5), pp.1219-1231. ⟨10.1109/TAC.2013.2294822⟩. ⟨hal-02536906⟩

Partager

Métriques

Consultations de la notice

20