Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091208171> ?p ?o ?g. }
- W2091208171 abstract "In this paper, we focus on finding positive invariants 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." @default.
- W2091208171 created "2016-06-24" @default.
- W2091208171 creator A5031488505 @default.
- W2091208171 creator A5040467057 @default.
- W2091208171 creator A5042626840 @default.
- W2091208171 creator A5063584164 @default.
- W2091208171 date "2014-06-01" @default.
- W2091208171 modified "2023-10-05" @default.
- W2091208171 title "Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials" @default.
- W2091208171 cites W1539640572 @default.
- W2091208171 cites W1559197676 @default.
- W2091208171 cites W1967184028 @default.
- W2091208171 cites W1977444293 @default.
- W2091208171 cites W1983420147 @default.
- W2091208171 cites W1995434986 @default.
- W2091208171 cites W2006116648 @default.
- W2091208171 cites W2021313930 @default.
- W2091208171 cites W2028196352 @default.
- W2091208171 cites W2044711464 @default.
- W2091208171 cites W2046335651 @default.
- W2091208171 cites W2090093259 @default.
- W2091208171 cites W2112407936 @default.
- W2091208171 cites W2154496368 @default.
- W2091208171 cites W226431050 @default.
- W2091208171 cites W2312849699 @default.
- W2091208171 cites W3102593879 @default.
- W2091208171 cites W3210839039 @default.
- W2091208171 cites W4295124794 @default.
- W2091208171 cites W594548925 @default.
- W2091208171 doi "https://doi.org/10.1109/acc.2014.6859330" @default.
- W2091208171 hasPublicationYear "2014" @default.
- W2091208171 type Work @default.
- W2091208171 sameAs 2091208171 @default.
- W2091208171 citedByCount "17" @default.
- W2091208171 countsByYear W20912081712014 @default.
- W2091208171 countsByYear W20912081712015 @default.
- W2091208171 countsByYear W20912081712016 @default.
- W2091208171 countsByYear W20912081712017 @default.
- W2091208171 countsByYear W20912081712018 @default.
- W2091208171 countsByYear W20912081712020 @default.
- W2091208171 countsByYear W20912081712021 @default.
- W2091208171 countsByYear W20912081712022 @default.
- W2091208171 crossrefType "proceedings-article" @default.
- W2091208171 hasAuthorship W2091208171A5031488505 @default.
- W2091208171 hasAuthorship W2091208171A5040467057 @default.
- W2091208171 hasAuthorship W2091208171A5042626840 @default.
- W2091208171 hasAuthorship W2091208171A5063584164 @default.
- W2091208171 hasBestOaLocation W20912081712 @default.
- W2091208171 hasConcept C101044782 @default.
- W2091208171 hasConcept C120501884 @default.
- W2091208171 hasConcept C121332964 @default.
- W2091208171 hasConcept C134306372 @default.
- W2091208171 hasConcept C15744967 @default.
- W2091208171 hasConcept C158622935 @default.
- W2091208171 hasConcept C163635466 @default.
- W2091208171 hasConcept C170412648 @default.
- W2091208171 hasConcept C17103678 @default.
- W2091208171 hasConcept C191544260 @default.
- W2091208171 hasConcept C202444582 @default.
- W2091208171 hasConcept C2776029896 @default.
- W2091208171 hasConcept C28826006 @default.
- W2091208171 hasConcept C33923547 @default.
- W2091208171 hasConcept C37935115 @default.
- W2091208171 hasConcept C45025165 @default.
- W2091208171 hasConcept C51544822 @default.
- W2091208171 hasConcept C60640748 @default.
- W2091208171 hasConcept C62520636 @default.
- W2091208171 hasConcept C77805123 @default.
- W2091208171 hasConcept C78045399 @default.
- W2091208171 hasConcept C90119067 @default.
- W2091208171 hasConcept C97395012 @default.
- W2091208171 hasConceptScore W2091208171C101044782 @default.
- W2091208171 hasConceptScore W2091208171C120501884 @default.
- W2091208171 hasConceptScore W2091208171C121332964 @default.
- W2091208171 hasConceptScore W2091208171C134306372 @default.
- W2091208171 hasConceptScore W2091208171C15744967 @default.
- W2091208171 hasConceptScore W2091208171C158622935 @default.
- W2091208171 hasConceptScore W2091208171C163635466 @default.
- W2091208171 hasConceptScore W2091208171C170412648 @default.
- W2091208171 hasConceptScore W2091208171C17103678 @default.
- W2091208171 hasConceptScore W2091208171C191544260 @default.
- W2091208171 hasConceptScore W2091208171C202444582 @default.
- W2091208171 hasConceptScore W2091208171C2776029896 @default.
- W2091208171 hasConceptScore W2091208171C28826006 @default.
- W2091208171 hasConceptScore W2091208171C33923547 @default.
- W2091208171 hasConceptScore W2091208171C37935115 @default.
- W2091208171 hasConceptScore W2091208171C45025165 @default.
- W2091208171 hasConceptScore W2091208171C51544822 @default.
- W2091208171 hasConceptScore W2091208171C60640748 @default.
- W2091208171 hasConceptScore W2091208171C62520636 @default.
- W2091208171 hasConceptScore W2091208171C77805123 @default.
- W2091208171 hasConceptScore W2091208171C78045399 @default.
- W2091208171 hasConceptScore W2091208171C90119067 @default.
- W2091208171 hasConceptScore W2091208171C97395012 @default.
- W2091208171 hasLocation W20912081711 @default.
- W2091208171 hasLocation W20912081712 @default.
- W2091208171 hasLocation W20912081713 @default.
- W2091208171 hasLocation W20912081714 @default.
- W2091208171 hasLocation W20912081715 @default.
- W2091208171 hasLocation W20912081716 @default.