Observer-Based Neural Formation Control of Leader–Follower AUVs With Input Saturation