Modeling and propulsion methods of underwater snake robots | IEEE Conference Publication | IEEE Xplore