報告題目：基于可達集上下近似的混成系統安全性驗證研究
　　報告人：佘志坤（北京航空航天大學、教授）
　　報告時間：2019年11月7日（周四）16：00—17：00
　　報告地點：格中500室
　　報告摘要：信息-物理系統（CPS）是一種將計算與物理過程相結合的系統，是多學科交叉融合的產物。混成系統作為一類將離散事件系統和微分方程相結合的動力系統，被認為是研究信息-物理系統的一個非常有效的數學模型。由于混成系統安全性驗證是一不可判定問題，本報告將主要圍繞動力系統可達集的上下近似展開：首先，引入演化函數并借助李導數給出它的泰勒級數展開；接著，基于部分和公式，提出兩種計算可達集上下近似的方法并給予實現；最后，與最近兩種可達集上下近似方法的計算結果比較展示了我們方法的優越性。
　　報告人簡介：佘志坤，北京航空航天大學數學與系統科學學院副院長、教授、博士生導師。1995年9月到2005年6月，就讀于北京大學數學科學學院，獲理學學士和博士學位（碩博連讀），獲2008年度北京市科技新星，2013年度教育部新世紀優秀人才，2014年度國家優秀青年科學基金項目獲得者。獲2013年度教育部自然科學獎一等獎（第三完成人）。獨立撰寫國防報告3部，在ACM TECS、SIAM Journal on Control and Optimization、Journal of Symbolic Computation等領域國際頂級刊物和AAAI、CAV、ISSAC、HSCC等領域國際頂級會議上發表學術論文70余篇。特別地，由圖靈獎獲得者Edmund M. Clarke等編著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七節“Verification Tools”介紹了其開發的驗證工具HSolver。
　　歡迎廣大師生參加！

理學院
2019年11月5日