Sciweavers

Share
ACSSC
2015

Intermittent connectivity control in mobile robot networks

3 years 10 months ago
Intermittent connectivity control in mobile robot networks
— 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.
Yiannis Kantaros, Michael M. Zavlanos
Added 13 Apr 2016
Updated 13 Apr 2016
Type Journal
Year 2015
Where ACSSC
Authors Yiannis Kantaros, Michael M. Zavlanos
Comments (0)
books