上海交通大學(xué)殷翔副教授做客我?！扒把乜茖W(xué)報(bào)告”

11月12日上午，電氣與控制工程學(xué)院邀請(qǐng)到上海交通大學(xué)殷翔副教授做客我?！扒把乜茖W(xué)報(bào)告”學(xué)術(shù)講座，本次報(bào)告的主題為“面向復(fù)雜時(shí)序任務(wù)的信息物理系統(tǒng)在線監(jiān)控與預(yù)測控制理論”，吸引了眾多相關(guān)研究領(lǐng)域的師生參會(huì)，會(huì)議由電控學(xué)院副院長周強(qiáng)主持。

殷老師向參會(huì)人員詳細(xì)介紹了一種基于信號(hào)時(shí)序邏輯（Signal Temporal Logic, STL）的復(fù)雜信息物理系統(tǒng)在線監(jiān)控與任務(wù)規(guī)劃方法。他深入淺出地講解了如何用STL描述復(fù)雜時(shí)序邏輯任務(wù)，并提出了一種基于時(shí)域分解的在線監(jiān)控與魯棒預(yù)測控制方法，通過對(duì)STL公式進(jìn)行離線分段預(yù)處理，保證了有限時(shí)域在線監(jiān)控與預(yù)測控制問題對(duì)全局邏輯任務(wù)的遞歸可行性。同時(shí)，通過移動(dòng)機(jī)器人任務(wù)規(guī)劃等案例對(duì)方法的高效性進(jìn)行了驗(yàn)證。

報(bào)告結(jié)束后，電控學(xué)院的部分青年教師與部分學(xué)生與殷老師進(jìn)行了深入交流，探討該研究領(lǐng)域的問題。本次報(bào)告為我校相關(guān)專業(yè)師生展示了該領(lǐng)域的最新成果和研究方向，提供了一個(gè)深入了解信息物理系統(tǒng)在線監(jiān)控與預(yù)測控制的機(jī)會(huì)。

（核稿：周強(qiáng) 編輯：劉倩）