[论文解读] Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints

Meng Guo, Jana Tůmová+1 more|arXiv (Cornell University)|May 8, 2014

Formal Methods in Verification参考文献 2被引用 4

一句话总结

本文提出了一种针对具有局部线性时序逻辑（LTL）任务和连通性约束的多智能体系统的去中心化控制框架，采用动态领导者-跟随者机制以确保任务满足和实时连通性。通过避免同步产品构造并支持实时领导者切换，该方法保证所有智能体在维持通信链路的同时实现其个体及协作的LTL规范。

ABSTRACT

We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specification captures both the requirements on the respective agent's behavior and the requests for the other agents' collaborations needed to accomplish the task. Furthermore, the agents are subject to communication constraints. The presented solution follows the automata-theoretic approach to LTL model checking, however, it avoids the computationally demanding construction of synchronized product system between the agents. We suggest a decentralized coordination among the agents through a dynamic leader-follower scheme, to guarantee the low-level connectivity maintenance at all times and a progress towards the satisfaction of the leader's task. By a systematic leader switching, we ensure that each agent's task will be accomplished.

研究动机与目标

• 解决多智能体系统中每个智能体具有复杂局部LTL任务且需与其他智能体协作时的去中心化控制挑战。
• 确保所有智能体在任何时候均满足其个体LTL规范，包括协作行为，同时维持通信连通性。
• 避免构建智能体之间全局同步产品系统，实现可扩展且分布式的规划。
• 开发一种实时、分布式的控制方案，将领导者选举与运动控制集成，以实现动态任务执行。
• 通过系统化的领导者重新选举与去中心化协调，保证所有智能体长期向其任务持续推进。

提出的方法

• 每个智能体基于其个体LTL规范，使用自动机理论合成方法生成本地高层规划。
• 采用动态领导者-跟随者协调机制，当前领导者引导团队向目标推进，同时维持连通性。
• 通过分布式领导者选举算法，仅依赖本地通信实现对每个智能体任务的顺序推进。
• 为领导者和跟随者设计连续的去中心化控制器，确保运动收敛并在1.5米范围内维持连通性。
• 在任务完成或达到里程碑时系统性地触发领导者切换，确保所有智能体最终满足其任务。
• 该方法避免全局同步与产品自动机构造，支持无需离线规划的实时执行。

实验结果

研究问题

• RQ1 当每个智能体具有可能需要与其他智能体协作的局部LTL任务时，如何实现去中心化多智能体控制？
• RQ2 在动态任务执行过程中，如何在去中心化多智能体系统中维持连通性约束？
• RQ3 能否设计一种领导者-跟随者机制，以保证向所有智能体的LTL任务持续推进，而无需构建全局产品自动机？
• RQ4 一种可扩展的实时协调机制是什么，能够确保所有智能体最终满足其个体及协作的LTL规范？
• RQ5 如何系统化管理领导者重新选举，以在通信约束下确保长期任务满足？

主要发现

• 系统在仿真过程中成功维持了连通性，所有相邻智能体之间的成对距离始终低于1.5米的通信半径。
• 智能体 $τ_1$ 在 $t=3.8s$ 前到达其第一个目标区域 $R_{11}$，所有智能体在协作后于 $t=6.1s$ 前收敛至 $R_{21}$。
• 领导者在35秒内系统性地依次切换至所有智能体：$τ_1$, $τ_2$, $τ_3$, $τ_4$, $τ_2$, $τ_3$, $τ_1$, $τ_1$, $τ_3$, $τ_3$, $τ_4$, $τ_4$，覆盖了所有必需的目标区域。
• 所有智能体均满足其对应的LTL任务：$τ_1$ 完成物体H装载，$τ_2$ 和 $τ_3$ 执行周期性监视，$τ_4$ 实现物体C的重复装配。
• 轨迹图与距离图证实，去中心化控制器维持了稳定的连通性，并实时达成了所有任务里程碑。
• 该方法成功避免了同步产品系统的构建，实现了无需全局同步的可扩展且分布式的执行。