Passivity as a Design Tool for Group Coordination

We pursue a group coordination problem where the objective is to steer the differences between output variables of the group members to a prescribed compact set. To stabilize this set we study a class of feedback rules that are implementable with local information available to each member. When the information flow between neighboring members is bidirectional, we show that the closed-loop system exhibits a special interconnection structure which inherits the passivity properties of its components. By exploiting this structure we develop a passivity-based design framework, which results in a broad class of feedback rules that encompass as special cases some of the existing formation stabilization and group agreement designs in the literature. The passivity approach offers additional design flexibility compared to these special cases, and systematically constructs a Lurie-type Lyapunov function for the closed-loop system. We further study the robustness of these feedback laws in the presence of a time-varying communication topology, and present a persistency of excitation condition which allows the interconnection graph to lose connectivity pointwise in time as long as it is established in an integral sense.

[1]  G. P. Szegö,et al.  ON THE ABSOLUTE STABILITY OF SAMPLED-DATA CONTROL SYSTEMS. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Jan C. Willems.  Direct method for transient stability studies in power system analysis , 1971 .

[3]  S. Roy,et al.  A control-theoretic perspective on the design of distributed agreement protocols , 2005, Proceedings of the 2005, American Control Conference, 2005..

[4]  E. I. Jury,et al.  On the stability of a certain class of nonlinear sampled-data systems , 1964 .

[5]  N. Biggs.  Algebraic Graph Theory: COLOURING PROBLEMS , 1974 .

[6]  A. Teel,et al.  A Smooth Lyapunov Function from a Class-kl Estimate Involving Two Positive Semideenite Functions , 1999 .

[7]  Chai Wah Wu.  Synchronization in arrays of coupled nonlinear systems: passivity circle criterion and observer design , 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).

[8]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[9]  E. I. Jury,et al.  On the absolute stability of nonlinear sample-data systems , 1964 .

[10]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

[11]  George J. Pappas,et al.  Stable flocking of mobile agents, part I: fixed topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[12]  A. Teel,et al.  A smooth Lyapunov function from a class- ${\mathcal{KL}}$ estimate involving two positive semidefinite functions , 2000 .

[13]  Jean-Jacques E. Slotine,et al.  A Study of Synchronization and Group Cooperation Using Partial Contraction Theory , 2004 .

[14]  David G. Luenberger,et al.  Linear and nonlinear programming , 1984 .

[15]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[16]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[17]  Antonio Loría,et al.  A nested Matrosov theorem and persistency of excitation for uniform convergence in stable nonautonomous systems , 2005, IEEE Transactions on Automatic Control.

[18]  Ayhan Albostan.  DIRECT METHODS FOR TRANSIENT STABILITY STUDIES IN POWER SYSTEM ANALYSIS , 2007 .

[19]  Naomi Ehrich Leonard,et al.  Virtual leaders, artificial potentials and coordinated control of groups , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[20]  Kinkar Ch. Das,et al.  An improved upper bound for Laplacian graph eigenvalues , 2003 .

[21]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1998 .

[22]  Mireille E. Broucke,et al.  Formations of vehicles in cyclic pursuit , 2004, IEEE Transactions on Automatic Control.

[23]  Richard M. Murray,et al.  Consensus Protocols for Undirected Networks of Dynamic Agents with Communication Time-Delays , 2003 .

[24]  Timothy W. McLain,et al.  Cooperative forest fire surveillance using a team of small unmanned air vehicles , 2006, Int. J. Syst. Sci..

[25]  Richard M. Murray,et al.  INFORMATION FLOW AND COOPERATIVE CONTROL OF VEHICLE FORMATIONS , 2002 .

[26]  K. R. Padiyar,et al.  ENERGY FUNCTION ANALYSIS FOR POWER SYSTEM STABILITY , 1990 .

[27]  J. I. Soliman,et al.  Absolute stability of a class of nonlinear sampled-data systems , 1969 .

[28]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[29]  Petter Ögren,et al.  Cooperative control of mobile sensor networks:Adaptive gradient climbing in a distributed environment , 2004, IEEE Transactions on Automatic Control.

[30]  Manfredi Maggiore,et al.  ON THE STATE AGREEMENT PROBLEM FOR MULTIPLE NONLINEAR DYNAMICAL SYSTEMS , 2005 .

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

[32]  Vijay Kumar,et al.  Leader-to-formation stability , 2004, IEEE Transactions on Robotics and Automation.

[33]  K.M. Passino,et al.  Stability analysis of social foraging swarms , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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