Simulation of semi-passive dynamic walking for humanoid robots | IEEE Conference Publication | IEEE Xplore