Extended State Observer-Based Distributed Dual Closed-Loop Model Predictive Formation Control for Multi-AUV System | IEEE Conference Publication | IEEE Xplore