Receding horizon output feedback control for linear systems with input saturation | IEEE Conference Publication | IEEE Xplore