A control Lyapunov function approach to multi-agent coordination | Synapse