Coverage control for mobile sensing networks

This paper presents control and coordination algorithms for groups of vehicles. The focus is on autonomous vehicle networks performing distributed sensing tasks, where each vehicle plays the role of a mobile tunable sensor. The paper proposes gradient descent algorithms for a class of utility functions which encode optimal coverage and sensing policies. The resulting closed-loop behavior is adaptive, distributed, asynchronous, and verifiably correct.

[1]  Lynne E. Parker,et al.  Multi-Robot Systems: From Swarms to Intelligent Automata , 2002, Springer Netherlands.

[2]  Lynne E. Parker,et al.  ALLIANCE: an architecture for fault tolerant multirobot cooperation , 1998, IEEE Trans. Robotics Autom..

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

[4]  Leonidas J. Guibas,et al.  Geometric spanners for routing in mobile networks , 2005 .

[5]  Maja J. Mataric,et al.  Territorial multi-robot task division , 1998, IEEE Trans. Robotics Autom..

[6]  E. Rafajłowicz.  Optimum choice of moving sensor trajectories for distributed-parameter system identification , 1986 .

[7]  Valmir Carneiro Barbosa,et al.  An introduction to distributed algorithms , 1996 .

[8]  Roy M. Turner,et al.  Organization and reorganization of autonomous oceanographic sampling networks , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[9]  Vijay Kumar,et al.  Modeling and control of formations of nonholonomic mobile robots , 2001, IEEE Trans. Robotics Autom..

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

[11]  S. P. Lloyd,et al.  Least squares quantization in PCM , 1982, IEEE Trans. Inf. Theory.

[12]  Z. Drezner,et al.  The p-center location problem in an area , 1996 .

[13]  Eric Klavins,et al.  Communication Complexity of Multi-robot Systems , 2002, WAFR.

[14]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[15]  Atsuyuki Okabe,et al.  Nearest Neighbourhood Operations with Generalized Voronoi Diagrams: A Review , 1994, Int. J. Geogr. Inf. Sci..

[16]  Xiaoming Hu,et al.  Formation constrained multi-agent control , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[17]  Gaurav S. Sukhatme,et al.  Mobile Sensor Network Deployment using Potential Fields : A Distributed , Scalable Solution to the Area Coverage Problem , 2002 .

[18]  Eric Walter,et al.  Qualitative and quantitative experiment design for phenomenological models - A survey , 1990, Autom..

[19]  Francesco Bullo,et al.  COVERAGE CONTROL FOR MOBILE SENSING NETWORKS: VARIATIONS ON A THEME , 2002 .

[20]  Shashi Phoha,et al.  SAMON: communication, cooperation and learning of mobile autonomous robotic agents , 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.

[21]  Tomás Lozano-Pérez,et al.  On multiple moving objects , 2005, Algorithmica.

[22]  D. Taghirad.  Ieee Transactions on Robotics and Automation 1 Robust Torque Control of Harmonic Drive Systems , 1997 .

[23]  Howie Choset,et al.  Coverage for robotics – A survey of recent results , 2001, Annals of Mathematics and Artificial Intelligence.

[24]  Jae-Hyuk Oh,et al.  Safety certification of air traffic conflict resolution algorithms involving more than two aircraft , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

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

[26]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[27]  Atsuo Suzuki,et al.  Locational optimization problems solved through Voronoi diagrams , 1997 .

[28]  David L. Neuhoff,et al.  Quantization , 2022, IEEE Trans. Inf. Theory.

[29]  I. Chavel.  Eigenvalues in Riemannian geometry , 1984 .

[30]  Tucker R. Balch,et al.  Social potentials for scalable multi-robot formations , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[31]  Lynne E. Parker,et al.  Distributed Algorithms for Multi-Robot Observation of Multiple Moving Targets , 2002, Auton. Robots.

[32]  Maja J. Mataric,et al.  Behaviour-based control: examples from navigation, learning, and group behaviour , 1997, J. Exp. Theor. Artif. Intell..

[33]  A. Schaft.  L2-Gain and Passivity Techniques in Nonlinear Control. Lecture Notes in Control and Information Sciences 218 , 1996 .

[34]  Miodrag Potkonjak,et al.  Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure , 2001, MobiHoc '01.

[35]  George J. Pappas,et al.  Con ict Resolution for Air Tra c Management: a Study in Multi-Agent Hybrid Systems , 1997 .

[36]  Qiang Du,et al.  Centroidal Voronoi Tessellations: Applications and Algorithms , 1999, SIAM Rev..

[37]  Howie Choset,et al.  Sensor-based Coverage of Unknown Environments: Incremental Construction of Morse Decompositions , 2002, Int. J. Robotics Res..

[38]  Lynne E. Parker,et al.  Robot Teams: From Diversity to Polymorphism , 2002 .

[39]  D. Ucinski.  Optimal Selection of Measurement Locations for Parameter Estimation in Distributed Processes , 2000 .

