An EKF-Based Fast Tube MPC Scheme for Moving Target Tracking of a Redundant Underwater Vehicle-Manipulator System | IEEE Journals & Magazine | IEEE Xplore