Model-based predictive bipedal walking stabilization | IEEE Conference Publication | IEEE Xplore