报告人：佘志坤
报告地点：综合教学楼324室
报告时间：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会士在内的国内外学者的正面评价与引用。
学校主页