Intermittent connectivity control in mobile robot networks

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.

[1]  George J. Pappas,et al.  Distributed connectivity control of mobile networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[2]  Mehran Mesbahi,et al.  On maximizing the second smallest eigenvalue of a state-dependent graph Laplacian , 2006, IEEE Transactions on Automatic Control.

[3]  Magnus Egerstedt,et al.  Graph-theoretic connectivity control of mobile robot networks , 2011, Proceedings of the IEEE.

[4]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[5]  Yasamin Mostofi,et al.  Robotic Router Formation in Realistic Communication Environments , 2012, IEEE Transactions on Robotics.

[6]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[7]  Geoffrey A. Hollinger,et al.  Multi-robot coordination with periodic connectivity , 2010, 2010 IEEE International Conference on Robotics and Automation.

[8]  Carlos Sagüés,et al.  Adaptive consensus and algebraic connectivity estimation in sensor networks with chebyshev polynomials , 2011, IEEE Conference on Decision and Control and European Control Conference.

[9]  Christel Baier,et al.  Principles of model checking , 2008 .

[10]  K.J. Kyriakopoulos,et al.  Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[11]  Karl Henrik Johansson,et al.  Motion and action planning under LTL specifications using navigation functions and action description language , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[12]  George J. Pappas,et al.  Potential Fields for Maintaining Connectivity of Mobile Networks , 2007, IEEE Transactions on Robotics.

[13]  Pierre Wolper,et al.  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[14]  Alejandro Ribeiro,et al.  Network Integrity in Mobile Robotic Networks , 2013, IEEE Transactions on Automatic Control.

[15]  Dimos V. Dimarogonas,et al.  Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications , 2013, 52nd IEEE Conference on Decision and Control.

[16]  Yushan Chen,et al.  Synthesis of distributed control and communication schemes from global LTL specifications , 2011, IEEE Conference on Decision and Control and European Control Conference.

[17]  Michael M. Zavlanos.  Synchronous rendezvous of very-low-range wireless agents , 2010, 49th IEEE Conference on Decision and Control (CDC).

[18]  Dimos V. Dimarogonas,et al.  Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints , 2014, 53rd IEEE Conference on Decision and Control.

[19]  Calin Belta,et al.  Distributed implementations of global temporal logic motion specifications , 2008, 2008 IEEE International Conference on Robotics and Automation.