Propagation Stability Concepts for Network Synchronization Processes
Sandip Roy, Subir Sarker, and Mengran Xue
Abstract— A notion of disturbance propagation stability is
defined for dynamical network processes, in terms of decres-
cence of an input-output energy metric along cutsets away from
the disturbance source. A characterization of the disturbance
propagation notion is developed for a canonical model for
synchronization of linearly-coupled homogeneous subsystems.
Specifically, propagation stability is equivalenced with the
frequency response of a certain local closed-loop model, which
is defined from the subsystem model and local network connec-
tions, being sub-unity gain. For the case where the subsystem
is single-input single-output (SISO), a further simplification in
terms of the subsystem’s open loop Nyquist plot is obtained.
An extension of the disturbance propagation stability concept
toward imperviousness of subnetworks to disturbances is briefly
developed, and an example focused on networks with planar
subsystems is considered.
I. INTRODUCTION
The synchronization of coupled systems is common in
nature and in the engineered world. For this reason, there has
been a substantial cross-disciplinary research effort to define
and characterize synchronization phenomena in networks
of coupled systems [1]–[3]. These studies define synchro-
nization in terms of the internal asymptotic stability of a
manifold, on which each coupled system has an identical
state or output. However, synchronization in a practical sense
requires not only that the coupled systems come to a common
state/output, but also that this equilibrium is impervious to
external disturbances. Based on this recognition, a body of
recent work has considered the disturbance responses of
network synchronization processes [4]–[6]. Broadly, these
efforts model disturbances as impinging on all or a subset
of subsystems within a network, and evaluate their potential
impacts on network-wide synchrony according to a perfor-
mance metric (typically, a H2or H∞gain). The studies in
this direction have largely focused on evaluating the metrics
from a graph-theoretic perspective, and designing controllers
to bound the performance metrics within a threshold.
Engineers working with large-scale built networks often
do not think about coordination in terms of either internal
stability characteristics or global (network-wide) disturbance
response metrics. Rather, they are concerned with the extent
of propagation of local disturbances, whether arising from
exogenous inputs or state deviations. For instance, bulk
power grid operators often distinguish well-damped networks
where oscillatory disturbance responses remain localized
from poorly-damped ones where such disturbances have
network-wide impact [7]. Similar assessments of network
The first two authors are with School of Electrical Engineering and Com-
puter Science, Washington State University, Pullman, WA 99164, USA. The
third author is with Raytheon BBN Technologies. Correspondence:
sandip@wsu.edu
performance in terms of disturbance propagation are of
interest in disciplines ranging from air traffic management
to infectious-disease epidemiology and cyber-security [8].
The spatial propagation of disturbances among intercon-
nected systems in cascade or line-topology configurations
has been extensively researched under the heading of string
stability [9], [10]. The string stability concept has also been
extended to general directional networks in the mesh stability
literature [11]. The recent study [12] has recognized the need
for disturbance-propagation stability notions for general (bi-
directionally connected) dynamical networks, and therefore
has proposed a definition for network stability in terms
of boundedness of input-to-state or input-to-output gains
which parallels the basic string stability definition. It has
also introduced an alternate network stability definition for
tree-like graphs which captures monotonic decresence of the
propagative response away from the disturbance source; this
definition is a generalization of the strict string stability con-
cept [10]. Other recent studies have also examined stability
notions for linear and nonlinear network processes, which are
concerned with disturbance propagation (e.g., [13]). Addi-
tionally, a number of recent studies have characterized local-
input-to-output properties of dynamical networks (e.g., gains,
zeros), without however explicitly considering propagation
[14], [15]. However, definitions for propagation stability are
not yet mature, and the formal analysis of propagation is
incomplete even for networks of coupled linear systems.
The purpose of this article is to define and characterize a
notion of disturbance propagation stability in the context of
a canonical network model for synchronization of coupled
homogeneous linear subsystems. The main contributions of
the study are two-fold:
1) A general definition is introduced for (strict) propaga-
tion stability, based on decrescence of response norms across
cutsets in the network’s digraph, or equivalently along paths
away from the disturbance source.
2) Propagation stability is characterized in terms of the
closed-loop frequency responses of the subsystem model
with a proportional feedback controller applied. For the case
of single-input single-output subsystems, these conditions are
further simplified to conditions on the subsystem’s open-loop
frequency response and/or transfer function.
The analysis of propagation stability depends on a new,
local characterization of synchronization models. This char-
acterization is markedly different from the spectral decom-
position that has been exhaustively used to understand both
internal and global external stability [1], [2], and provides
a further assessment/categorization of synchronization pro-
cesses.
arXiv:2210.04370v1 [eess.SY] 9 Oct 2022