Modeling, control and gait design of a quadruped robot with active spine towards energy efficiency | IEEE Conference Publication | IEEE Xplore