2010
DOI: 10.1007/978-3-642-12110-4_88
|View full text |Cite
|
Sign up to set email alerts
|

Verified Solution of Nonlinear Dynamic Models in Epidemiology

Abstract: Epidemiological models can be used to study the impact of an infection within a population. These models often involve parameters that are not known with certainty. Using a method for the verified solution of nonlinear dynamic models we can bound the disease trajectories that are possible for given bounds on the uncertain parameters. The method used is based on the use of an interval Taylor series to represent dependence on time and the use of Taylor models to represent dependence on uncertain parameters and/o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 16 publications
0
1
0
Order By: Relevance
“…Therefore, there have been efforts to find verified (i.e., mathematically and computationally guaranteed) solutions of such systems of ODEs. For example, Enszer and Stadtherr 18 considered continuous epidemiological models that are systems of ODEs and formulated them as initial value problems (IVPs). They used interval methods (also called validated or verified methods) to find rigorous bounds on the solution of these systems of ODEs.…”
Section: Literature Reviewmentioning
confidence: 99%
“…Therefore, there have been efforts to find verified (i.e., mathematically and computationally guaranteed) solutions of such systems of ODEs. For example, Enszer and Stadtherr 18 considered continuous epidemiological models that are systems of ODEs and formulated them as initial value problems (IVPs). They used interval methods (also called validated or verified methods) to find rigorous bounds on the solution of these systems of ODEs.…”
Section: Literature Reviewmentioning
confidence: 99%