Redundancy controllable system and control of snake robots based on kinematic model | IEEE Conference Publication | IEEE Xplore