A dynamic-programming-type technique for the control of timed discrete-event systems | IEEE Conference Publication | IEEE Xplore