Conditions for Global Asymptotic Stabilizability of the Double Integrator System with Output Saturation | IEEE Conference Publication | IEEE Xplore