[论文解读] Distributed Collision-free Protocol for AGVs in Industrial Environments

Dario Marino, Adriano Fagiolini+1 more|arXiv (Cornell University)|Jan 12, 2011

Advanced Manufacturing and Logistics Optimization参考文献 2被引用 5

一句话总结

本文提出了一种去中心化、分布式的自动化引导车辆（AGV）防撞导航协议，采用共享资源模型，并通过机器人之间的本地通信（使用“指示牌”）实现。该协议在AGV数量有限的条件下，确保无死锁和无活锁运行，证明了互斥资源访问与安全协调的可行性，且无需集中控制、同步时钟或共享内存。

ABSTRACT

In this paper, we propose a decentralized coordina- tion algorithm for safe and efficient management of a group of mobile robots following predefined paths in a dynamic industrial environment. The proposed algorithm is based on a shared resources protocol and a replanning strategy. It is proved to guarantee ordered traffic flows avoiding collisions, deadlocks (stall situations) and livelock (agents move without reaching final destinations). Mutual access to resources has been proved for the proposed approach while condition on the maximum number of AGVs is given to ensure the absence of deadlocks during system evolutions. Finally conditions to verify a local livelocks will also be proposed. In consistency with the model of distributed robotic systems (DRS), no centralized mechanism, synchronized clock, shared memory or ground support is needed. A local inter-robot communication, based on sign-boards, is considered among a small number of spatially adjacent robotic units.

研究动机与目标

• 在无集中控制的动态工业环境中，实现多AGV的安全、高效且可扩展的协调。
• 防止AGV交通中的碰撞、死锁（停滞状态）和活锁（无进展的无限循环）。
• 建立互斥访问共享资源的条件，同时保持系统稳定性。
• 为分布式机器人系统中的实时验证定义本地活锁检测标准。
• 在分布式机器人系统（DRS）的约束下运行，避免依赖同步时钟、共享内存或地面支持。

提出的方法

• 协议采用共享资源模型，AGV根据预定义路径请求访问路径段。
• 通过‘指示牌’实现本地机器人间通信机制，与空间相邻的机器人交换状态和预约信息。
• 当机器人因资源被阻塞而无法继续时，采用重规划策略解决冲突。
• 通过基于资源访问规则的优先级机制，确保有序的交通流。
• 提供形式化证明，验证在AGV数量有限时无死锁的存在，并通过状态监控检测本地活锁。
• 该方法完全去中心化，仅依赖本地通信，无需全局协调或基础设施。

实验结果

研究问题

• RQ1 如何在去中心化方式下协调AGV，以避免在动态工业环境中的碰撞？
• RQ2 在使用共享资源的交互式AGV系统中，何种条件可确保无死锁？
• RQ3 如何在分布式AGV协调系统中检测并防止活锁？
• RQ4 通过‘指示牌’实现的本地机器人间通信在实现安全高效的路径协商中起到什么作用？
• RQ5 在何种约束条件下，可保证资源的互斥访问，同时维持系统稳定性？

主要发现

• 通过强制执行基于本地协调的共享资源访问模型，协议保证了无碰撞导航。
• 在AGV最大数量的条件下，形式化证明了无死锁，确保无机器人长期停滞。
• 通过状态监控检测机器人运动模式中的局部循环，系统可防止活锁。
• 在所提出的条件下，确保了资源的互斥访问，从而实现高效的交通流。
• 该方法无需集中控制、同步时钟、共享内存或地面支持，符合DRS原则。
• 本地‘指示牌’通信的使用，实现了AGV之间空间相邻的可扩展且鲁棒的协调。