Intermittent connectivity control in mobile robot networks
Publication
, Conference
Kantaros, Y; Zavlanos, MM
Published in: Conference Record - Asilomar Conference on Signals, Systems and Computers
February 26, 2016
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.
Duke Scholars
Published In
Conference Record - Asilomar Conference on Signals, Systems and Computers
DOI
ISSN
1058-6393
Publication Date
February 26, 2016
Volume
2016-February
Start / End Page
1125 / 1129
Citation
APA
Chicago
ICMJE
MLA
NLM
Kantaros, Y., & Zavlanos, M. M. (2016). Intermittent connectivity control in mobile robot networks. In Conference Record - Asilomar Conference on Signals, Systems and Computers (Vol. 2016-February, pp. 1125–1129). https://doi.org/10.1109/ACSSC.2015.7421315
Kantaros, Y., and M. M. Zavlanos. “Intermittent connectivity control in mobile robot networks.” In Conference Record - Asilomar Conference on Signals, Systems and Computers, 2016-February:1125–29, 2016. https://doi.org/10.1109/ACSSC.2015.7421315.
Kantaros Y, Zavlanos MM. Intermittent connectivity control in mobile robot networks. In: Conference Record - Asilomar Conference on Signals, Systems and Computers. 2016. p. 1125–9.
Kantaros, Y., and M. M. Zavlanos. “Intermittent connectivity control in mobile robot networks.” Conference Record - Asilomar Conference on Signals, Systems and Computers, vol. 2016-February, 2016, pp. 1125–29. Scopus, doi:10.1109/ACSSC.2015.7421315.
Kantaros Y, Zavlanos MM. Intermittent connectivity control in mobile robot networks. Conference Record - Asilomar Conference on Signals, Systems and Computers. 2016. p. 1125–1129.
Published In
Conference Record - Asilomar Conference on Signals, Systems and Computers
DOI
ISSN
1058-6393
Publication Date
February 26, 2016
Volume
2016-February
Start / End Page
1125 / 1129