应我校数学科学学院邀请，北京航空航天大学的佘志坤教授将于2023年6月2日为我校师生讲学。欢迎全校相关教师、博士生、硕士生参加!

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

报告人：佘志坤教授

报告人单位：北京航空航天大学

时 间：2023年6月2日（周五）17：30

报告地点：数学科学学院7楼报告厅

主办单位：重点建设与发展工作处、数学科学学院

佘志坤教授简介：北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国大学生数学竞赛工作组组长。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。

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

欢迎各位老师同学届时参加！