查找： 关键词为 多项式参数依赖Lyapunov函数 的文献