Tube MPC-Based Tracking Control of AUVs Using Contraction Metric | IEEE Conference Publication | IEEE Xplore