Design, Modeling and Control of a Spherical Autonomous Underwater Vehicle for Mine Exploration | IEEE Conference Publication | IEEE Xplore