Passivity-based formation control of autonomous underwater vehicles | Synapse