【ZiDongHua 之自動化學院派收錄關鍵詞： 上海交大自動化 智能制造 智慧城市 機器人】
　　
　　祝賀！自動化系學子榮獲IEEE CASE唯一最佳應用論文獎
　　
　　近日，第二十屆國際自動化科學與工程會議（IEEE CASE）在意大利巴里成功舉辦，上海交通大學電子信息與電氣工程學院自動化系博士研究生呂鵬為第一作者的論文“Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics”（基于計數時序邏輯的多智能體系統(tǒng)有限時域任務規(guī)劃）從500余篇論文中脫穎而出，榮獲唯一最佳應用論文獎，論文通訊作者是殷翔副教授。
 
　　
　　獲獎證書
　　
　　論文第一作者 呂鵬
　　
　　論文通訊作者 殷翔副教授
　　
　　★
　　
　　論文簡介
　　
　　面向復雜任務的決策規(guī)劃是多智能體協(xié)同中的基本問題，廣泛存在于多機器人系統(tǒng)、物流調度、智能制造等重要場景中，各智能體間通過對各自行的協(xié)同從而實現具有時空約束的復雜任務。該論文研究了基于時序邏輯公式的復雜規(guī)劃任務，提出了一種新的形式化邏輯，稱為計次時序邏輯（Counting Time Temporal Logic, 簡稱CTTL）。CTTL通過引入計次時序運算符，拓展了現有線性時序邏輯的語法和語義，有效降低了對子任務具有計次要求的復雜時序任務的描述復雜度。論文進一步通過變量編碼與約束構造的方式，將面向CTTL的多智能體任務規(guī)劃問題轉化為一個整數線性規(guī)劃問題，從而進行高效求解并證明了該轉化的完備性。論文通過一系列數值測試、仿真案例與實物實驗，驗證了所提出的CTTL邏輯及其任務規(guī)劃方法的有效性與高效性。實驗結果表明，該方法能夠有效處理超過50個機器人的長時域復雜時序邏輯任務規(guī)劃問題，較現有基于線性時序邏輯的方法有顯著提高。
　　
　　
　　會議信息
　　
　　IEEE CASE是IEEE機器人與自動化學會（RAS）旗下的三大旗艦會議之一（另外兩個分別為ICRA和IROS）。會議自2005年起已經連續(xù)成功舉辦了二十屆，會議旨在為自動化領域學術界與工業(yè)界提供多學科交叉的學術交流平臺，會議范圍覆蓋了包括智能制造、控制理論、自主系統(tǒng)、智慧城市、機器人等自動化學科的基礎理論與應用技術。
　　
　　轉載｜上海交大電院