A design procedure of discrete-time tracking control systems with actuator saturation | IEEE Conference Publication | IEEE Xplore