Quadratic-type Lyapunov functions for singularly perturbed systems | Synapse