Slip Control System for a Deep-Sea Mining Machine | IEEE Journals & Magazine | IEEE Xplore