{"id":"arxiv/2607.00637","url":"https://arxiv.org/abs/2607.00637","tags":["math.OC"],"score":0,"title":"Iterative graph lifting for automatic design of path-complete stability certificates","domain":"math.OC","source":"arxiv","authors":["Léa Ninite","Raphaël M. Jungers"],"reviews":0,"subject":"math.OC","summary":"Stability of switched linear systems under arbitrary switching is a fundamental problem in control theory, closely related to the joint spectral radius (JSR), which characterizes the worst-case growth rate of system trajectories. In this paper, we contribute to the path-complete approach for approximating the JSR. This framework constructs algebraic stability certificates using labeled directed graphs, known as path-complete graphs. These certificates can be computed via an associated optimization problem. We propose an iterative algorithm that refines path-complete graphs in an efficient…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}