Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications  

作　　者：Yiwei Zheng Aiwen Lai Xiao Yu Weiyao Lan 

机构地区：[1]the Department of Automation,Xiamen University,Xiamen 361005 [2]the Key Laboratory of Control and Navigation(Xiamen University),Fujian Province University,Xiamen 361005,China [3]the Innovation Laboratory for Sciences and Technologies of Energy Materials of Fujian Province(IKKEM),Xiamen 361005,China

出　　处：《IEEE/CAA Journal of Automatica Sinica》2023年第5期1346-1348,共3页自动化学报（英文版）

基　　金：supported in part by the National Key R&D Program of China(2021ZD0112600);the National Natural Science Foundation of China(61873219,62103344,62173283);the Natural Science Foundation of Fujian Province of China(2021J01051,2021J05015);Science and Technology Projects of Innovation Laboratory for Sciences and Technologies of Energy Materials of Fujian Province(IKKEM)(HRTP-[2022]-25)。

摘　　要：Dear Editor,This letter investigates a multi-agent path planning problem in a road network with the requirement of avoiding collisions among all agents in the partitioned environment.We first abstract the agents to a set of transition systems,and construct a team transition system from these individual systems.A mechanism is designed for the team transition system to detect all collisions within the synthesized run.

关 键 词：agent TEMPORAL INDIVIDUAL 

分 类 号：O221[理学—运筹学与控制论]