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