A backstepping approach for the formation control of multiple autonomous underwater vehicles using a leader–follower strategy | Synapse