Application of LaSalle’s Invariance Principle on Polynomial Differential Equations Using Quantifier Elimination
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3103887
Abstract: LaSalle’s invariance principle is a commonly used extension of Lyapunov’s second method to study asymptotic stability of nonlinear systems. If the system can be written in polynomial form, the examination can be automated using algebraic… read more here.
Keywords: lasalle invariance; invariance principle; quantifier elimination;