Coordinated Path-Following in the Presence of Communication Losses and Time Delays

This paper addresses the problem of steering a group of vehicles along given spatial paths while holding a desired time-varying geometrical formation pattern. The solution to this problem, henceforth referred to as the coordinated path-following (CPF) problem, unfolds in two basic steps. First, a path-following (PF) control law is designed to drive each vehicle to its assigned path, with a nominal speed profile that may be path dependent. This is done by making each vehicle approach a virtual target that moves along the path according to a conveniently defined dynamic law. In the second step, the speeds of the virtual targets (also called coordination states) are adjusted about their nominal values so as to synchronize their positions and achieve, indirectly, vehicle coordination. In the problem formulation, it is explicitly considered that each vehicle transmits its coordination state to a subset of the other vehicles only, as determined by the communications topology adopted. It is shown that the system that is obtained by putting together the PF and coordination subsystems can be naturally viewed as either the feedback or the cascade connection of the latter two. Using this fact and recent results from nonlinear systems and graph theory, conditions are derived under which the PF and the coordination errors are driven to a neighborhood of zero in the presence of communication losses and time delays. Two different situations are considered. The first captures the case where the communication graph is alternately connected and disconnected (brief connectivity losses). The second reflects an operational scenario where the union of the communication graphs over uniform intervals of time remains connected (uniformly connected in mean). To better root the paper in a nontrivial design example, a CPF algorithm is derived for multiple underactuated autonomous underwater vehicles (AUVs). Simulation results are presented and discussed.

[1]  Ali Jadbabaie,et al.  Distributed Geodesic Control Laws for Flocking of Nonholonomic Agents , 2007, IEEE Transactions on Automatic Control.

[2]  M. Cao,et al.  Reaching an Agreement Using Delayed Information , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[3]  Fumin Zhang,et al.  Coordinated Orbit Transfer for Satellite Clusters , 2004, Annals of the New York Academy of Sciences.

[4]  Dimos V. Dimarogonas,et al.  A feedback stabilization and collision avoidance scheme for multiple independent non-point agents, , 2006, Autom..

[5]  M. Mesbahi,et al.  On the optimal balanced-energy formation flying maneuvers , 2005 .

[6]  Manfredi Maggiore,et al.  State Agreement for Continuous-Time Coupled Nonlinear Systems , 2007, SIAM J. Control. Optim..

[7]  Andrea Maggiolo-Schettini,et al.  Dynamic Graphs , 1996, MFCS.

[8]  Carlos Silvestre,et al.  Synchronization in multi-agent systems with switching topologies and non-homogeneous communication delays , 2007, 2007 46th IEEE Conference on Decision and Control.

[9]  M. Cao,et al.  Agreeing Asynchronously: Announcement of Results , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[10]  Naira Hovakimyan,et al.  Coordinated Path Following of Multiple UAVs for Time-Critical Missions in the Presence of Time-Varying Communication Topologies , 2008 .

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

[12]  Mehran Mesbahi,et al.  Formation flying control of multiple spacecraft via graphs , 2001 .

[13]  H. Ito A constructive proof of ISS small-gain theorem using generalized scaling , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[14]  João Pedro Hespanha,et al.  Path-following for nonminimum phase systems removes performance limitations , 2005, IEEE Transactions on Automatic Control.

[15]  John D'Azzo,et al.  Tight Formation Flight Control , 2001 .

[16]  Murat Arcak,et al.  Passivity as a Design Tool for Group Coordination , 2007, IEEE Transactions on Automatic Control.

[17]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[18]  Roger Skjetne,et al.  Robust output maneuvering for a class of nonlinear systems , 2004, Autom..

[19]  Brian D. O. Anderson,et al.  Reaching a Consensus in a Dynamically Changing Environment: Convergence Rates, Measurement Delays, and Asynchronous Events , 2008, SIAM J. Control. Optim..

[20]  Brian D. O. Anderson,et al.  Reaching a Consensus in a Dynamically Changing Environment: Convergence Rates, Measurement Delays, and Asynchronous Events , 2008, SIAM J. Control. Optim..

[21]  Eduardo Sontag,et al.  New characterizations of input-to-state stability , 1996, IEEE Trans. Autom. Control..

[22]  J. Gomes,et al.  Robotic ocean vehicles for marine science applications: the European ASIMOV project , 2000, OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158).

[23]  Randal W. Beard,et al.  A coordination architecture for spacecraft formation control , 2001, IEEE Trans. Control. Syst. Technol..

[24]  I. Kaminer,et al.  Path Generation, Path Following and Coordinated Control for TimeCritical Missions of Multiple UAVs , 2006, 2006 American Control Conference.

