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.
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01633155
Contributor : Jacques-Henri Jourdan <>
Submitted on : Saturday, November 11, 2017 - 4:04:54 PM
Last modification on : Thursday, February 7, 2019 - 4:51:41 PM
Document(s) archivé(s) le : Monday, February 12, 2018 - 12:43:47 PM

File

goubault2014finding.pdf
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

503

Files downloads

127