bet体育

学术活动

您所在的位置: bet体育 » bet体育 栏目» 学术活动

学术活动

北京航空航天大学佘志坤教授应邀来bet体育讲学

bet体育


题目: 基于非单调Lyapunov函数的切换系统可稳定性分析
时间: 2019年12月30日(周一)10:00-11:00
地点: 立志楼A422
主办单位:bet体育 - 专业投注平台 报告人简介:
       佘志坤,北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。在SIAM Journal on Control and
Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇,研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。

报告摘要:
       切换系统是由若干连续或离散的子系统以及一个决定如何在子系统间切换的规则组成的混成系统。切换系统分析与综合极其复杂,例如: 切换系统稳定性分析是一不可判定问题;稳定的子系统可以组成不稳定的切换系统;不稳定的子系统可以组成稳定的切换系统等。本报告主要围绕切换系统可稳定性展开: 首先,基于非单调Lyapunov函数,给出时变切换线性系统渐近可稳定、指数可稳定、一致指数可稳定的充要条件;接着,将以上相关结论推广到时变切换非线性系统;最后,基于S-procedure和半定规划,给出有理时变切换系统可稳定性的自动验证方法。

bet体育 - 专业投注平台 瑞丰体育-官方网站 冰球突破官网-【官网】 kk体育app-kk体育彩票-kk体育官网 ag真人龙虎技巧-官方网站 申博体育-申博体育官网 德国飞艇「官网bet体育」 英亚体育_英亚体育登录 OPE体育-ope体育滚球
bet体育 - 专业投注平台 瑞丰体育-官方网站 冰球突破官网-【官网】 kk体育app-kk体育彩票-kk体育官网 ag真人龙虎技巧-官方网站 申博体育-申博体育官网 德国飞艇「官网bet体育」 英亚体育_英亚体育登录 OPE体育-ope体育滚球