Multi-robot systems are broadly used in applications such as search and rescue, environmental monitoring, and mapping of unknown environments. Effective coordination among these robots often relies on distributed information and local decision-making. However, maintaining constant communication links between robots can be challenging due to environmental and task constraints. Robots can move around to seek temporal communication links that over time jointly establish the intermittent connectivity of the network. This paper aims to incorporate temporal communication constraints into the path planning for multi-robot teams with stochastic motion and handling complex tasks specified in a temporal order. We use formal methods to model the temporal specification of tasks. Task assignments and high-level communication requirements are provided to individual robots on a multi-robot team as independent temporal logic expressions. Robots update their plans for future communication events according to their local decision-making algorithms and jointly synthesize a bottom-up policy to meet the communication requirements. We provide a strategy to maintain intermittent connectivity while satisfying a risk constraint and present simulation results to demonstrate our proposed method.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Probabilistic Multi-robot Planning with Temporal Tasks and Communication Constraints

  • Thales C. Silva,
  • Xi Yu,
  • M. Ani Hsieh

摘要

Multi-robot systems are broadly used in applications such as search and rescue, environmental monitoring, and mapping of unknown environments. Effective coordination among these robots often relies on distributed information and local decision-making. However, maintaining constant communication links between robots can be challenging due to environmental and task constraints. Robots can move around to seek temporal communication links that over time jointly establish the intermittent connectivity of the network. This paper aims to incorporate temporal communication constraints into the path planning for multi-robot teams with stochastic motion and handling complex tasks specified in a temporal order. We use formal methods to model the temporal specification of tasks. Task assignments and high-level communication requirements are provided to individual robots on a multi-robot team as independent temporal logic expressions. Robots update their plans for future communication events according to their local decision-making algorithms and jointly synthesize a bottom-up policy to meet the communication requirements. We provide a strategy to maintain intermittent connectivity while satisfying a risk constraint and present simulation results to demonstrate our proposed method.