Optimal closed-loop control of timed EventGraphs in dioids | IEEE Journals & Magazine | IEEE Xplore