【ZiDongHua 之自动化学院派收录关键词： 上海交大自动化 智能制造 智慧城市 机器人】
　　
　　祝贺！自动化系学子荣获IEEE CASE唯一最佳应用论文奖
　　
　　近日，第二十届国际自动化科学与工程会议（IEEE CASE）在意大利巴里成功举办，上海交通大学电子信息与电气工程学院自动化系博士研究生吕鹏为第一作者的论文“Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics”（基于计数时序逻辑的多智能体系统有限时域任务规划）从500余篇论文中脱颖而出，荣获唯一最佳应用论文奖，论文通讯作者是殷翔副教授。
 
　　
　　获奖证书
　　
　　论文第一作者 吕鹏
　　
　　论文通讯作者 殷翔副教授
　　
　　★
　　
　　论文简介
　　
　　面向复杂任务的决策规划是多智能体协同中的基本问题，广泛存在于多机器人系统、物流调度、智能制造等重要场景中，各智能体间通过对各自行的协同从而实现具有时空约束的复杂任务。该论文研究了基于时序逻辑公式的复杂规划任务，提出了一种新的形式化逻辑，称为计次时序逻辑（Counting Time Temporal Logic, 简称CTTL）。CTTL通过引入计次时序运算符，拓展了现有线性时序逻辑的语法和语义，有效降低了对子任务具有计次要求的复杂时序任务的描述复杂度。论文进一步通过变量编码与约束构造的方式，将面向CTTL的多智能体任务规划问题转化为一个整数线性规划问题，从而进行高效求解并证明了该转化的完备性。论文通过一系列数值测试、仿真案例与实物实验，验证了所提出的CTTL逻辑及其任务规划方法的有效性与高效性。实验结果表明，该方法能够有效处理超过50个机器人的长时域复杂时序逻辑任务规划问题，较现有基于线性时序逻辑的方法有显著提高。
　　
　　
　　会议信息
　　
　　IEEE CASE是IEEE机器人与自动化学会（RAS）旗下的三大旗舰会议之一（另外两个分别为ICRA和IROS）。会议自2005年起已经连续成功举办了二十届，会议旨在为自动化领域学术界与工业界提供多学科交叉的学术交流平台，会议范围覆盖了包括智能制造、控制理论、自主系统、智慧城市、机器人等自动化学科的基础理论与应用技术。
　　
　　转载｜上海交大电院