Control lyapunov functions and hybrid zero dynamics | Synapse