北京航空航天大学佘志坤教授学术报告

北地人

应数理学院邀请，北京航空航天大学佘志坤教授将来我校进行学术交流，并做学术报告。具体安排如下：

题  目：基于非单调Lyapunov函数的切换系统可稳定性分析

时  间: 2020年11月12日（星期四）下午4:00-7:00

地  点: 科研楼 204

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

佘志坤教授简介:男，教授，理学博士，博士生导师。主要研究非线性混成系统安全验证与稳定分析的数学理论、算法实现以及实际应用。在ACM汇刊、SIAM期刊、IEEE汇刊等国际期刊以及CAV、HSCC、AAAI等国际会议上发表学术论文50余篇。研究成果被来自麻省理工学院、斯坦福大学、加州大学伯克利分校、剑桥大学、牛津大学、苏黎世联邦理工学院等著名机构的、包含1名图灵奖获得者、3名自动推理杰出贡献奖Herbrand奖获得者、10名院士、18名ACM/IEEE会士在内的国内外学者他引400余次。主持完成了国家自然基金项目2项、国家军口863项目2项、北京市人才项目2项等。获2013年度教育部自然科学奖一等奖（第三完成人）及2014年度国家优秀青年科学基金项目。

研究生记学术报告一次，欢迎广大师生参加！        

数理学院

研究生院

                                        2020年11月11日