Modeling and Control of Underwater Mine Explorer Robot UX-1 | IEEE Journals & Magazine | IEEE Xplore