ISS small-gain criteria for infinite networks with linear gain functions

TL;DR

This paper develops a Lyapunov-based small-gain theorem for input-to-state stability of infinite networks with linear internal gains, using a spectral radius condition and applicable to symmetric interconnection topologies.

Contribution

It introduces a novel small-gain criterion for infinite-dimensional networks with linear gains, extending ISS theory to infinite networks modeled on $ ext{ell}_ ext{infinity}$ spaces.

Findings

Small-gain condition characterized by a generalized spectral radius.

Applicable to networks with symmetric interconnection topology.

Provides both implication and dissipative ISS Lyapunov functions.

Abstract

This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networks on infinite-dimensional $\ell_{\infty}$-type spaces. A crucial assumption in our results is that the internal Lyapunov gains, modeling the influence of the subsystems on each other, are linear functions. Moreover, the gain operator built from the internal gains is assumed to be subadditive and homogeneous, which covers both max-type and sum-type formulations for the ISS Lyapunov functions of the subsystems. As a consequence, the small-gain condition can be formulated in terms of a generalized spectral radius of the gain operator. Through an example, we show that the small-gain condition can easily be checked if the interconnection topology of the network has some kind of symmetry. While our main result provides an ISS Lyapunov function in implication form for the overall network, an ISS Lyapunov function in a dissipative form is constructed under mild extra assumptions.