Vertical control for a mechanical model of the one-legged hopping machine | IEEE Conference Publication | IEEE Xplore