Design of Optimal Sparse Interconnection Graphs for Synchronization of Oscillator Networks

We study the optimal design of a conductance network as a means for synchronizing a given set of oscillators. Synchronization is achieved when all oscillator voltages reach consensus, and performance is quantified by the mean-square deviation from the consensus value. We formulate optimization problems that address the tradeoff between synchronization performance and the number and strength of oscillator couplings. We promote the sparsity of the coupling network by penalizing the number of interconnection links. For identical oscillators, we establish convexity of the optimization problem and demonstrate that the design problem can be formulated as a semidefinite program. Finally, for special classes of oscillator networks we derive explicit analytical expressions for the optimal conductance values.

[1]  Pablo A. Parrilo,et al.  $ {\cal H}_{2}$-Optimal Decentralized Control Over Posets: A State-Space Solution for State-Feedback , 2010, IEEE Transactions on Automatic Control.

[2]  Florian Dörfler,et al.  Exploring synchronization in complex oscillator networks , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[3]  Michael Chertkov,et al.  Sparse and optimal wide-area damping control in power networks , 2013, 2013 American Control Conference.

[4]  Bassam Bamieh,et al.  Exact computation of traces and H2 norms for a class of infinite-dimensional problems , 2003, IEEE Trans. Autom. Control..

[5]  Michael Chertkov,et al.  Synchronization assessment in power networks and coupled oscillators , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[6]  Francesco Bullo,et al.  On the critical coupling strength for Kuramoto oscillators , 2011, Proceedings of the 2011 American Control Conference.

[7]  Fernando Paganini,et al.  Distributed control of spatially invariant systems , 2002, IEEE Trans. Autom. Control..

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

[9]  Chris Arney,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World (Easley, D. and Kleinberg, J.; 2010) [Book Review] , 2013, IEEE Technology and Society Magazine.

[10]  Mihailo R. Jovanovic,et al.  Design of optimal controllers for spatially invariant systems with finite communication speed , 2011, Autom..

[11]  Fu Lin,et al.  On the optimal design of structured feedback gains for interconnected systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[12]  Fernando Paganini,et al.  Convex synthesis of localized controllers for spatially invariant systems , 2002, Autom..

[13]  S. Lall,et al.  An explicit state-space solution for a decentralized two-player optimal linear-quadratic regulator , 2010, Proceedings of the 2010 American Control Conference.

[14]  Fu Lin,et al.  On the optimal synchronization of oscillator networks via sparse interconnection graphs , 2012, 2012 American Control Conference (ACC).

[15]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[16]  Pablo A. Parrilo,et al.  ℋ2-optimal decentralized control over posets: A state space solution for state-feedback , 2010, 49th IEEE Conference on Decision and Control (CDC).

[17]  Florian Dörfler,et al.  Kron Reduction of Graphs With Applications to Electrical Networks , 2011, IEEE Transactions on Circuits and Systems I: Regular Papers.

[18]  S. Strogatz.  From Kuramoto to Crawford: exploring the onset of synchronization in populations of coupled oscillators , 2000 .

[19]  Fu Lin,et al.  Augmented Lagrangian Approach to Design of Structured Optimal State Feedback Gains , 2011, IEEE Transactions on Automatic Control.

[20]  Sanjay Lall,et al.  A Characterization of Convex Problems in Decentralized Control$^ast$ , 2005, IEEE Transactions on Automatic Control.

[21]  Stephen P. Boyd,et al.  Enhancing Sparsity by Reweighted ℓ1 Minimization , 2007, 0711.1612.

[22]  Mark Newman,et al.  Networks: An Introduction , 2010 .

[23]  Petros G. Voulgaris,et al.  A convex characterization of distributed control problems in spatially invariant systems with communication constraints , 2005, Syst. Control. Lett..

[24]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[25]  Jon M. Kleinberg,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World [Book Review] , 2013, IEEE Technol. Soc. Mag..

[26]  Stephen P. Boyd,et al.  Minimizing Effective Resistance of a Graph , 2008, SIAM Rev..

[27]  Rodolphe Sepulchre,et al.  Kick synchronization versus diffusive synchronization , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[28]  Petros G. Voulgaris,et al.  Optimal H2 controllers for spatially invariant systems with delayed communication requirements , 2003, Syst. Control. Lett..

[29]  Fu Lin,et al.  Optimal Control of Vehicular Formations With Nearest Neighbor Interactions , 2011, IEEE Transactions on Automatic Control.

[30]  Stephen P. Boyd,et al.  Graph Implementations for Nonsmooth Convex Programs , 2008, Recent Advances in Learning and Control.

[31]  Sanjay Lall,et al.  Optimal controller synthesis for the decentralized two-player problem with output feedback , 2012, 2012 American Control Conference (ACC).

[32]  Wei Ren,et al.  Synchronization of coupled harmonic oscillators with local interaction , 2008, Autom..

[33]  Francesco Borrelli,et al.  Distributed LQR Design for Identical Dynamically Decoupled Systems , 2008, IEEE Transactions on Automatic Control.

[34]  Nader Motee,et al.  Optimal Control of Spatially Distributed Systems , 2008, 2007 American Control Conference.

[35]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[36]  M. Fardad,et al.  Sparsity-promoting optimal control for a class of distributed systems , 2011, Proceedings of the 2011 American Control Conference.

[37]  A. Jadbabaie,et al.  On the stability of the Kuramoto model of coupled nonlinear oscillators , 2005, Proceedings of the 2004 American Control Conference.

[38]  A. Rantzer,et al.  A Separation Principle for Distributed Control , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[39]  Cédric Langbort,et al.  Distributed control design for systems interconnected over an arbitrary graph , 2004, IEEE Transactions on Automatic Control.

[40]  E. Candès,et al.  Stable signal recovery from incomplete and inaccurate measurements , 2005, math/0503066.

[41]  Geir E. Dullerud,et al.  Distributed control design for spatially interconnected systems , 2003, IEEE Trans. Autom. Control..

[42]  Fu Lin,et al.  Design of Optimal Sparse Feedback Gains via the Alternating Direction Method of Multipliers , 2011, IEEE Transactions on Automatic Control.

[43]  Murat Arcak,et al.  Synchronization and pattern formation in diffusively coupled systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[44]  Florian Dörfler,et al.  Synchronization and transient stability in power networks and non-uniform Kuramoto oscillators , 2009, Proceedings of the 2010 American Control Conference.

[45]  Mi-Ching Tsai,et al.  Robust and Optimal Control , 2014 .