2021年4月18日下午，北京航空航天大学佘志坤教授应英国立博官网中文版郑大彬教授邀请，为英国立博官网中文版密码编码学团队在学院203作学术报告。会议由郑大彬教授主持，来自英国立博官网中文版的编码密码学团队的教师和硕士研究生参与了报告的听取、讨论。

佘志坤教授的报告围绕切换系统可稳定性展开：首先，基于非单调Lyapunov函数，给出时变切换线性系统渐近可稳定、指数可稳定、一致指数可稳定的充要条件；接着，将以上相关结论推广到时变切换非线性系统；最后，基于S-procedure和半定规划，给出有理时变切换系统可稳定性的自动验证方法。精彩的内容引起了在场师生的极大兴趣。

学术报告结束后，学生们踊跃提问。佘教授结合自己科研经历，细致的回答了大家在阅读学术论文，提出问题和解决问题时遇到的问题。针对不同论文之间难以关联问题，提出了宝贵的建议。大家都表示受益匪浅。

审稿：郑大彬