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

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

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

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

（核稿：周強 編輯：劉倩）