Epidemiological Models and Lyapunov Functions | Synapse