Robust controller design for timed event graphs in dioids

This paper deals with feedback controller synthesis for timed event graphs (TEG) in dioids where the number of initial tokens and time delays are only known to belong to intervals. The synthesis presented here is mainly based on dioid, interval analysis and residuation theory. A dioid of intervals is introduced and used to establish a linear model of uncertain TEG. It is shown how to apply the residuation theory over this new algebraic structure. Then, a robust feedback controller synthesis is proposed for these systems.