Simulation of ODEs and DAEs in ValEncIA-IVP
Andreas Rauh, Ekaterina Auer · 2010
ValEncIA-IVP is a veried solver for initial value problems for sets of ordinary dierential equations which determines guaranteed enclosures of all reachable states. In this paper, we present its new features which allow for a wider application domain. They also improve the performance of ValEncIA-IVP. Especially for the simulation of asymptotically stable systems, we present a new exponential enclosure technique which describes contracting state enclosures. Besides, computation of dierential sensitiv- ities as well as veried solution approaches for sets of dierential-algeb raic