浙江省教育厅科研计划(Y201120383)
- 作品数：2 被引量：1H指数：1
- 相关作者：林望曾振柄罗勇邹进吴敏更多>>
- 相关机构：华东师范大学温州大学更多>>
- 发文基金：浙江省教育厅科研计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于符号数值混合计算的混成系统Lyapunov函数构造
- 2012年
- 基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.
- 林望吴敏杨争峰曾振柄
- 关键词：混成系统LYAPUNOV函数
- 基于多面体包含的非线性混成系统可达性分析被引量：1
- 2013年
- 针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。
- 邹进林望罗勇曾振柄
- 关键词：混成系统可达性分析
