11月12日上午,電氣與控制工程學院邀請到上海交通大學殷翔副教授做客我?!扒把乜茖W報告”學術講座,本次報告的主題為“面向復雜時序任務的信息物理系統(tǒng)在線監(jiān)控與預測控制理論”,吸引了眾多相關研究領域的師生參會,會議由電控學院副院長周強主持。
殷老師向參會人員詳細介紹了一種基于信號時序邏輯(Signal Temporal Logic, STL)的復雜信息物理系統(tǒng)在線監(jiān)控與任務規(guī)劃方法。他深入淺出地講解了如何用STL描述復雜時序邏輯任務,并提出了一種基于時域分解的在線監(jiān)控與魯棒預測控制方法,通過對STL公式進行離線分段預處理,保證了有限時域在線監(jiān)控與預測控制問題對全局邏輯任務的遞歸可行性。同時,通過移動機器人任務規(guī)劃等案例對方法的高效性進行了驗證。
報告結束后,電控學院的部分青年教師與部分學生與殷老師進行了深入交流,探討該研究領域的問題。本次報告為我校相關專業(yè)師生展示了該領域的最新成果和研究方向,提供了一個深入了解信息物理系統(tǒng)在線監(jiān)控與預測控制的機會。
(核稿:周強 編輯:劉倩)