SUPPRESSION OF THE WRAPPING EFFECT BY TAYLOR MODEL- BASED VERIFIED INTEGRATORS: LONG-TERM STABILIZATION BY PRECONDITIONING

• DOI: 10.12732/ijdea.v10i4.178
• Publication Date: 2011-11-20
• Authors: Kyoko Makino; Martin Berz
• Keywords: Representation; Ode

The verified integration of ranges initial conditons through ODEs faces two major challenges, namely the precise representation flow over short term, and avoidance unfavorable buildup errors in long term. Taylor model approach is very well suited to overcome problems term representation. In this paper we discuss a method based on preconditioning that stabilizes long-term evolution flow. Examples performance comparisons other approaches are given.