基于符号数值混合计算的混成系统Lyapunov函数构造

林望，吴敏，杨争锋，曾振柄

COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD

LIN Wang, WU Min, YANG Zhengfeng ,ZENG Zhenbing

系统科学与数学 . 2012, (5): 610 -625 . DOI: 10.12341/jssms11893