Underwater Robot Formation Control Based on Leader-Follower Model | IEEE Conference Publication | IEEE Xplore