Computation and verification of contraction metrics for exponentially stable equilibria

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS

卷:390

Article

Giesl, Peter¹  Hafstein, Sigurdur²  Mehrabinezhad, Iman² 

[1] Univ Sussex, Dept Math, Falmer BN1 9QH, England

[2] Univ Iceland, Fac Phys Sci, Dunhagi 5, IS-107 Reykjavik, Iceland

关键词: Contraction metric;    Lyapunov stability;    Basin of attraction;    Radial basis functions;    Reproducing kernel Hilbert spaces;    Continuous piecewise affine interpolation;   

DOI  :  10.1016/j.cam.2020.113332

来源: Elsevier

【 摘 要 】

The determination of exponentially stable equilibria and their basin of attraction for a dynamical system given by a general autonomous ordinary differential equation can be achieved by means of a contraction metric. A contraction metric is a Riemannian metric with respect to which the distance between adjacent solutions decreases as time increases. The Riemannian metric can be expressed by a matrix-valued function on the phase space. The determination of a contraction metric can be achieved by approximately solving a matrix-valued partial differential equation by mesh-free collocation using Radial Basis Functions (RBF). However, so far no rigorous verification that the computed metric is indeed a contraction metric has been provided. In this paper, we combine the RBF method to compute a contraction metric with the CPA method to rigorously verify it. In particular, the computed contraction metric is interpolated by a continuous piecewise affine (CPA) metric at the vertices of a fixed triangulation, and by checking finitely many inequalities, we can verify that the interpolation is a contraction metric. Moreover, we show that, using sufficiently dense collocation points and a sufficiently fine triangulation, we always succeed with the construction and verification. We apply the method to two examples. (C) 2020 Elsevier B.V. All rights reserved.

【 授权许可】

Free