Finite-time stabilization of the double integrator subject to input saturation and input delay | IEEE Journals & Magazine | IEEE Xplore