.png){kind=icon}
返回
Multirobot Coordination With Counting Temporal Logics
.png){kind=icon}
OA
AI
DOI：10.1109/TRO.2019.2957669.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Motivated by this problem, we introduce counting temporal logics-formal languages that enable concise expression of multirobot task specifications over possibly infinite horizons in this article. We first introduce a general logic called counting linear temporal logic plus (cLTL+), and propose an optimization-based method that generates individual trajectories such that satisfaction of a given cLTL+ formula is guaranteed when these trajectories are synchronously executed. We then introduce a fragment of cLTL+, called counting linear temporal logic (cLTL), and show that a solution to a planning problem with cLTL constraints can be obtained more efficiently if all robots have identical dynamics. In the second part of this article, we relax the synchrony assumption and discuss how to generate trajectories that can be asynchronously executed, while preserving the satisfaction of the desired cLTL+ specification. In particular, we show that when the asynchrony between robots is bounded, the method presented in this article can be modified to generate robust trajectories. We demonstrate these ideas with an experiment and provide numerical results that showcase the scalability of the method.
Keyword:
Robot kinematics
Trajectory
Task analysis
Multi-robot systems
Collision avoidance
Synchronization
Formal methods
multirobot systems
path planning
期刊
IF:
10.5
论文数:
3.3K
被引数:
2.8W
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Enhanced microwave absorption of Fe nanoflakes after coating with SiO2nanoshell用SiO2 纳米壳涂覆后的Fe纳米片的增强微波吸收
PREAI
分享收藏
查看更多内容