Multi-agent system motion planning under temporal logic specifications and control barrier function |
| |
Authors: | Xinyuan HUANG Li LI Jie CHEN |
| |
Affiliation: | College of Electronics and Information Engineering, Tongji University, Shanghai 201804, China;Shanghai Research Institute for Intelligent Autonomous Systems, Shanghai 201210, China |
| |
Abstract: | In this paper, we provide a novel scheme to solve the motion planning problem of multi-agent systems under high-level task specifications. First, linear temporal logic is applied to express the global task specification. Then an efficient and decentralized algorithm is proposed to decompose it into local tasks. Moreover, we use control barrier function to synthesize the local controller for each agent under the linear temporal logic motion plan with safety constraint. Finally, simulation results show the effectiveness and efficiency of our proposed scheme. |
| |
Keywords: | Temporal logic multi-agent system formal methods control barrier function |
|
| 点击此处可从《控制理论与应用(英文版)》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用(英文版)》下载全文 |