Formation coordinated control for multi-AUV based on spatial curve path tracking | IEEE Conference Publication | IEEE Xplore