Finite time stabilization of a perturbed double integrator - Part II: applications to bipedal locomotion | IEEE Conference Publication | IEEE Xplore