Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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.
Fichier principal
Vignette du fichier
goubault2014finding.pdf (261.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01633155 , version 1 (11-11-2017)

Identifiants

  • HAL Id : hal-01633155 , version 1

Citer

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. ⟨hal-01633155⟩
335 Consultations
221 Téléchargements

Partager

Gmail Facebook X LinkedIn More