Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

Oblivious Mobile Robots have been studied both in continuous Euclidean spaces, and discrete spaces (that is, graphs). However the obtained literature forms distinct sets of results for the two settings. In our view, the continuous model reflects well the physicality of robots operating in some real environment, while the discrete model reflects well the digital nature of autonomous robots, whose sensors and computing capabilities are inherently finite.

[1]  Sébastien Tixeuil,et al.  Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots , 2018, SSS.

[2]  Maria Gradinariu Potop-Butucaru,et al.  RoboCast: Asynchronous Communication in Robot Networks , 2010, OPODIS.

[3]  Bernard Mans,et al.  Network Exploration by Silent and Oblivious Robots , 2010, WG.

[4]  Xavier Défago,et al.  Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols , 2012, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops.

[5]  Maria Gradinariu Potop-Butucaru,et al.  On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering , 2014, SSS.

[6]  Sébastien Tixeuil,et al.  Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm , 2016, SSS.

[7]  Aniello Murano,et al.  Verification of Asynchronous Mobile-Robots in Partially-Known Environments , 2015, PRIMA.

[8]  Yukiko Yamauchi,et al.  Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space , 2017, J. ACM.

[9]  Sébastien Tixeuil,et al.  [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems , 2015 .

[10]  Masafumi Yamashita,et al.  Distributed Anonymous Mobile Robots: Formation of Geometric Patterns , 1999, SIAM J. Comput..

[11]  Nicolas Nisse,et al.  A unified approach for gathering and exclusive searching on rings under weak assumptions , 2016, Distributed Computing.

[12]  Ha Thi Thu Doan,et al.  Model Checking of Robot Gathering , 2017, OPODIS.

[13]  Yukiko Yamauchi,et al.  Plane Formation by Synchronous Mobile Robots without Chirality , 2017, OPODIS.

[14]  Sébastien Tixeuil,et al.  Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection , 2012, MFCS.

[15]  Pascal Raymond,et al.  Optimal Grid Exploration by Asynchronous Oblivious Robots , 2011, SSS.

[16]  Yukiko Yamauchi,et al.  Pattern Formation by Mobile Robots with Limited Visibility , 2013, SIROCCO.

[17]  Masafumi Yamashita,et al.  Characterizing geometric patterns formable by oblivious anonymous mobile robots , 2010, Theor. Comput. Sci..

[18]  Nicolas Nisse,et al.  Computing on Rings by Oblivious Robots: A Unified Approach for Different Tasks , 2014, Algorithmica.

[19]  Nicola Santoro,et al.  Arbitrary pattern formation by asynchronous, anonymous, oblivious robots , 2008, Theor. Comput. Sci..

[20]  Ha Thi Thu Doan,et al.  Model Checking of a Mobile Robots Perpetual Exploration Algorithm , 2016, SOFL+MSVL.

[21]  Yukiko Yamauchi,et al.  Asynchronous Pattern Formation by Anonymous Oblivious Mobile Robots , 2012, DISC.

[22]  Yukiko Yamauchi,et al.  Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space , 2016, PODC.

[23]  Sébastien Tixeuil,et al.  Certified Impossibility Results for Byzantine-Tolerant Mobile Robots , 2013, SSS.

[24]  Nicola Santoro,et al.  Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots , 2007, Algorithmica.

[25]  Maria Gradinariu Potop-Butucaru,et al.  Parameterized verification of algorithms for oblivious robots on a ring , 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

[26]  Sébastien Tixeuil,et al.  Impossibility of gathering, a certification , 2015, Inf. Process. Lett..

[27]  Sébastien Tixeuil,et al.  Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection , 2011, SIROCCO.

[28]  Giuseppe Prencipe,et al.  Impossibility of gathering by a set of autonomous mobile robots , 2007, Theor. Comput. Sci..

[29]  Maria Gradinariu Potop-Butucaru,et al.  Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots , 2010, SIROCCO.

[30]  Maria Gradinariu Potop-Butucaru,et al.  Asynchronous Gathering in Rings with 4 Robots , 2016, ADHOC-NOW.

[31]  Maria Gradinariu Potop-Butucaru,et al.  Exclusive Perpetual Ring Exploration without Chirality , 2010, DISC.

[32]  Sébastien Tixeuil,et al.  Optimal probabilistic ring exploration by semi-synchronous oblivious robots , 2013, Theor. Comput. Sci..

[33]  Sébastien Tixeuil,et al.  A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs , 2018, ICDCN.

[34]  Maria Gradinariu Potop-Butucaru,et al.  Formal verification of mobile robot protocols , 2016, Distributed Computing.

[35]  Nicola Santoro,et al.  Distributed Computing by Oblivious Mobile Robots , 2012, Synthesis Lectures on Distributed Computing Theory.

[36]  Sébastien Tixeuil,et al.  Optimal torus exploration by oblivious robots , 2018, Computing.

[37]  Sébastien Tixeuil,et al.  Formal Methods for Mobile Robots: Current Results and Open Problems , 2015 .

[38]  Sébastien Tixeuil,et al.  Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots , 2016, DISC.

[39]  Nicolas Nisse,et al.  Exclusive Graph Searching , 2013, Algorithmica.

[40]  Nicola Santoro,et al.  Distributed Computing by Mobile Robots: Gathering , 2012, SIAM J. Comput..

[41]  Nicola Santoro,et al.  Remembering without memory: Tree exploration by asynchronous oblivious robots , 2008, Theor. Comput. Sci..

[42]  Michel Raynal,et al.  Anonymous graph exploration without collision by mobile robots , 2008, Inf. Process. Lett..

[43]  Sébastien Tixeuil,et al.  Brief Announcement: The BG-Simulation for Byzantine Mobile Robots , 2011, DISC.

[44]  Sayaka Kamei,et al.  Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings , 2010, SIROCCO.

[45]  Éric Marchand,et al.  3D model based tracking for omnidirectional vision: A new spherical approach , 2012, Robotics Auton. Syst..

[46]  Maria Gradinariu Potop-Butucaru,et al.  Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction , 2011, OPODIS.