数学与大数据学院邀请北京航空航天大学佘志坤教授来校讲学

2019年11月24日上午，应佛山科学技术学院数学与大数据学院院长戎海武教授和吴楚芬博士的邀请，北京航空航天大学佘志坤教授来我校讲学，在江湾校区基础实验楼129室作了题为“基于非单调Lyapunov函数的切换系统可稳定性分析”的学术报告。院长戎海武教授主持会议，学院年轻骨干教师与各年级学生积极参会。佘志坤教授基于非单调Lyapunov函数，给出时变切换线性系统渐近可稳定、指数可稳定、一致指数可稳定的充要条件并将相关结论推广到时变切换非线性系统，并分析自动验证方法。报告丰富生动，引起了师生热烈的反响。

佘志坤教授简介：北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。在IEEE Transactions on Automatic Control、ACM
Transactions on Embedded Computing Systems、SIAM Journal
on Control & Optimization等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。