Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

摘要：

The notion of Lyapunov function plays a key role in design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asymptotic stability of equilibrium of a dynamical system, we generalize standard Lyapunov functions to relaxed Lyapunov functions (RLFs), by considering higher order Lie derivatives. Furthermore, we present a relatively complete method for automatically discovering polynomial RLFs for polynomial dynamical systems (PDSs). Our method is relatively complete in the sense that it is able to discover all polynomial RLFs for any PDS by enumerating all polynomial templates.

作者: Jiang Liu Naijun Zhan Hengjun Zhao

作者单位: State Key Lab.of Computer Science Institute of Software, Chinese Academy of Sciences No.4 South Fourth Street, Zhong Guan Cun Beijing, 100190, P.R.China

会议类型: 国际会议

会议名称: The Fourth International Conference on Mathematical Aspects of Computer and Information Sciences(第四届计算机与信息科学中的数学方法国际会议 MACIS 2011)

会议地点: 北京

会议语种:英文

页码: 162-177

在线出版日期: 2011-10-21（万方平台首次上网日期，不代表论文的发表时间）