A control Lyapunov function approach to multiagent coordination | Synapse