This article presents a new method for computing Taylor models of the solutions of parametric ODEs, based on the theory of differential inequalities. Rather than bounding the solutions directly using interval analysis, the idea is to bound the remainder term in a Taylor series expansion of these solutions, which leads to a high-order convergence rate. A practical procedure for propagating the Taylor model estimators over a given time horizon is described. The methodology is illustrated by the case study of a Lotka-Volterra system.

Bounding the Solutions of Parametric ODEs

Villanueva, Mario
2012-01-01

Abstract

This article presents a new method for computing Taylor models of the solutions of parametric ODEs, based on the theory of differential inequalities. Rather than bounding the solutions directly using interval analysis, the idea is to bound the remainder term in a Taylor series expansion of these solutions, which leads to a high-order convergence rate. A practical procedure for propagating the Taylor model estimators over a given time horizon is described. The methodology is illustrated by the case study of a Lotka-Volterra system.
9780444594310
Interval analysis, Taylor models, Differential inequalities, Ordinary differential equations, Global optimization
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/21501
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
social impact