新聞中心

【軟件講壇】美國西北大學黃超博士后來訪我院

發布時間:2019-05-17 08:45:40 發布者:學生科(鐘) 作者: 查看:193

應智能信息技術實驗室博士生導師江維副教授的邀請,5月16日,美國西北大學的黃超博士后蒞臨我院,并做了在時間擾動和神經網絡控制器下的汽車電子系統的安全驗證方面的專題講座。

黃超博士首先針對汽車電子系統提出了三種可能的擾動類型:系統的狀態擾動、時間擾動以及輸入樣本擾動。在其報告中,對于具有時間擾動的系統,需要考慮考慮“弱-硬約束模型”,這樣得到了保證系統安全的充分條件。對于神經網絡控制系統,利用Bernstein多項式抽象了前饋神經網絡控制器,并提出了兩種估計逼近分類邊界的方法。該方法結合正向可達性分析,可以計算出具有精確誤差邊界的神經網絡控制系統的可達集。最后,黃超博士與老師、同學們討論并總結了該數學模型的進步與不足,并展望了在未來的應用與研究。

智能信息技術實驗室詹瑾瑜副教授和相關學生參加了本次的專題講座,并提出了許多有意義且具有探討性的問題,黃超博士也對每個問題都做出了詳細的解答。

  本次活動由信息與軟件工程學院主辦,智能信息技術實驗室研究生黨支部承辦。

嘉賓簡介:

  黃超是美國西北大學電子與計算機工程系朱祺教授的博士后。黃博士分別于2018年和2011年在南京大學獲得哲學博士學位和理學學士學位。他的研究興趣包括網絡物理系統(CPS)、物聯網、嵌入式和實時系統的綜合與驗證。他的論文被IJCAI、FM EMSOFT、HSCC等會議錄用。并且他擔任IJCAI 19的審稿員。


10分11选5计划-11选5助手