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

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 Minax [[ γ,δ]] 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 Minax [[ γ,δ]]). Finally, the existing results on control synthesis for max-plus linear systems find a natural application in this framework.