Receding Horizon Control for a Class of Discrete Event Systems with Real-Time Constraints | IEEE Conference Publication | IEEE Xplore