---
title: Switched and Composite SVFs
url: https://www.emergentmind.com/topics/switched-and-composite-svfs
type: topic
---

# Switched and Composite SVFs

Switched and composite storage–Lyapunov functions (SVFs) constitute a foundational framework for analyzing, certifying, and refining dynamical properties within networks of switched systems. These tools leverage multiple candidate Lyapunov-type functions, often indexed by graphs or structured via compositional techniques, to accommodate the complexity and heterogeneity inherent in switched, interconnected, or abstracted systems. The theory and practical algorithms around SVFs have seen rapid evolution, with core contributions relating to graphical orderings, combinatorial lifts, compositional small-gain guarantees, and simulation/abstraction interfaces.

## 1. Path-Complete Lyapunov Functions and Graph Structures

The concept of a path-complete Lyapunov function (PCLF) organizes multiple Lyapunov candidates through a labeled directed graph $\G = (S, E)$, where $S$ is a finite set of nodes, $E \subset S \times S \times \Sigma$ is a set of edges labeled by the switching alphabet $\Sigma$, and each node $s \in S$ is assigned a function $V_s$ from a fixed template $\mathcal V$ of positive-definite, radially unbounded functions. The defining property of *path-completeness* is: every finite word $w = i_1 i_2 \cdots i_k \in \Sigma^k$ must label a walk through $\G$. The PCLF is valid if for all edges $(a,b,i) \in E$,
$$
V_a(x) \ge \gamma V_b(f_i(x)),\quad \forall x \in \mathbb R^n
$$
where the maps $f_i$ define the switched system $x(k+1) = f_{\sigma(k)}(x(k))$. For $\gamma > 1$, the PCLF certifies uniform global asymptotic stability (UGAS) of the origin.

Preorders between graphs are introduced to compare PCLF expressivity. Given two path-complete graphs $\G_1, \G_2$, one writes $\G_1 \preceq_{(\Gamma, \mathcal V, \mathcal F)} \G_2$ if any stability certificate in the form of a PCLF on $\G_1$ for dynamics class $\mathcal F$ and template $\mathcal V$ can be lifted to a certificate (with the same $\gamma$) on $\G_2$ [2503.18189].

## 2. Composition Lifts and Graph Refinement Operations

Closure under composition—a key structural property of $\mathcal V$—enables the pivotal *composition-lift* operations. For each template function $V(x) \in \mathcal V$, if $V \circ f_i \in \mathcal V$ for all $i$, one can systematically derive new Lyapunov inequalities by composing both sides with available system maps. The $T$-forward composition lift constructs the node set
$$
S^{\circ T} = \left\{(s,j_1, \ldots, j_T): s \in S, (j_1, \ldots, j_T) \in \Sigma^T \right\}
$$
and edges mimicking the passage of switching words, iterated over all $T \ge 0$. The *full composition lift* is the union $\G^\circ = \bigcup_{T \ge 0} \G^{\circ T}$. At the inequality level, this produces "lifted" Lyapunov inequalities relating such composed functions.

For comparing PCLFs or constructing stronger certificates, these lifts enable refinement of path-complete graphs, systematically incorporating compositional implications that might be nonlocal in the base graph structure [2503.18189].

## 3. Completeness of Composition Lifts and the Transitive Closure

It had been conjectured that the full composition lift $\G^\circ$ would always simulate any less-expressive graph in the preorder, under reasonable assumptions (invertible dynamics, composition-closed templates): that is, $\G^\circ$ would characterize $\G \preceq \mathcal H$ iff $\G^\circ$ simulates $\mathcal H$. However, the minimal counterexample (with $\Sigma = \{1,2\}$, and explicit graphs $\G_\varphi$, $\G_\psi$ as constructed in [2503.18189]) demonstrates that while $\G_\varphi \preceq_{(\mathcal V, \mathcal F)} \G_\psi$, there does not exist a node map from $\G^\circ_\varphi$ simulating $\G_\psi$.

