Intermittent connectivity control in mobile robot networks

Yiannis Kantaros; Michael M. Zavlanos

doi:10.1109/ACSSC.2015.7421315

Intermittent connectivity control in mobile robot networks

Yiannis Kantaros
, Michael M. Zavlanos

Department of Electrical & Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

15 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015
Editors	Michael B. Matthews
Publisher	IEEE Computer Society
Pages	1125-1129
Number of pages	5
ISBN (Electronic)	9781467385763
DOIs	https://doi.org/10.1109/ACSSC.2015.7421315
State	Published - Feb 26 2016
Event	49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015 - Pacific Grove, United States Duration: Nov 8 2015 → Nov 11 2015

Publication series

Name	Conference Record - Asilomar Conference on Signals, Systems and Computers
Volume	2016-February
ISSN (Print)	1058-6393

Conference

Conference	49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015
Country/Territory	United States
City	Pacific Grove
Period	11/8/15 → 11/11/15

Access to Document

10.1109/ACSSC.2015.7421315

Cite this

Kantaros, Y., & Zavlanos, M. M. (2016). Intermittent connectivity control in mobile robot networks. In M. B. Matthews (Ed.), Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015 (pp. 1125-1129). Article 7421315 (Conference Record - Asilomar Conference on Signals, Systems and Computers; Vol. 2016-February). IEEE Computer Society. https://doi.org/10.1109/ACSSC.2015.7421315

@inproceedings{0149e2846abf494a80e4e9409408e9c5,

title = "Intermittent connectivity control in mobile robot networks",

abstract = "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.",

author = "Yiannis Kantaros and Zavlanos, \{Michael M.\}",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015 ; Conference date: 08-11-2015 Through 11-11-2015",

year = "2016",

month = feb,

day = "26",

doi = "10.1109/ACSSC.2015.7421315",

language = "English",

series = "Conference Record - Asilomar Conference on Signals, Systems and Computers",

publisher = "IEEE Computer Society",

pages = "1125--1129",

editor = "Matthews, \{Michael B.\}",

booktitle = "Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015",

}

Kantaros, Y & Zavlanos, MM 2016, Intermittent connectivity control in mobile robot networks. in MB Matthews (ed.), Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015., 7421315, Conference Record - Asilomar Conference on Signals, Systems and Computers, vol. 2016-February, IEEE Computer Society, pp. 1125-1129, 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015, Pacific Grove, United States, 11/8/15. https://doi.org/10.1109/ACSSC.2015.7421315

Intermittent connectivity control in mobile robot networks. / Kantaros, Yiannis; Zavlanos, Michael M.
Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015. ed. / Michael B. Matthews. IEEE Computer Society, 2016. p. 1125-1129 7421315 (Conference Record - Asilomar Conference on Signals, Systems and Computers; Vol. 2016-February).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Intermittent connectivity control in mobile robot networks

AU - Kantaros, Yiannis

AU - Zavlanos, Michael M.

PY - 2016/2/26

Y1 - 2016/2/26

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84969750027

U2 - 10.1109/ACSSC.2015.7421315

DO - 10.1109/ACSSC.2015.7421315

M3 - Conference contribution

AN - SCOPUS:84969750027

T3 - Conference Record - Asilomar Conference on Signals, Systems and Computers

SP - 1125

EP - 1129

BT - Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015

A2 - Matthews, Michael B.

PB - IEEE Computer Society

T2 - 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015

Y2 - 8 November 2015 through 11 November 2015

ER -

Intermittent connectivity control in mobile robot networks

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this