1,550 research outputs found
Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces
We consider switched systems on Banach and Hilbert spaces governed by
strongly continuous one-parameter semigroups of linear evolution operators. We
provide necessary and sufficient conditions for their global exponential
stability, uniform with respect to the switching signal, in terms of the
existence of a Lyapunov function common to all modes
Stabilizing switching signals: a transition from point-wise to asymptotic conditions
Characterization of classes of switching signals that ensure stability of
switched systems occupies a significant portion of the switched systems
literature. This article collects a multitude of stabilizing switching signals
under an umbrella framework. We achieve this in two steps: Firstly, given a
family of systems, possibly containing unstable dynamics, we propose a new and
general class of stabilizing switching signals. Secondly, we demonstrate that
prior results based on both point-wise and asymptotic characterizations follow
our result. This is the first attempt in the switched systems literature where
these switching signals are unified under one banner.Comment: 7 page
A Gel'fand-type spectral radius formula and stability of linear constrained switching systems
Using ergodic theory, in this paper we present a Gel'fand-type spectral
radius formula which states that the joint spectral radius is equal to the
generalized spectral radius for a matrix multiplicative semigroup \bS^+
restricted to a subset that need not carry the algebraic structure of \bS^+.
This generalizes the Berger-Wang formula. Using it as a tool, we study the
absolute exponential stability of a linear switched system driven by a compact
subshift of the one-sided Markov shift associated to \bS.Comment: 16 pages; to appear in Linear Algebra and its Application
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions
We introduce the framework of path-complete graph Lyapunov functions for
approximation of the joint spectral radius. The approach is based on the
analysis of the underlying switched system via inequalities imposed among
multiple Lyapunov functions associated to a labeled directed graph. Inspired by
concepts in automata theory and symbolic dynamics, we define a class of graphs
called path-complete graphs, and show that any such graph gives rise to a
method for proving stability of the switched system. This enables us to derive
several asymptotically tight hierarchies of semidefinite programming
relaxations that unify and generalize many existing techniques such as common
quadratic, common sum of squares, and maximum/minimum-of-quadratics Lyapunov
functions. We compare the quality of approximation obtained by certain classes
of path-complete graphs including a family of dual graphs and all path-complete
graphs with two nodes on an alphabet of two matrices. We provide approximation
guarantees for several families of path-complete graphs, such as the De Bruijn
graphs, establishing as a byproduct a constructive converse Lyapunov theorem
for maximum/minimum-of-quadratics Lyapunov functions.Comment: To appear in SIAM Journal on Control and Optimization. Version 2 has
gone through two major rounds of revision. In particular, a section on the
performance of our algorithm on application-motivated problems has been added
and a more comprehensive literature review is presente
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems
We show that for any positive integer , there are families of switched
linear systems---in fixed dimension and defined by two matrices only---that are
stable under arbitrary switching but do not admit (i) a polynomial Lyapunov
function of degree , or (ii) a polytopic Lyapunov function with facets, or (iii) a piecewise quadratic Lyapunov function with
pieces. This implies that there cannot be an upper bound on the size of the
linear and semidefinite programs that search for such stability certificates.
Several constructive and non-constructive arguments are presented which connect
our problem to known (and rather classical) results in the literature regarding
the finiteness conjecture, undecidability, and non-algebraicity of the joint
spectral radius. In particular, we show that existence of an extremal piecewise
algebraic Lyapunov function implies the finiteness property of the optimal
product, generalizing a result of Lagarias and Wang. As a corollary, we prove
that the finiteness property holds for sets of matrices with an extremal
Lyapunov function belonging to some of the most popular function classes in
controls
Robust Stability Analysis of Nonlinear Hybrid Systems
We present a methodology for robust stability analysis of nonlinear hybrid systems, through the algorithmic construction of polynomial and piecewise polynomial Lyapunov-like functions using convex optimization and in particular the sum of squares decomposition of multivariate polynomials. Several improvements compared to previous approaches are discussed, such as treating in a unified way polynomial switching surfaces and robust stability analysis for nonlinear hybrid systems
- …