Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids - Université d'Angers Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2014

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-02536906 , version 1 (08-04-2020)

Identifiants

Citer

Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond. Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids. IEEE Transactions on Automatic Control, 2014, 59 (5), pp.1219-1231. ⟨10.1109/TAC.2013.2294822⟩. ⟨hal-02536906⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More