Moving target following control of multi-AUVs formation based on rigid virtual leader-follower under ocean current | IEEE Conference Publication | IEEE Xplore