Verified Solution Method for Population Epidemiology Models with Uncertainty

DOI10.2478/v10006-009-0040-4zbMath1300.92098OpenAlexW2098978323MaRDI 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

zbMATH Keywords

interval analysisordinary differential equationsnonlinear dynamicsepidemiologyverified computing

Mathematics Subject Classification ID

Epidemiology (92D30) Nonlinear systems in control theory (93C10) Control/observation systems with incomplete information (93C41) Control/observation systems governed by ordinary differential equations (93C15)

Related Items

Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ An unconditionally positive and global stability preserving NSFD scheme for an epidemic model with vaccination ⋮ Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue

Uses Software

• INTOPT_90

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