2,062 research outputs found
Relaxed ISS Small-Gain Theorems for Discrete-Time Systems
In this paper ISS small-gain theorems for discrete-time systems are stated,
which do not require input-to-state stability (ISS) of each subsystem. This
approach weakens conservatism in ISS small-gain theory, and for the class of
exponentially ISS systems we are able to prove that the proposed relaxed
small-gain theorems are non-conservative in a sense to be made precise. The
proofs of the small-gain theorems rely on the construction of a dissipative
finite-step ISS Lyapunov function which is introduced in this work.
Furthermore, dissipative finite-step ISS Lyapunov functions, as relaxations of
ISS Lyapunov functions, are shown to be sufficient and necessary to conclude
ISS of the overall system.Comment: input-to-state stability, Lyapunov methods, small-gain conditions,
discrete-time non-linear systems, large-scale interconnection
Constructions of Strict Lyapunov Functions for Discrete Time and Hybrid Time-Varying Systems
We provide explicit closed form expressions for strict Lyapunov functions for
time-varying discrete time systems. Our Lyapunov functions are expressed in
terms of known nonstrict Lyapunov functions for the dynamics and finite sums of
persistency of excitation parameters. This provides a discrete time analog of
our previous continuous time Lyapunov function constructions. We also construct
explicit strict Lyapunov functions for systems satisfying nonstrict discrete
time analogs of the conditions from Matrosov's Theorem. We use our methods to
build strict Lyapunov functions for time-varying hybrid systems that contain
mixtures of continuous and discrete time evolutions.Comment: 14 pages. Accepted for publication in Nonlinear Analysis: Hybrid
Systems and Applications on September 6, 200
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
On feedback stabilization of linear switched systems via switching signal control
Motivated by recent applications in control theory, we study the feedback
stabilizability of switched systems, where one is allowed to chose the
switching signal as a function of in order to stabilize the system. We
propose new algorithms and analyze several mathematical features of the problem
which were unnoticed up to now, to our knowledge. We prove complexity results,
(in-)equivalence between various notions of stabilizability, existence of
Lyapunov functions, and provide a case study for a paradigmatic example
introduced by Stanford and Urbano.Comment: 19 pages, 3 figure
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
- …