4,142 research outputs found
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
A Converse Sum of Squares Lyapunov Result with a Degree Bound
Sum of Squares programming has been used extensively over the past decade for
the stability analysis of nonlinear systems but several questions remain
unanswered. In this paper, we show that exponential stability of a polynomial
vector field on a bounded set implies the existence of a Lyapunov function
which is a sum-of-squares of polynomials. In particular, the main result states
that if a system is exponentially stable on a bounded nonempty set, then there
exists an SOS Lyapunov function which is exponentially decreasing on that
bounded set. The proof is constructive and uses the Picard iteration. A bound
on the degree of this converse Lyapunov function is also given. This result
implies that semidefinite programming can be used to answer the question of
stability of a polynomial vector field with a bound on complexity
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
A Characterization of Lyapunov Inequalities for Stability of Switched Systems
We study stability criteria for discrete-time switched systems and provide a
meta-theorem that characterizes all Lyapunov theorems of a certain canonical
type. For this purpose, we investigate the structure of sets of LMIs that
provide a sufficient condition for stability. Various such conditions have been
proposed in the literature in the past fifteen years. We prove in this note
that a family of languagetheoretic conditions recently provided by the authors
encapsulates all the possible LMI conditions, thus putting a conclusion to this
research effort. As a corollary, we show that it is PSPACE-complete to
recognize whether a particular set of LMIs implies stability of a switched
system. Finally, we provide a geometric interpretation of these conditions, in
terms of existence of an invariant set.Comment: arXiv admin note: text overlap with arXiv:1201.322
Tropical Kraus maps for optimal control of switched systems
Kraus maps (completely positive trace preserving maps) arise classically in
quantum information, as they describe the evolution of noncommutative
probability measures. We introduce tropical analogues of Kraus maps, obtained
by replacing the addition of positive semidefinite matrices by a multivalued
supremum with respect to the L\"owner order. We show that non-linear
eigenvectors of tropical Kraus maps determine piecewise quadratic
approximations of the value functions of switched optimal control problems.
This leads to a new approximation method, which we illustrate by two
applications: 1) approximating the joint spectral radius, 2) computing
approximate solutions of Hamilton-Jacobi PDE arising from a class of switched
linear quadratic problems studied previously by McEneaney. We report numerical
experiments, indicating a major improvement in terms of scalability by
comparison with earlier numerical schemes, owing to the "LMI-free" nature of
our method.Comment: 15 page
- …