A stabilization result with application to bipedal locomotion | IEEE Conference Publication | IEEE Xplore