Simultaneous global external and internal stabilization of linear time-invariant discrete-time systems subject to actuator saturation | IEEE Conference Publication | IEEE Xplore