Discrete Mechanics and Optimal Control for Passive Walking with Foot Slippage | IEEE Conference Publication | IEEE Xplore