Receding horizon formation control of nonholonomic autonomous underwater vehicles | IEEE Conference Publication | IEEE Xplore