Dynamical systems

Minimum-Effort Control of a Networked SIS Model

A finite-step semi-analytic method for stabilizing an undirected networked SIS model with constrained curing resources.

Year
2025
Status
Submitted
Topics
Epidemic models · Control · Convex optimization · Semidefinite programming
Curing resources placed on nodes to cross a spectral stability boundary

A conceptual illustration of the mathematical idea, not a plot of measured experimental results.

01

The question

Which nodes should receive limited curing resources to stabilize a spreading process at minimum cost?

02

Central insight

Stabilization is a spectral matrix condition. Schur complements reveal both whether control is possible and which diagonal interventions are forced at optimum.

03

Approach

  1. 01

    Express healthy-state stability as a positive-semidefinite matrix constraint.

  2. 02

    Derive a necessary and sufficient condition for stabilizability.

  3. 03

    Apply iterative Schur-complement reductions and diagonal-dominance tests.

  4. 04

    Recover the optimal controlled nodes, curing rates, and minimum cost.

04

My contribution

  • Co-developed the stabilizability analysis.
  • Derived the finite-step semi-analytic optimization procedure.
  • Connected its matrix reductions to interpretable resource-allocation decisions.
05

A closer look

A stability problem becomes a resource-allocation problem

In the susceptible–infected–susceptible model, a node can recover and later become infected again. Infection travels through an undirected, connected network with transmission matrix B; the diagonal matrix Δ contains existing curing rates. Additional nonnegative rates d change the balance between infection and recovery. Stabilizing the healthy state becomes the matrix condition Δ − B + diag(d) ⪰ 0.

The objective minimizes a weighted sum of these additions, allowing different intervention costs and a fixed set of nodes where rates cannot change. Feasibility therefore comes before optimization: the principal submatrix of Δ − B on the uncontrollable nodes must be positive definite. If that condition fails, increasing resources only at the permitted nodes cannot stabilize this model.

min Σᵢ cᵢdᵢ subject to Δ − B + diag(d) ⪰ 0, d ≥ 0

How the reductions identify where control is needed

A change of variables absorbs the cost weights, and Schur complements eliminate constrained portions of the matrix while preserving the optimization problem. Further diagonal-dominance checks identify nodes requiring no additional curing rate in the reduced problem. Repeating this process decreases the matrix dimension until the remaining allocation can be recovered explicitly.

The manuscript proves finite termination and optimality for its undirected model and illustrates the algorithm with an example. The structural conclusions refer to the transformed, reduced matrices; they are more specific than simply allocating resources to highly connected nodes. Directed networks and more general spreading dynamics remain extensions.

06

Result

The method reaches the optimal solution in finitely many steps while identifying which nodes require additional curing rates.

07

What remains

Extend the structural insight to directed, uncertain, or time-varying contact networks.

08

Paper & resources

Controlling an Undirected Networked SIS Model with Minimum Effort

Dan Wang, Zeru Zhu, Ji Liu, Wei Chen, Tamer Başar, and Li Qiu

IEEE Conference on Decision and Control (CDC), 2026 · Submitted