Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

Jiang Liu 0009, Naijun Zhan, Hengjun Zhao. Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. Mathematics in Computer Science, 6(4):395-408, 2012. [doi]

Abstract

Abstract is missing.