Viability and predictive control for safe locomotion | IEEE Conference Publication | IEEE Xplore