Differentiable and piecewise differentiable gaits for snake robots | IEEE Conference Publication | IEEE Xplore