dc.contributor.author | Scott, Joseph Kirk | |
dc.contributor.author | Barton, Paul I | |
dc.date.accessioned | 2017-02-24T23:45:34Z | |
dc.date.available | 2017-02-24T23:45:34Z | |
dc.date.issued | 2013-03 | |
dc.date.submitted | 2013-03 | |
dc.identifier.issn | 0029-599X | |
dc.identifier.issn | 0945-3245 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/107162 | |
dc.description.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. | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (grant CBET-0933095) | en_US |
dc.publisher | Springer Berlin Heidelberg | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1007/s00211-013-0532-x | en_US |
dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
dc.source | Springer Berlin Heidelberg | en_US |
dc.title | Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Scott, Joseph K., and Paul I. Barton. “Interval Bounds on the Solutions of Semi-Explicit Index-One DAEs. Part 2: Computation.” Numerische Mathematik 125.1 (2013): 27–60. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Chemical Engineering | en_US |
dc.contributor.mitauthor | Scott, Joseph Kirk | |
dc.contributor.mitauthor | Barton, Paul I | |
dc.relation.journal | Numerische Mathematik | en_US |
dc.eprint.version | Author's final manuscript | en_US |
dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
dc.date.updated | 2016-05-23T12:09:08Z | |
dc.language.rfc3066 | en | |
dc.rights.holder | Springer-Verlag Berlin Heidelberg | |
dspace.orderedauthors | Scott, Joseph K.; Barton, Paul I. | en_US |
dspace.embargo.terms | N | en |
dc.identifier.orcid | https://orcid.org/0000-0003-2895-9443 | |
mit.license | OPEN_ACCESS_POLICY | en_US |