Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials

Abstract : In this paper, we focus on finding positive invari-ants and Lyapunov functions to establish reachability and stability properties, respectively, of polynomial ordinary differential equations (ODEs). In general, the search for such functions is a hard problem. As a result, numerous techniques have been developed to search for polynomial differential variants that yield positive invariants and polynomial Lyapunov functions that prove stability, for systems defined by polynomial differential equations. However, the systematic search for non-polynomial functions is considered a much harder problem, and has received much less attention. In this paper, we combine ideas from computer algebra with the Sum-Of-Squares (SOS) relaxation for polynomial positive semi-definiteness to find non polynomial differential variants and Lyapunov functions for polynomial ODEs. Using the well-known concept of Darboux polynomials, we show how Darboux polynomials can, in many instances, naturally lead to specific forms of Lyapunov functions that involve rational function, logarithmic and exponential terms. We demonstrate the value of our approach by deriving non-polynomial Lyapunov functions for numerical examples drawn from the literature.
Type de document :
Communication dans un congrès
American Control Conference (ACC), Jun 2014, Portland, United States. 2014
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01633155
Contributeur : Jacques-Henri Jourdan <>
Soumis le : samedi 11 novembre 2017 - 16:04:54
Dernière modification le : jeudi 7 février 2019 - 16:51:41
Document(s) archivé(s) le : lundi 12 février 2018 - 12:43:47

Fichier

goubault2014finding.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01633155, version 1

Collections

Citation

Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan. Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials. American Control Conference (ACC), Jun 2014, Portland, United States. 2014. 〈hal-01633155〉

Partager

Métriques

Consultations de la notice

481

Téléchargements de fichiers

115