Asymptotically stable walking for biped robots: analysis via systems with impulse effects | IEEE Journals & Magazine | IEEE Xplore