A distributed LTL-based approach for intermittent communication in mobile robot networks

Conference Paper

In this paper we develop an intermittent communication framework for mobile robot networks. Intermittent communication provides significantly more flexibility to the robots to accomplish their tasks compared to approaches that enforce communication constraints for all time. We consider robots that move along the edges of a mobility graph and communicate only when they meet at the nodes of that graph giving rise to a dynamic communication network. Assuming that the mobility graph is connected, we design distributed controllers for the robots that determine meeting times at the vertices of the mobility graph so that connectivity of the communication network is ensured over time, infinitely often. We show that this requirement can be captured by a global Linear Temporal Logic (LTL) formula that forces robots to meet infinitely often at the rendezvous points. To generate discrete high-level motion plans for all robots that satisfy the LTL expression, we propose a novel technique that performs an approximate decomposition of the global LTL expression into local LTL expressions and assigns them to the robots. Since the approximate decomposition of the global LTL formula can result in conflicting robot behaviors, we develop a distributed conflict resolution scheme that generates discrete motion plans for every robot, based on the assigned local LTL expressions, whose composition satisfies the global LTL formula. Computer simulations are provided that verify the efficacy of the proposed distributed control scheme.

Full Text

Duke Authors

Cited Authors

  • Kantaros, Y; Zavlanos, MM

Published Date

  • July 28, 2016

Published In

Volume / Issue

  • 2016-July /

Start / End Page

  • 5557 - 5562

International Standard Serial Number (ISSN)

  • 0743-1619

International Standard Book Number 13 (ISBN-13)

  • 9781467386821

Digital Object Identifier (DOI)

  • 10.1109/ACC.2016.7526541

Citation Source

  • Scopus