Optimal control for timed event graphs under partial synchronization
Xavier David-Henriet, Laurent Hardouin, Jörg Raisch, Bertrand Cottenceau · 2013
Timed event graphs (TEGs) are a subclass of timed Petri nets suitable to model decision-free timed discrete event systems. In classical TEGs, exact synchronization of two transitions T1and T2is available by requiring that transitions T1and T2fire simultaneously. In this paper, a new sort of synchronization, namely partial synchronization, is introduced: transition T2has to fire when transition T1fires, but transition T1is not influenced by transition T2. Under some assumptions, optimal control, already available for classical TEGs, is extended to TEGs under partial synchronization.