3D multi-contact gait design for prostheses: Hybrid system models, virtual constraints and two-step direct collocation | IEEE Conference Publication | IEEE Xplore