Skip to Main content Skip to Navigation
Journal articles

Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation

Marianne Souaiby 1 Aneel Tanwani 1 Didier Henrion 1
1 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This article establishes the existence of a class of Lyapunov functions for analyzing the stability of a class of state-constrained systems, and it describes algorithms for their numerical computation. The system model consists of a differential equation coupled with a set-valued relation which introduces discontinuities in the vector field at the boundaries of the constraint set. In particular, the set-valued relation is described by the subdifferential of the indicator function of a closed convex cone, which results in a cone-complementarity system. The question of analyzing stability of such systems is addressed by constructing cone-copositive Lyapunov functions. As a first analytical result, we show that exponentially stable complementarity systems always admit a continuously differentiable cone-copositive Lyapunov function. Putting some more structure on the system vector field, such as homogeneity, we can show that the aforementioned functions can be approximated by a rational function of cone-copositive homogeneous polynomials. This later class of functions is seen to be particularly amenable for numerical computation as we provide two classes of algorithms for precisely that purpose. These algorithms consist of a hierarchy of either linear or semidefinite optimization problems for computing the desired copositive Lyapunov function. Some examples are given to illustrate our approach.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02565283
Contributor : Aneel Tanwani Connect in order to contact the contributor
Submitted on : Friday, February 19, 2021 - 12:37:40 AM
Last modification on : Tuesday, October 19, 2021 - 11:17:58 PM

File

sosCertEVIs.pdf
Files produced by the author(s)

Identifiers

Citation

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAC.2021.3061557⟩. ⟨hal-02565283v2⟩

Share

Metrics

Record views

489

Files downloads

181