數(shù)學與大數(shù)據(jù)學院邀請北京航空航天大學佘志坤教授來校講學

2019年11月24日上午，應佛山科學技術(shù)學院數(shù)學與大數(shù)據(jù)學院院長戎海武教授和吳楚芬博士的邀請，北京航空航天大學佘志坤教授來我校講學，在江灣校區(qū)基礎(chǔ)實驗樓129室作了題為“基于非單調(diào)Lyapunov函數(shù)的切換系統(tǒng)可穩(wěn)定性分析”的學術(shù)報告。院長戎海武教授主持會議，學院年輕骨干教師與各年級學生積極參會。佘志坤教授基于非單調(diào)Lyapunov函數(shù)，給出時變切換線性系統(tǒng)漸近可穩(wěn)定、指數(shù)可穩(wěn)定、一致指數(shù)可穩(wěn)定的充要條件并將相關(guān)結(jié)論推廣到時變切換非線性系統(tǒng)，并分析自動驗證方法。報告豐富生動，引起了師生熱烈的反響。

佘志坤教授簡介：北京航空航天大學數(shù)學學院教授、博士生導師。主要從事非線性混成系統(tǒng)安全性驗證與穩(wěn)定性分析的研究。在IEEE Transactions on Automatic Control、ACM
Transactions on Embedded Computing Systems、SIAM Journal
on Control & Optimization等國際期刊和CAV、HSCC、AAAI等國際會議上發(fā)表學術(shù)論文70余篇，研究成果獲得包含1位圖靈獎獲得者、3位自動推理杰出貢獻獎獲得者、12位院士、20余位ACM/IEEE會士在內(nèi)的國內(nèi)外學者的正面評價與引用。由圖靈獎獲得者Edmund M. Clarke等編著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七節(jié)“Verification Tools”介紹了其開發(fā)的驗證工具HSolver。