1,046 research outputs found
Region of Attraction Estimation Using Invariant Sets and Rational Lyapunov Functions
This work addresses the problem of estimating the region of attraction (RA)
of equilibrium points of nonlinear dynamical systems. The estimates we provide
are given by positively invariant sets which are not necessarily defined by
level sets of a Lyapunov function. Moreover, we present conditions for the
existence of Lyapunov functions linked to the positively invariant set
formulation we propose. Connections to fundamental results on estimates of the
RA are presented and support the search of Lyapunov functions of a rational
nature. We then restrict our attention to systems governed by polynomial vector
fields and provide an algorithm that is guaranteed to enlarge the estimate of
the RA at each iteration
On Norm-Based Estimations for Domains of Attraction in Nonlinear Time-Delay Systems
For nonlinear time-delay systems, domains of attraction are rarely studied
despite their importance for technological applications. The present paper
provides methodological hints for the determination of an upper bound on the
radius of attraction by numerical means. Thereby, the respective Banach space
for initial functions has to be selected and primary initial functions have to
be chosen. The latter are used in time-forward simulations to determine a first
upper bound on the radius of attraction. Thereafter, this upper bound is
refined by secondary initial functions, which result a posteriori from the
preceding simulations. Additionally, a bifurcation analysis should be
undertaken. This analysis results in a possible improvement of the previous
estimation. An example of a time-delayed swing equation demonstrates the
various aspects.Comment: 33 pages, 8 figures, "This is a pre-print of an article published in
'Nonlinear Dynamics'. The final authenticated version is available online at
https://doi.org/10.1007/s11071-020-05620-8
Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems
Many modern nonlinear control methods aim to endow systems with guaranteed
properties, such as stability or safety, and have been successfully applied to
the domain of robotics. However, model uncertainty remains a persistent
challenge, weakening theoretical guarantees and causing implementation failures
on physical systems. This paper develops a machine learning framework centered
around Control Lyapunov Functions (CLFs) to adapt to parametric uncertainty and
unmodeled dynamics in general robotic systems. Our proposed method proceeds by
iteratively updating estimates of Lyapunov function derivatives and improving
controllers, ultimately yielding a stabilizing quadratic program model-based
controller. We validate our approach on a planar Segway simulation,
demonstrating substantial performance improvements by iteratively refining on a
base model-free controller
Review on computational methods for Lyapunov functions
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function
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
- …