Semi-global stabilization with guaranteed regional performance of linear systems subject to actuator saturation | IEEE Conference Publication | IEEE Xplore