内容簡介：信息-物理系統（CPS）是一種将計算與物理過程相結合的系統，是多學科交叉融合的産物。混成系統作為一類将離散事件系統和微分方程相結合的動力系統，被認為是研究信息-物理系統的一個非常有效的數學模型。由于混成系統安全性驗證是一不可判定問題，本報告将主要圍繞動力系統可達集的上下近似展開：首先，引入演化函數并借助李導數給出它的泰勒級數展開；接着，基于部分和公式，提出兩種計算可達集上下近似的方法并給予實現；最後，與最近幾種可達集上下近似方法的計算結果比較展示了我們方法的優越性。

報告人：佘志坤

報告人簡介：北京航空航天大學教授、博導，中國數學會理事兼全國大學生數學競賽工作組組長，《全國大學生數學競賽叢書》主編。主要從事混成系統自動驗證、智能系統協同控制等方面的研究。在ACM彙刊、IEEE彙刊、SIAM期刊等國際期刊和CAV、AAAI等國際會議上發表學術論文100餘篇。研究成果獲得包含1位圖靈獎獲得者、1位哥德爾獎獲得者、3位自動推理傑出成就獎獲得者、15位院士、20餘位ACM/IEEE會士在内的國内外學者的正面評價與引用。

時  間：2024年11月19日（周二）20：00開始

地  點：騰訊會議：947-143-327

熱烈歡迎廣大師生參加!

太阳集团1088vip

2024年11月14日