Verified Solution Method for Population Epidemiology Models with Uncertainty
From MaRDI portal
Publication:2930567
DOI10.2478/v10006-009-0040-4zbMath1300.92098MaRDI QIDQ2930567
Joshua A. Enszer, Mark A. Stadtherr
Publication date: 19 November 2014
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10006-009-0040-4
interval analysis; ordinary differential equations; nonlinear dynamics; epidemiology; verified computing
92D30: Epidemiology
93C10: Nonlinear systems in control theory
93C41: Control/observation systems with incomplete information
93C15: Control/observation systems governed by ordinary differential equations
Related Items
An unconditionally positive and global stability preserving NSFD scheme for an epidemic model with vaccination, Verified Solution of Nonlinear Dynamic Models in Epidemiology
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models
- Qualitative analyses of communicable disease models
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Efficient control of the dependency problem based on Taylor model methods
- Rigorous global search: continuous problems
- Hopf bifurcation in epidemic models with a latent period and nonpermanent immunity
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- Validated solutions of initial value problems for ordinary differential equations
- Global dynamics of a SEIR model with varying total population size
- Taylor forms -- use and limits.
- Comparison of deterministic and stochastic SIS and SIR models in discrete time
- Validated solutions of initial value problems for parametric ODEs
- Interval Methods for Systems of Equations
- On Taylor Model Based Integration of ODEs
- Global stability of an SEIS epidemic model with recruitment and a varying total population size
