Lyapunov-Based Sufficient Conditions for Exponential Stability in Hybrid Systems | Synapse