Networks of coupled systems may exhibit a form of incomplete synchronization called partial synchronization or cluster synchronization, which refers to the situation where only some, but not all, systems exhibit synchronous behavior. Moreover, due to perturbations or uncertainties in the network, exact partial synchronization in the sense that the states of the systems within each cluster become identical, cannot be achieved. Instead, an approximate synchronization may be observed, where the states of the systems within each cluster converge up to some bound, and this bound tends to zero if (the size of) the perturbations tends to zero. In order to derive sufficient conditions for this robustified notion of synchronization, which we refer to as practical partial synchronization, first, we separate the synchronization error dynamics from the network dynamics and interpret them in terms of a nonautonomous system of delay differential equations with a bounded additive perturbation. Second, by assessing the practical stability of this error system, conditions for practical partial synchronization are derived and formulated in terms of linear matrix inequalities. In addition, an explicit relation between the size of perturbation and the bound of the synchronization error is provided. ... Read more

Networks of interconnected dynamical systems may exhibit a so-called partial synchronization phenomenon, which refers to synchronous behaviors of some but not all of the systems. The patterns of partial synchronization are often characterized by partial synchronization manifolds, which are linear invariant subspace of the state space of the network dynamics. Here, we propose a Lyapunov-Krasovskii approach to analyze the stability of partial synchronization manifolds in delay-coupled networks. First, the synchronization error dynamics are isolated from the network dynamics in a systematic way. Second, we use a parameter-dependent Lyapunov-Krasovskii functional to assess the local stability of the manifold, by employing techniques originally developed for linear parameter-varying (LPV) time-delay systems. The stability conditions are formulated in the form of linear matrix inequalities (LMIs) which can be solved by several available tools. ... Read more