Discrete mechanics and optimal control applied to the compass gait biped | IEEE Conference Publication | IEEE Xplore