Receding Horizon Control for a Class of Discrete-Event Systems With Real-Time Constraints | IEEE Journals & Magazine | IEEE Xplore