Asymptotically stable walking for biped robots: analysis via systems with impulse effects | Synapse