Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation |
| |
Authors: | Joseph K. Scott Paul I. Barton |
| |
Affiliation: | 1. Massachusetts Institute of Technology, 77 Massachusetts Ave 66-363, Cambridge, MA, 02139, USA 2. Massachusetts Institute of Technology, 77 Massachusetts Ave 66-464, Cambridge, MA, 02139, USA
|
| |
Abstract: | This article presents two methods for computing interval bounds on the solutions of nonlinear, semi-explicit, index-one differential-algebraic equations (DAEs). Part 1 presents theoretical developments, while Part 2 discusses implementation and numerical examples. The primary theoretical contributions are (1) an interval inclusion test for existence and uniqueness of a solution, and (2) sufficient conditions, in terms of differential inequalities, for two functions to describe componentwise upper and lower bounds on this solution, point-wise in the independent variable. The first proposed method applies these results sequentially in a two-phase algorithm analogous to validated integration methods for ordinary differential equations (ODEs). The second method unifies these steps to characterize bounds as the solutions of an auxiliary system of DAEs. Efficient implementations of both are described using interval computations and demonstrated on numerical examples. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|