Dynamics modeling and simulation for a gliding robotic dolphin | IEEE Conference Publication | IEEE Xplore