Lyapunov-Based Formation Control of Underwater Robots | Synapse