Interval analysis and dioid: application to robust controller design for timed event graphs (Q1765173)

This paper deals with feedback controller synthesis for timed event graphs, where the number of initial tokens and time delays are only known to belong to intervals. The existence and the computation of a robust controller for uncertain systems that can be described by parametric models are discussed. Each controller is computed in order to guarantee that a quantification of the closed-loop system behavior is greater than the lower bound of a reference model set and is lower than the upper bound of this set.