Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates

In multi-robot systems, although the idea of behaviors allows for an efficient solution to low-level tasks, high-level missions can rarely be achieved by the execution of a single behavior. In contrast to this, a sequence of behaviors would provide the requisite expressiveness, but there are no a priori guarantees that the sequence is composable in the sense that the robots can actually execute it. In order to guarantee a provably correct composition of behaviors, Finite-Time Convergence Control Barrier Functions are introduced in this paper to guarantee the terminal configuration of one behavior is a valid initial configuration for the following one. Nominal control inputs prescribed by the behaviors are modified in a minimally invasive fashion, in order to establish the information-exchange network required by the following behavior. The effectiveness of the proposed composition strategy is validated on a team of mobile robots.

[1]  Daniel E. Koditschek,et al.  A formalism for the composition of concurrent robot behaviors , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[2]  Jürgen Leitner,et al.  Multi-robot Cooperation in Space: A Survey , 2009, 2009 Advanced Technologies for Enhanced Quality of Life.

[3]  Vijay Kumar,et al.  Automated composition of motion primitives for multi-robot systems from safe LTL specifications , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[4]  Daniel E. Koditschek,et al.  Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..

[5]  Eric Klavins,et al.  A compositional framework for programming stochastically interacting robots , 2011, Int. J. Robotics Res..

[6]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[7]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[8]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[9]  Calin Belta,et al.  Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions , 2007, IEEE Transactions on Robotics.

[10]  Dennis S. Bernstein,et al.  Finite-Time Stability of Continuous Autonomous Systems , 2000, SIAM J. Control. Optim..

[11]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[12]  Geoffrey A. Hollinger,et al.  Underwater Data Collection Using Robotic Sensor Networks , 2012, IEEE Journal on Selected Areas in Communications.

[13]  Magnus Egerstedt,et al.  Graph process specifications for hybrid networked systems , 2012, Discret. Event Dyn. Syst..

[14]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[15]  A.S. Morse,et al.  Information structures to secure control of rigid formations with leader-follower architecture , 2005, Proceedings of the 2005, American Control Conference, 2005..

[16]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[17]  Lynne E. Parker,et al.  Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach , 2009, 2009 IEEE International Conference on Robotics and Automation.

[18]  Li Wang,et al.  The Robotarium: A remotely accessible swarm robotics research testbed , 2016, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[19]  Magnus Egerstedt,et al.  Hybrid systems tools for compiling controllers for cyber-physical systems , 2011, Discrete Event Dynamic Systems.

[20]  Magnus Egerstedt,et al.  Multi-robot deployment and coordination with Embedded Graph Grammars , 2009, Auton. Robots.

[21]  Li Wang,et al.  Control Barrier Certificates for Safe Swarm Behavior , 2015, ADHS.

[22]  Edwin Olson,et al.  Progress toward multi‐robot reconnaissance and the MAGIC 2010 competition , 2012, J. Field Robotics.

[23]  Jonathan M. Garibaldi,et al.  Multi-Robot Search and Rescue: A Potential Field Based Approach , 2007 .

[24]  Eric Klavins,et al.  Graph grammars for self assembling robotic systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.