Observer-Based Neural Formation Control of Leader–Follower AUVs With Input Saturation | IEEE Journals & Magazine | IEEE Xplore