Certifying Unstability of Switched Systems Using Sum of Squares Programming

DOI10.1137/18M1173460zbMath1451.93307arXiv1710.01814OpenAlexW3082137268MaRDI QIDQ5130926

Raphaël M. Jungers, Pablo A. Parrilo, Benoît Legat

Publication date: 30 October 2020

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.01814

zbMATH Keywords

switched systemsjoint spectral radiussum of squares programmingpath-complete Lyapunov functions

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Lyapunov and storage functions (93D30) Asymptotic stability in control theory (93D20)

Uses Software

• GloptiPoly
• Julia
• JuMP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spectral simplex method
• Stability of discrete-time switching systems with constrained switching sequences
• An explicit counterexample to the Lagarias-Wang finiteness conjecture
• A Gel'fand-type spectral radius formula and stability of linear constrained switching systems
• Modal occupation measures and LMI relaxations for nonlinear switched systems control
• Bounded semigroups of matrices
• A characterization of the minimum cycle mean in a digraph
• Extremal psd forms with few terms
• The finiteness conjecture for the generalized spectral radius of a set of matrices
• The boundedness of all products of a pair of matrices is undecidable
• The generalized spectral-radius theorem: An analytic-geometric proof
• Computing the joint spectral radius
• Exact computation of joint spectral characteristics of linear operators
• An algorithm for finding extremal polytope norms of matrix families
• Approximation of the joint spectral radius using sum of squares
• Semidefinite programming relaxations and algebraic optimization in control
• Lifted Polytope Methods for Computing the Joint Spectral Radius
• Julia: A Fresh Approach to Numerical Computing
• Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques
• Class of global minimum bounds of polynomial functions
• An Elementary Counterexample to the Finiteness Conjecture
• Detecting Global Optimality and Extracting Solutions in GloptiPoly
• Semidefinite Optimization and Convex Algebraic Geometry
• Hypercontractivity, sum-of-squares proofs, and their applications
• JuMP: A Modeling Language for Mathematical Optimization
• Handbook of semidefinite programming. Theory, algorithms, and applications