首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于符号数值混合计算的混成系统Lyapunov函数构造
引用本文:林望,吴敏,杨争峰,曾振柄.基于符号数值混合计算的混成系统Lyapunov函数构造[J].系统科学与数学,2012,32(5):610-625.
作者姓名:林望  吴敏  杨争峰  曾振柄
作者单位:1. 温州大学数学与信息科学学院,温州325035;华东师范大学上海市高可信计算重点实验室,上海200062
2. 华东师范大学上海市高可信计算重点实验室,上海,200062
基金项目:国家自然科学基金项目,973项目,浙江省教育厅科研项目,华东师范大学创新基金项目
摘    要:基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.

关 键 词:混成系统  Lyapunov函数  平方和松弛  半正定规划

COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD
LIN Wang , WU Min , YANG Zhengfeng , ZENG Zhenbing.COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD[J].Journal of Systems Science and Mathematical Sciences,2012,32(5):610-625.
Authors:LIN Wang  WU Min  YANG Zhengfeng  ZENG Zhenbing
Institution:(Shanghai Key Laboratory of Trustworthy Computing,East China Normal University, Shanghai 200062)
Abstract:In this paper,we present a symbolic-numeric hybrid method,based on Sum-of-Squares (SOS) relaxation and rational vector recovery,to compute an verified Lyapunov function for analyzing the stability of nonlinear hybrid systems.At first,finding Lyapunov functions of hybrid systems can be converted into the constrained polynomial optimization problem with parameters.SOS relaxation method is then used to compute approximate Lyapunov functions with floating point coefficients.And Gauss-Newton refinement and rational vector recovery are applied on the approximate polynomials to obtain candidates,whose coefficients are rational numbers.The existences of SOS representation is used to verify the polynomial which exactly satisfies the conditions of Lyapunov functions.In the end,several examples are given to show that our method can successfully yield Lyapunov functions with rational coefficients.
Keywords:Hybrid system  Lyapunov function  sum-of-squares relaxation  semidefinite programming  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号