[40]  Steven H. Low,et al.  Optimization flow control—I: basic algorithm and convergence , 1999, TNET.

[41]  Roy M. Turner,et al.  Organization and reorganization of autonomous oceanographic sampling networks , 1996, Proceedings of Symposium on Autonomous Underwater Vehicle Technology.

[42]  Carlo Cattani,et al.  Boundary integration over linear polyhedra , 1990, Comput. Aided Des..

[43]  Christoforos N. Hadjicostis,et al.  Distributed Algorithms for Voronoi Diagrams and Applications in Ad-hoc Networks , 2003 .

[44]  John N. Tsitsiklis,et al.  Distributed Asynchronous Deterministic and Stochastic Gradient Optimization Algorithms , 1984, 1984 American Control Conference.

[45]  David Letscher,et al.  Delaunay triangulations and Voronoi diagrams for Riemannian manifolds , 2000, SCG '00.

[46]  J. E. Harding,et al.  Engineering mechanics—statics and an introduction to dynamics (2nd edition) , 1989 .

[47]  J. Bellingham,et al.  Autonomous Oceanographic Sampling Networks , 1993 .

[48]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..

[49]  David Eppstein,et al.  Optimal point placement for mesh smoothing , 1997, SODA '97.

[50]  Xiang-Yang Li,et al.  Constructing minimum energy mobile wireless networks , 2001, MOCO.

[51]  Tomás Lozano-Pérez,et al.  On multiple moving objects , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[52]  George J. Pappas,et al.  Feasible formations of multi-agent systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[53]  Jun Ota,et al.  Cooperative transport in an unknown environment associated with task assignment , 2000, Adv. Robotics.

[54]  Steven Fortune,et al.  Voronoi Diagrams and Delaunay Triangulations , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[55]  Masafumi Yamashita,et al.  Distributed memoryless point convergence algorithm for mobile robots with limited visibility , 1999, IEEE Trans. Robotics Autom..

[56]  Y. Oshman,et al.  Optimization of observer trajectories for bearings-only target localization , 1999 .

[57]  Maria L. Gini,et al.  Enlisting rangers and scouts for reconnaissance and surveillance , 2000, IEEE Robotics Autom. Mag..

[58]  R. Murray,et al.  Agreement problems in networks with directed graphs and switching topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[59]  I. Holopainen.  Riemannian Geometry , 1927, Nature.

[60]  Eric Krotkov,et al.  The Defense Advanced Research Projects Agency (DARPA) Tactical Mobile Robotics Program , 1999, Int. J. Robotics Res..

[61]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[62]  Nikolaos Papanikolopoulos,et al.  System of launchable mesoscale robots for distributed sensing , 1999, Optics East.

[63]  R. Murray,et al.  Graph rigidity and distributed formation stabilization of multi-vehicle systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[64]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[65]  Naomi Ehrich Leonard,et al.  Vehicle networks for gradient descent in a sampled environment , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[66]  Said Salhi,et al.  Facility Location: A Survey of Applications and Methods , 1996 .

[67]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[68]  Atsuyuki Okabe,et al.  Using Voronoi Diagrams , 1995 .

[69]  Franz Aurenhammer,et al.  Voronoi diagrams—a survey of a fundamental geometric data structure , 1991, CSUR.

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

[71]  B. C.,et al.  Engineering Mechanics , 1942, Nature.

[72]  Tamio Arai,et al.  Distributed and autonomous control method for generating shape of multiple mobile robot group , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[73]  Maja J. Matari,et al.  Behavior-based Control: Examples from Navigation, Learning, and Group Behavior , 1997 .

[74]  Matthew L. Staten,et al.  An Approach to Combined Laplacian and Optimization-Based Smoothing for Triangular, Quadrilateral, and Quad-Dominant Meshes , 1998, IMR.

[75]  Francesco Bullo,et al.  Coordination and Geometric Optimization via Distributed Dynamical Systems , 2003, SIAM J. Control. Optim..

[76]  J. Marsden,et al.  A mathematical introduction to fluid mechanics , 1979 .

[77]  Steven M. LaValle,et al.  Optimal motion planning for multiple robots having independent goals , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[78]  Larry H. Matthies,et al.  Miniature robots for space and military missions , 1998, IEEE Robotics Autom. Mag..

[79]  Rolf Klein,et al.  Concrete and Abstract Voronoi Diagrams , 1990, Lecture Notes in Computer Science.

[80]  Ichiro Suzuki,et al.  Distributed algorithms for formation of geometric patterns with many mobile robots , 1996, J. Field Robotics.

[81]  D. Ucinski.  Optimal sensor location for parameter estimation of distributed processes , 2000 .

[82]  Paulo Tabuada,et al.  Motion feasibility of multi-agent formations , 2005, IEEE Transactions on Robotics.