Convergence Analysis on Multi-AUV Systems With Leader-Follower Architecture | IEEE Journals & Magazine | IEEE Xplore