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