CNLN: SIR Epidemic Model

From:
Kermack, W.O., McKendrick, A.G.: A contribution to the mathematical theory of epidemics.
Dreossi T., Dang T., Piazza C.: Reachability Computation for Polynomial Dynamical Systems.

Dynamics:
s' = -beta*s*i/N
i' = beta*s*i/N - gamma*r
r' = gamma*i

Parameters:
beta = 0.34
gamma = 0.05
N = 1.0
Delta = 0.1 (for Euclid discretization)

Initial set:
s(0) \in [0.79, 0.80]
i(0) \in [0.19, 0.20]
r(0) \in [0.00, 0.00]