TY - RPRT TI - Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems AU - Jiang Liu AU - Naijun Zhan AU - Hengjun Zhao PY - 2011 UR - https://arxiv.org/abs/1103.3372 ID - 1103.3372 ER -