[25]  Michael Athans,et al.  Convergence and asymptotic agreement in distributed decision problems , 1982, 1982 21st IEEE Conference on Decision and Control.

[26]  Antonio M. Pascoal,et al.  Coordinated motion control of marine robots , 2003 .

[27]  Richard M. Murray,et al.  Recent Research in Cooperative Control of Multivehicle Systems , 2007 .

[28]  Naomi Ehrich Leonard,et al.  Stabilization of Planar Collective Motion: All-to-All Communication , 2007, IEEE Transactions on Automatic Control.

[29]  I.-A.F. Ihle,et al.  Coordinated Control of Marine Craft , 2006 .

[30]  P.J. Antsaklis,et al.  Asynchronous Consensus Protocols: Preliminary Results, Simulations and Open Questions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[31]  W. Rugh Linear System Theory , 1992 .

[32]  Xiaoming Hu,et al.  A control Lyapunov function approach to multiagent coordination , 2002, IEEE Trans. Robotics Autom..

[33]  I. Kaminer,et al.  Coordinated path-following control of multiple underactuated autonomous vehicles in the presence of communication failures , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[34]  Naomi Ehrich Leonard,et al.  Stable Synchronization of Mechanical System Networks , 2008, SIAM J. Control. Optim..

[35]  J.N. Tsitsiklis,et al.  Convergence in Multiagent Coordination, Consensus, and Flocking , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[37]  Roger Skjetne,et al.  Nonlinear formation control of marine craft , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[38]  Vincent D. Blondel,et al.  Three and higher dimensional autonomous formations: Rigidity, persistence and structural persistence , 2007, Autom..

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

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

[41]  Wei Ren,et al.  Distributed coordination architecture for multi-robot formation control , 2008, Robotics Auton. Syst..

[42]  Randal W. Beard,et al.  Distributed Consensus in Multi-vehicle Cooperative Control - Theory and Applications , 2007, Communications and Control Engineering.

[43]  Daniel J. Stilwell,et al.  Platoons of underwater vehicles , 2000 .

[44]  Naira Hovakimyan,et al.  Coordinated Path Following for Time-Critical Missions of Multiple UAVs via L1 Adaptive Output Feedback Controllers , 2007 .

[45]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

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

[47]  P. Encarnacao,et al.  Combined trajectory tracking and path following: an application to the coordinated control of autonomous marine craft , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[48]  L. Moreau,et al.  Stability of continuous-time distributed consensus algorithms , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[49]  João P. Hespanha,et al.  Trajectory-Tracking and Path-Following of Underactuated Autonomous Vehicles With Parametric Modeling Uncertainty , 2007, IEEE Transactions on Automatic Control.

[50]  Joao P. Hespanha,et al.  Logic-based switching control for trajectory-tracking and path-following of underactuated autonomous vehicles with parametric modeling uncertainty , 2004, Proceedings of the 2004 American Control Conference.

[51]  Jean-Jacques E. Slotine,et al.  Stable concurrent synchronization in dynamic system networks , 2005, Neural Networks.

[52]  John N. Tsitsiklis,et al.  On the Nonexistence of Quadratic Lyapunov Functions for Consensus Algorithms , 2007, IEEE Transactions on Automatic Control.

[53]  Thor I. Fossen,et al.  Guidance and control of ocean vehicles , 1994 .

[54]  Hassan K. Khalil,et al.  Nonlinear Systems Third Edition , 2008 .

[55]  Carlos Silvestre,et al.  Coordinated path following control of multiple wheeled robots , 2004 .

[56]  Eduardo Sontag Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[57]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[58]  F. Y. Hadaegh,et al.  Formation Flying Control of Multiple Spacecraft , 1997 .

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

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

[61]  Mario Innocenti,et al.  Autonomous formation flight , 2000 .

[62]  Erik Kyrkjebø Motion Coordination of Mechanical Systems : Leader-Follower Synchronization of Euler-Lagrange Systems using Output Feedback Control , 2007 .

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

[64]  Naomi Ehrich Leonard,et al.  Control of coordinated patterns for ocean sampling , 2007, Int. J. Control.

[65]  Naomi Ehrich Leonard,et al.  Collective motion and oscillator synchronization , 2005 .

[66]  I.I. Kaminer,et al.  Linear parametrically varying systems with brief instabilities: an application to vision/inertial navigation , 2004, IEEE Transactions on Aerospace and Electronic Systems.

[67]  Daniel J. Klein,et al.  Cooperative Target Tracking using Oscillator Models in Three Dimensions , 2007, 2007 American Control Conference.

[68]  A. Jadbabaie,et al.  Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[69]  William B. Dunbar,et al.  Distributed receding horizon control for multi-vehicle formation stabilization , 2006, Autom..