Discovering polynomial Lyapunov functions for continuous dynamical systems

Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia. Discovering polynomial Lyapunov functions for continuous dynamical systems. Journal of Symbolic Computation, 58:41-63, 2013. [doi]

Abstract

Abstract is missing.