Forming Sequences of Patterns With Luminous Robots
The extensive studies on computing by a team of identical mobile robots operating in the plane in Look-Compute-Move cycles have been carried out mainly in the traditional OBLOT model, where the robots are silent (have no communication capabilities) and oblivious (in a cycle, they have no memory prev...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9091860/ |
id |
doaj-632f2019c9fa428ea26cbdb79ad8b550 |
---|---|
record_format |
Article |
spelling |
doaj-632f2019c9fa428ea26cbdb79ad8b5502021-03-30T02:37:44ZengIEEEIEEE Access2169-35362020-01-018905779059710.1109/ACCESS.2020.29940529091860Forming Sequences of Patterns With Luminous RobotsShantanu Das0Paola Flocchini1Giuseppe Prencipe2https://orcid.org/0000-0001-5646-7388Nicola Santoro3Aix-Marseille University, Parc Scientifique et Technologique de Luminy, Marseille, LIS, FranceSEECS, University of Ottawa, Ottawa, ON, CanadaDipartimento di Informatica, Università di Pisa, Pisa, ItalySchool of Computer Science, Carleton University, Ottawa, ON, CanadaThe extensive studies on computing by a team of identical mobile robots operating in the plane in Look-Compute-Move cycles have been carried out mainly in the traditional OBLOT model, where the robots are silent (have no communication capabilities) and oblivious (in a cycle, they have no memory previous cycles). To partially overcome the limits of obliviousness and silence while maintaining some of their advantages, the stronger model of luminous robots, LUMI, has been introduced where the robots, otherwise oblivious and silent, carry a visible light that can take a number of different colors; a color can be seen by observing robots, and persists from a cycle to the next. In the study of the computational impact of lights, an immediate concern has been to understand and determine the additional computational strength of LUMI over OBLOT. Within this line of investigation, we examine the problem of forming a sequence of geometric patterns, PatternSequenceFormation. A complete characterization of the sequences of patterns formable from a given starting configuration has been determined in the OBLOT model. In this paper, we study the formation of sequences of patterns in the LUMI model and provide a complete characterization. The characterization is constructive: our universal protocol forms all formable sequences, and it does so asynchronously and without rigidity. This characterization explicitly and clearly identifies the computational strength of LUMI over OBLOT with respect to the PatternSequenceFormation problem.https://ieeexplore.ieee.org/document/9091860/Autonomous mobile robotsdistributed computingobliviouspattern formationsequence of patternsvisible lights |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Shantanu Das Paola Flocchini Giuseppe Prencipe Nicola Santoro |
spellingShingle |
Shantanu Das Paola Flocchini Giuseppe Prencipe Nicola Santoro Forming Sequences of Patterns With Luminous Robots IEEE Access Autonomous mobile robots distributed computing oblivious pattern formation sequence of patterns visible lights |
author_facet |
Shantanu Das Paola Flocchini Giuseppe Prencipe Nicola Santoro |
author_sort |
Shantanu Das |
title |
Forming Sequences of Patterns With Luminous Robots |
title_short |
Forming Sequences of Patterns With Luminous Robots |
title_full |
Forming Sequences of Patterns With Luminous Robots |
title_fullStr |
Forming Sequences of Patterns With Luminous Robots |
title_full_unstemmed |
Forming Sequences of Patterns With Luminous Robots |
title_sort |
forming sequences of patterns with luminous robots |
publisher |
IEEE |
series |
IEEE Access |
issn |
2169-3536 |
publishDate |
2020-01-01 |
description |
The extensive studies on computing by a team of identical mobile robots operating in the plane in Look-Compute-Move cycles have been carried out mainly in the traditional OBLOT model, where the robots are silent (have no communication capabilities) and oblivious (in a cycle, they have no memory previous cycles). To partially overcome the limits of obliviousness and silence while maintaining some of their advantages, the stronger model of luminous robots, LUMI, has been introduced where the robots, otherwise oblivious and silent, carry a visible light that can take a number of different colors; a color can be seen by observing robots, and persists from a cycle to the next. In the study of the computational impact of lights, an immediate concern has been to understand and determine the additional computational strength of LUMI over OBLOT. Within this line of investigation, we examine the problem of forming a sequence of geometric patterns, PatternSequenceFormation. A complete characterization of the sequences of patterns formable from a given starting configuration has been determined in the OBLOT model. In this paper, we study the formation of sequences of patterns in the LUMI model and provide a complete characterization. The characterization is constructive: our universal protocol forms all formable sequences, and it does so asynchronously and without rigidity. This characterization explicitly and clearly identifies the computational strength of LUMI over OBLOT with respect to the PatternSequenceFormation problem. |
topic |
Autonomous mobile robots distributed computing oblivious pattern formation sequence of patterns visible lights |
url |
https://ieeexplore.ieee.org/document/9091860/ |
work_keys_str_mv |
AT shantanudas formingsequencesofpatternswithluminousrobots AT paolaflocchini formingsequencesofpatternswithluminousrobots AT giuseppeprencipe formingsequencesofpatternswithluminousrobots AT nicolasantoro formingsequencesofpatternswithluminousrobots |
_version_ |
1724184839445282816 |