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

理學(xué)院
2019年11月5日