Multicontact Locomotion on Transfemoral Prostheses via Hybrid System Models and Optimization-Based Control | IEEE Journals & Magazine | IEEE Xplore