{"id":"arxiv/2606.03797","url":"https://arxiv.org/abs/2606.03797","tags":["math.DS"],"score":0,"title":"Convergence of an algorithm for constructing Lyapunov functions for switched systems using meshfree collocation","domain":"math.DS","source":"arxiv","authors":["Jay Ward","Nicos Georgiou","Peter Giesl"],"reviews":0,"subject":"math.DS","summary":"Switched systems are a class of dynamical systems where trajectories switch between different systems based on a switching rule. This rule can depend on time and/or the position of the trajectory in the state space. The existence of a Lyapunov function implies the existence of a uniformly asymptotically stable equilibrium point at the origin, which we prove in this paper. A method to construct Lyapunov functions for switched systems using meshfree collocation and quadratic programming was described in a related article. We prove that, under suitable assumptions, the algorithm described in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}