A graph-theoretic approach to the method of global Lyapunov functions | Synapse