期刊
IEEE ROBOTICS AND AUTOMATION LETTERS
卷 6, 期 2, 页码 1375-1382出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/LRA.2021.3057049
关键词
Formal methods in robotics and automation; multi-robot systems; optimization and optimal control
类别
This study addresses the coordination of trajectories for heterogeneous multi-agent systems using global STL constraints and integral predicates to generate optimal agent movement while minimizing movement. The proposed method's performance is demonstrated through simulations and experiments with drones.
We address the problem of coordinating the trajectories of heterogeneous multi-agent systems under spatio-temporal specifications. In particular, we consider global Signal Temporal Logic (STL) constraints to express the number and type of agents that should be present at specific locations within the desired time windows. We also introduce an integral predicate to specify cumulative progress that can he achieved asynchronously by multiple agents. In order to generate optimal trajectories, we formulate a mixed-integer linear program whose objective is minimizing the agent movement subject to the heterogeneous abstracted dynamics of the agents and a global STL specification including the novel integral predicate. We demonstrate the performance of the proposed method via simulations and experiments with drones.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据