Intermittent connectivity control in mobile robot networks


Conference Paper

© 2015 IEEE. In this paper, we consider networks of mobile robots responsible for accomplishing tasks, captured by Linear Temporal Logic (LTL) formulas, while ensuring communication with all other robots in the network. The robots operate in complex environments represented by appropriate transition systems (TS). We propose an intermittent communication framework, which is based on a LTL statement that enforces the robots to meet and communicate at pre-determined points in the environment infinitely often. Our approach combines an existing model checking method with a novel technique that aims to reduce the state-space of the TS satisfying at the same time the LTL statement.

Full Text

Duke Authors

Cited Authors

  • Kantaros, Y; Zavlanos, MM

Published Date

  • February 26, 2016

Published In

Volume / Issue

  • 2016-February /

Start / End Page

  • 1125 - 1129

International Standard Serial Number (ISSN)

  • 1058-6393

International Standard Book Number 13 (ISBN-13)

  • 9781467385763

Digital Object Identifier (DOI)

  • 10.1109/ACSSC.2015.7421315

Citation Source

  • Scopus