On the algebraization of asymptotic stability analysis for differential systems

Zhikun She,Ranran Yan,Bai Xue,Zhiming Zheng
2009-01-01
Abstract:In this paper, we analyze the asymptotic stability of autonomous and non-autonomous differential systems by verifying the existence of Lyapunov functions. We start with an algebraic approach for verifying the existence of a Lyapunov function in quadratic form for autonomous systems by first formulating a semi-algebraic system and then solving such a semi-algebraic system by a semi-algebraic system solver. Then, this algebraic approach is extended to parametric autonomous systems and (parametric) non-autonomous systems by introducing quantifiers during algebraization. Experiments on some examples in the literature show the success of our approach in practice.
What problem does this paper attempt to address?