Design, Modeling, And Control Of Efficient Dynamic Legged Systems