Lyapunov stability theory of nonsmooth systems | Synapse