Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Computer Science > Robotics

arXiv:1706.00765 (cs)
[Submitted on 2 Jun 2017 (v1), last revised 24 Jun 2018 (this version, v3)]

Title:Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks

Authors:Yiannis Kantaros, Meng Guo, Michael M. Zavlanos
View PDF
Abstract:In this paper, we develop a distributed intermittent communication and task planning framework for mobile robot teams. The goal of the robots is to accomplish complex tasks, captured by local Linear Temporal Logic formulas, and share the collected information with all other robots and possibly also with a user. Specifically, we consider situations where the robot communication capabilities are not sufficient to form reliable and connected networks while the robots move to accomplish their tasks. In this case, intermittent communication protocols are necessary that allow the robots to temporarily disconnect from the network in order to accomplish their tasks free of communication constraints. We assume that the robots can only communicate with each other when they meet at common locations in space. Our distributed control framework jointly determines local plans that allow all robots fulfill their assigned temporal tasks, sequences of communication events that guarantee information exchange infinitely often, and optimal communication locations that minimize a desired distance metric. Simulation results verify the efficacy of the proposed controllers.
Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA)
Cite as: arXiv:1706.00765 [cs.RO]
  (or arXiv:1706.00765v3 [cs.RO] for this version)
  https://doi.org/10.48550/arXiv.1706.00765

Submission history

From: Yiannis Kantaros [view email]
[v1] Fri, 2 Jun 2017 17:26:22 UTC (2,646 KB)
[v2] Sun, 24 Dec 2017 16:38:13 UTC (4,053 KB)
[v3] Sun, 24 Jun 2018 08:56:54 UTC (787 KB)
Full-text links:

Access Paper:

  • View PDF
  • TeX Source
  • Other Formats
view license
Current browse context:
cs.RO
< prev   |   next >
new | recent | 2017-06
Change to browse by:
cs
cs.MA

References & Citations

DBLP - CS Bibliography

listing | bibtex
Yiannis Kantaros
Meng Guo
Michael M. Zavlanos
export BibTeX citation

Bookmark

BibSonomy logo Reddit logo

Bibliographic and Citation Tools

Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)

Code, Data and Media Associated with this Article

alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)

Demos

Replicate (What is Replicate?)
Hugging Face Spaces (What is Spaces?)
TXYZ.AI (What is TXYZ.AI?)

Recommenders and Search Tools

Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)