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

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

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

审稿：郑大彬