Finite-Time Tracking Control of AUV with Model Uncertainty