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