Finite-time output stabilization of the double integrator | IEEE Conference Publication | IEEE Xplore