澳门新葡8455最新网站,www.8455.com,新葡京最新官网

当前位置: 澳门新葡8455最新网站 > 学术活动 > 正文
混成系统安全验证与稳定分析先容
澳门新葡8455最新网站:2019年07月24日 23:36 点击数:

报告人:佘志坤

报告地点:综合教学楼324室

报告澳门新葡8455最新网站:2019年07月25日星期四15:30-16:30

邀请人:范猛

报告摘要:

混成系统是一类连续状态与离散事件并存的动力系统。本报告首先先容混成系统的研究意义与研究困难,接着先容安全验证与稳定分析的研究现状,最后就稳定性分析先容如下两个研究成果:1)基于实根分类的多重Lyapunov函数的自动计算;2)基于类Lyapunov函数的吸引域迭代估计。

主讲人概况:

佘志坤,北京航空航天大学数学与系统科学新葡京最新官网副院长、教授、博士生导师,国家优秀青年科学基金获得者。主要从事非线性混成系统的研究,在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control等国际期刊以及CAV、HSCC等国际会议发表学术论文60余篇,并获得包含1位图灵奖得主、3位自动推理终身成就奖得主、12位院士、20余名ACM/IEEE会士在内的国内外学者的正面评价与引用。

Copyright ©版权所有:澳门新葡8455最新网站

地址:吉林省长春市人民大街5268号|邮编:130024|电话:0431-85099589|传真:0431-85098237


XML 地图 | Sitemap 地图