Uniformly Regular Triangulations for Parameterizing Lyapunov Functions

Peter Giesl, Sigurdur Hafstein

2021

Abstract

The computation of Lyapunov functions to determine the basins of attraction of equilibria in dynamical systems can be achieved using linear programming. In particular, we consider a CPA (continuous piecewise affine) Lyapunov function, which can be fully described by its values at the vertices of a given triangulation. The method is guaranteed to find a CPA Lyapunov function, if a sequence of finer and finer triangulations with a bound on their degeneracy is considered. Hence, the notion of (h,d)-bounded triangulations was introduced, where h is a bound on the diameter of each simplex and d a bound on the degeneracy, expressed by the so-called shape-matrices of the simplices. However, the shape-matrix, and thus the degeneracy, depends on the ordering of the vertices in each simplex. In this paper, we first remove the rather unnatural dependency of the degeneracy on the ordering of the vertices and show that an (h,d)-bounded triangulation, of which the ordering of the vertices is changed, is still (h,d∗)-bounded, where d∗ is a function of d, h, and the dimension of the system. Furthermore, we express the degeneracy in terms of the condition number, which is a well-studied quantity.

Paper Citation

in Harvard Style

Giesl P. and Hafstein S. (2021). Uniformly Regular Triangulations for Parameterizing Lyapunov Functions. In Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-522-7, pages 549-557. DOI: 10.5220/0010522405490557

in Bibtex Style

@conference{icinco21,
author={Peter Giesl and Sigurdur Hafstein},
title={Uniformly Regular Triangulations for Parameterizing Lyapunov Functions},
booktitle={Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2021},
pages={549-557},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010522405490557},
isbn={978-989-758-522-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - Uniformly Regular Triangulations for Parameterizing Lyapunov Functions
SN - 978-989-758-522-7
AU - Giesl P.
AU - Hafstein S.
PY - 2021
SP - 549
EP - 557
DO - 10.5220/0010522405490557