Strict Lyapunov functions and feedback controls for SIR models with quarantine and vaccination