This failure is rooted in the lack of multi-step closure: $\G^\circ$ encodes only atomic (single-step) compositions, not inferred implications achieved by chain reasoning on the graph. This motivates the introduction of the *transitive composition-lift*, denoted $(\G^\circ)^+$, which extends $\G^\circ$ by the transitive closure on inequalities: whenever both $V_u(x) \ge \gamma V_v(f_i(x))$ and $V_v(x) \ge \gamma V_w(f_i(x))$ are present, $V_u(x) \ge \gamma V_w(f_i(x))$ is added. A key result is that $(\G^\circ)^+$ is *complete*: for any path-complete graphs $\G, \mathcal H$, $(\G^\circ)^+$ simulates $\mathcal H$ if and only if $\G \preceq_{(\mathcal V, \mathcal F)} \mathcal H$, and this closure is always finite [2503.18189].

## 4. Iterative Refinement and Combinatorial Algorithms

The transitive composition-lift enables a principled iterative refinement procedure:

1. Given $\G_0 \in \mathrm{pc}(\Sigma)$, form $\G_k^\circ$.
2. Apply the transitive closure to obtain $\G_{k+1} = (\G_k^\circ)^+$.
3. Terminate when $\G_{k+1} = \G_k$.

This loop produces a refined graph $\G_\infty$ fixed under the transitive composition-lift. The process is provably finite, with complexity bounded by $|S|\cdot|S|\cdot|\Sigma|$. All operations are purely combinatorial, allowing automation and efficient use in practice for moderate graph and alphabet sizes. Empirically, a single refinement can significantly tighten bounds, e.g., for joint spectral radius approximation, with up to 40% improvement observed on random matrix pairs [2503.18189].

## 5. Switched and Composite Storage Functions in Large Networks

In the broader context of switched, interconnected, or abstracted systems, compositional methods generalize SVF design. The compositional construction leverages *local* simulation (or storage) functions $V_{i,s_i}$ for individual subsystems, composed into a global function
$$
V_s(x, \hat x) = \sum_{i=1}^N \mu_i V_{i,s_i}(x_i, \hat x_i)
$$
under the satisfaction of small-gain and coupling conditions [2109.13832, 1905.12808]. Key notions include:

- **Switched simulation functions:** Families $\{V_s\}$ satisfying mode-dependent decay and output bounds, enabling quantifiable error guarantees between a concrete network and its abstraction.
- **Small-gain compositionality:** With diagonal decay matrix $\Lambda$ and gain matrix $\Gamma$, requiring the composite operator $\Psi = \Lambda^{-1}\Gamma$ to have spectral radius $r(\Psi) < 1$ ensures uniform decay for the composite $V_s$.
- **LMI synthesis for linear systems:** Quadratic local simulation/storage functions and corresponding interfaces are computable by solving LMIs tailored to the system and abstraction interrelation. This yields explicit decay rates and coupling gains [2109.13832].

## 6. Symbolic and Abstraction-Based SVF Design

For networks of switched systems, finite or symbolic abstractions facilitate controller synthesis and analysis. This requires storage (or *augmented-storage*) functions $\mathcal S$ that quantify output mismatch between concrete and abstracted systems. Dissipativity-type (incremental passivity) conditions on each constant-mode subsystem ensure the existence of such storage functions. The sum of local augmented-storage functions can serve as a global *alternating simulation function*, supporting contractively quantifiable output error bounds (see AltSF-I, AltSF-II in [1905.12808]). These results underpin the safety and reliability of abstraction-based controller refinement for large-scale or infinite networks.

Example syntheses include:

- Power grid frequency control using switched simulation functions with explicit LMIs for each bus [2109.13832].
- Traffic network symbolic model construction leveraging incremental passivity and dissipative composition to guarantee output error and enable safe controller refinement [1905.12808].

## 7. Theoretical and Computational Implications

The transitive composition-lift and combinatorial graph refinement create a unifying, tractable, and fully combinatorial framework for ordering, comparing, and strengthening families of switched or composite Lyapunov/storage functions. The approach removes algebraic intractability by reducing expressivity comparison to finite graph simulation—a significant advance both for theoretical understanding and scalable practice in stability analysis and abstraction-based control. Furthermore, the generality of these methods allows transfer to analogous settings, including storage and supply function design for switched PDEs and networked control [2503.18189, 2109.13832, 1905.12808].

Source: https://www.emergentmind.com/topics/switched-and-composite-svfs