Lyapunov-Based Small-Gain Theorem

• Lyapunov-Based Small-Gain Theorem is a framework that uses composite Lyapunov functions to systematically certify input-to-state stability in interconnected systems.
• It aggregates local Lyapunov dissipation inequalities with interconnection gains to enable finite-step analysis even when some subsystems are not inherently ISS.
• The theorem extends to hybrid, infinite-dimensional, and exponentially stable networks by employing robustification operators and numerical methods for verification.

A Lyapunov-Based Small-Gain Theorem provides systematic criteria for establishing input-to-state stability (ISS) and its variants (including exponential ISS, ISS with respect to closed sets, and ISS for hybrid or infinite-dimensional systems) in networks composed of multiple—potentially infinitely many—interconnected subsystems. The theorem connects local Lyapunov dissipation inequalities and interconnection gains to the global stability properties of the entire network, replacing classical trajectory-based arguments with composite Lyapunov function constructions that reflect the coupling topology and strength.

1. Foundations: ISS, Lyapunov Functions, and Gain Operators

Input-to-state stability (ISS) for a discrete-time system $x(k+1) = G(x(k),u(k))$ (state $x\in\R^n$, input $u\in\R^m$) is defined by the existence of functions $\beta\in\KL$ and $\gamma\in\K$ such that

$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$

A dissipative ISS Lyapunov function $V:\R^n\to\R_+$ satisfies

$$V(G(\xi, \mu)) \leq \rho(V(\xi)) + \sigma(\|\mu\|),$$

with $\rho,\sigma\in\K$, $\rho<\text{id}$. Finite-step relaxations require the bound after $x\in\R^n$0 steps.

For an interconnected network with $x\in\R^n$1 subsystems, each subsystem $x\in\R^n$2 has a local Lyapunov-type function $x\in\R^n$3, and finite-step ISS inequalities are formulated in terms of interconnection gains $x\in\R^n$4 and external gains $x\in\R^n$5:

$x\in\R^n$6

This leads to a vector-valued gain operator:

$x\in\R^n$7

where $x\in\R^n$8.

2. Main Theorem: Relaxed Finite-Step Small-Gain for Discrete-Time Networks

The relaxed finite-step ISS small-gain theorem (Geiselhart et al., 2014) claims:

If for each $x\in\R^n$9,

• $u\in\R^m$0 are proper, positive-definite;
• There exist $u\in\R^m$1 and gains $u\in\R^m$2 such that $u\in\R^m$3 for all $u\in\R^m$4,
• A diagonal "robustification" $u\in\R^m$5 with $u\in\R^m$6 is such that $u\in\R^m$7 for all $u\in\R^m$8,

then one can construct:

• an $u\in\R^m$9-path $\beta\in\KL$0 with $\beta\in\KL$1 satisfying $\beta\in\KL$2 for all $\beta\in\KL$3 (with $\beta\in\KL$4);
• a global finite-step Lyapunov function

$\beta\in\KL$5

satisfying after $\beta\in\KL$6 steps:

$\beta\in\KL$7

Thus, the network is ISS.

The sum-form variant replaces the maximum with sums and applies a similar condition (Theorem 5.4 in (Geiselhart et al., 2014)).

3. Non-Conservatism in ExpISS Networks

For exponentially ISS networks,

$\beta\in\KL$8

any norm $\beta\in\KL$9 becomes a dissipative finite-step ISS Lyapunov function for sufficiently large $\gamma\in\K$0 (Theorem 4.6 (Geiselhart et al., 2014)). The relaxed small-gain condition in terms of finite-step gains $\gamma\in\K$1 is both sufficient and necessary for ISS in the exponentially ISS class, making the relaxed theorem non-conservative for expISS networks.

4. Small-Gain Condition: Classical, Strong, and Path-Based Forms

The classical small-gain requirement for the gain operator $\gamma\in\K$2 is absence of nontrivial fixed points:

$\gamma\in\K$3

For potentially unstable subsystems, a "strong" small-gain condition is imposed,

$\gamma\in\K$4

with $\gamma\in\K$5 for suitably chosen $\gamma\in\K$6.

Construction of the $\gamma\in\K$7-path $\gamma\in\K$8 solving $\gamma\in\K$9 is enabled by this stronger condition. The path-of-decay approach translates the vector-valued interconnection into a scalar contraction suitable for global Lyapunov aggregation.

5. Implications and Extensions: Hybrid Systems, Infinite Networks, and Computational Approaches

• The same aggregation methodology applies to hybrid systems, impulsive systems, and systems where not all subsystems are ISS. In those cases, clocks (average dwell-time or reverse dwell-time) modify the Lyapunov functions to establish the necessary rates for small-gain arguments (Mironchenko et al., 2016).
• In infinite networks, the gain operator generalizes to infinite dimensions, with small-gain conditions typically expressed in terms of the spectral radius of the (possibly linear) operator built from interconnection gains. If the spectral radius is less than one, then the infinite network admits a coercive exponential ISS Lyapunov function as a weighted sum of the local Lyapunov functions (Noroozi et al., 2020, Mironchenko et al., 2021, Kawan et al., 2019).

Theorem Variant	System Type	Small-Gain Operator	Key Lyapunov Form
Relaxed finite-step	Discrete-time	Max or sum type, finite N	$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$0
ExpISS characterization	Discrete-time	Linear gains, finite N	$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$1, $$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$2
Infinite network ISS	Infinite-dimensional	Linear operator $$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$3	$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$4
Hybrid extension	Hybrid/impulsive	General monotone	$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$5

6. Proof Structure and Construction Methods

The proof involves:

• Establishing local finite-step dissipation inequalities in terms of gains.
• Aggregating these inequalities through the monotonicity of the gain operator, usually after $$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$6 steps.
• Constructing the scalar Lyapunov function with contraction property via path $$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$7 after robustification.
• Demonstrating that the composite Lyapunov decays along trajectories, up to bounded input terms, and thus certifies ISS.

For practical computation, numerical homotopy methods and fixed-point algorithms to find decay points for the gain operator have been developed (Geiselhart et al., 2011), enabling direct verification and construction of the global Lyapunov function for large or nonlinear networks.

7. Representative Example and Applications

A canonical application is the nonlinear two-subsystem network:

$$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$8

Despite the decoupled $$\|x(k,\xi,u)\| \leq \beta(\|\xi\|,k) + \gamma(\|u\|_\infty) \quad \forall k\in\mathbb{N}.$$9 subsystem being not 0-input stable, the interconnected network is shown ISS by constructing $V:\R^n\to\R_+$0, $V:\R^n\to\R_+$1, computing finite-step gains $V:\R^n\to\R_+$2, checking $V:\R^n\to\R_+$3, and synthesizing the global Lyapunov $V:\R^n\to\R_+$4 (Geiselhart et al., 2014).

The framework applies to large-scale networks, synchronization problems, distributed observers, hybrid systems, and time-delay systems. The relaxed theorem is particularly potent where classical assumptions of ISS subsystems are either violated or overly conservative.

---

References

• "Relaxed ISS Small-Gain Theorems for Discrete-Time Systems" (Geiselhart et al., 2014)
• "Lyapunov small-gain theorems for networks of not necessarily ISS hybrid systems" (Mironchenko et al., 2016)
• "Small-gain theorem for stability, cooperative control and distributed observation of infinite networks" (Noroozi et al., 2020)
• "ISS small-gain criteria for infinite networks with linear gain functions" (Mironchenko et al., 2021)
• "Numerical Construction of LISS Lyapunov Functions under a Small Gain Condition" (Geiselhart et al., 2011)