Distributed Path-Following Formation Control of Multi-AUV Based on Graph Laplacian | IEEE Conference Publication | IEEE Xplore