Modeling and Experimental Verification of a New Spherical Underwater Robot | IEEE Conference Publication | IEEE Xplore