An analysis and design method for linear systems subject to actuator saturation and disturbance