Multi-objective compositions for collision-free connectivity maintenance in teams of mobile robots

Compositional barrier functions are proposed in this paper to systematically compose multiple objectives for teams of mobile robots. The objectives are first encoded as barrier functions, and then composed using AND and OR logical operators. The advantage of this approach is that compositional barrier functions can provably guarantee the simultaneous satisfaction of all composed objectives. The compositional barrier functions are applied to the example of ensuring collision avoidance and static/dynamical graph connectivity of teams of mobile robots. The resulting composite safety and connectivity barrier certificates are verified experimentally on a team of four mobile robots.

[1]  Min Cheol Lee,et al.  Obstacle avoidance for mobile robots using artificial potential field approach with simulated annealing , 2001, ISIE 2001. 2001 IEEE International Symposium on Industrial Electronics Proceedings (Cat. No.01TH8570).

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

[3]  Magnus Egerstedt,et al.  Distributed Coordination Control of Multiagent Systems While Preserving Connectedness , 2007, IEEE Transactions on Robotics.

[4]  Randal W. Beard,et al.  A decentralized approach to formation maneuvers , 2003, IEEE Trans. Robotics Autom..

[5]  Oliver Brock,et al.  Cascaded filter approach to multi-objective control , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[6]  Stefan Scholtes,et al.  Qualitative aspects of the local approximation of a piecewise differentiable function , 1995 .

[7]  Stergios I. Roumeliotis,et al.  "Small-World" Networks of Mobile Robots , 2000, AAAI/IAAI.

[8]  Nikos A. Vlassis,et al.  Multi-robot decision making using coordination graphs , 2003 .

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

[10]  P. Olver.  Nonlinear Systems , 2013 .

[11]  Aaron D. Ames,et al.  Control barrier function based quadratic programs with application to bipedal robotic walking , 2015, 2015 American Control Conference (ACC).

[12]  Petros G. Voulgaris,et al.  Multi-objective control for multi-agent systems using Lyapunov-like barrier functions , 2013, 52nd IEEE Conference on Decision and Control.

[13]  Rafael Wisniewski,et al.  Compositional safety analysis using barrier certificates , 2012, HSCC '12.

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

[15]  Li Wang,et al.  Safety barrier certificates for heterogeneous multi-robot systems , 2016, 2016 American Control Conference (ACC).

[16]  Francis Eng Hock Tay,et al.  Barrier Lyapunov Functions for the control of output-constrained nonlinear systems , 2009, Autom..

[17]  S. Scholtes.  Introduction to Piecewise Differentiable Equations , 2012 .

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

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

[20]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[21]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[22]  Jorge Cortes,et al.  Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms , 2009 .

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

[24]  George J. Pappas,et al.  Hybrid Control for Connectivity Preserving Flocking , 2009, IEEE Transactions on Automatic Control.

[25]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..