An AUV Formation Control Method Based on Distributed Nonlinear Model Prediction | IEEE Conference Publication | IEEE Xplore