Recoverability-Based Optimal Control for a Bipedal Walking Model With Foot Slip | IEEE Conference Publication | IEEE Xplore