Design of prediction governors for linear systems with input saturation | IEEE Conference Publication | IEEE Xplore