Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
File(s)Houska_Villanueva_Chachuat_15(SINUM).pdf (734.01 KB)
Published version
Author(s)
Houska, B
Villanueva, ME
Chachuat, B
Type
Journal Article
Abstract
Many set-valued integration algorithms for parametric ordinary differential equations (ODEs) implement a combination of Taylor series expansion with either interval arithmetic or Taylor model arithmetic. Due to the wrapping effect, the diameter of the solution-set enclosures computed with these algorithms typically diverges to infinity on finite integration horizons, even though the ODE trajectories themselves may be asymptotically stable. This paper starts by describing a new discretized set-valued integration algorithm that uses a predictor-validation approach to propagate generic affine set-parameterizations, whose images are guaranteed to enclose the ODE solution set. Sufficient conditions are then derived for this algorithm to be locally asymptotically stable, in the sense that the computed enclosures are guaranteed to remain stable on infinite time horizons when applied to a dynamic system in the neighborhood of a locally asymptotically stable periodic orbit (or equilibrium point). The key requirement here is quadratic Hausdorff convergence of function extensions in the chosen affine set-parameterization, which is proved to be the case, for instance, for Taylor models with ellipsoidal remainders. These stability properties are illustrated with the case study of a cubic oscillator system.
Date Issued
2015-10-20
Date Acceptance
2015-08-03
Citation
Siam Journal of Numerical Analysis, 2015, 53 (5), pp.2307-2328
ISSN
0036-1429
Publisher
Siam Publication
Start Page
2307
End Page
2328
Journal / Book Title
Siam Journal of Numerical Analysis
Volume
53
Issue
5
Copyright Statement
© 2015, Society for Industrial and Applied Mathematics
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000364456100009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Subjects
Science & Technology
Physical Sciences
Mathematics, Applied
Mathematics
ordinary differential equations
reachability analysis
affine set-parameterization
set-valued integration
convergence analysis
stability analysis
Numerical & Computational Mathematics
Numerical And Computational Mathematics
Publication Status
Published