Related papers: Lyapunov functions obtained from first order appro…
Recently, many machine learning optimizers have been analysed considering them as the asymptotic limit of some differential equations when the step size goes to zero. In other words, the optimizers can be seen as a finite difference scheme…
Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper,…
Probability functions appear in constraints of many optimization problems in practice and have become quite popular. Understanding their first-order properties has proven useful, not only theoretically but also in implementable algorithms,…
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…
We address the question of the exponential stability for the $C^{1}$ norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic $C^{1}$ Lyapunov functions, a…
We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov…
A fruitful approach to study stability of switched systems is to look for multiple Lyapunov functions. However, in general, we do not yet understand the interplay between the desired stability certificate, the template of the Lyapunov…
We consider constructing Lyapunov functions for systems that are both monotone and contractive with respect to a weighted one norm or infinity norm. This class of systems admits separable Lyapunov functions that are either the sum or the…
The objective of the research is to develop a general method of constructing Lyapunov functions for non-linear non-autonomous differential inclusions described by ordinary differential equations with parameters. The goal has been attained…
Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems…
The Lyapunov inequality is an indispensable tool for stability analysis in linear control theory. It provides a necessary and sufficient condition for the stability of an autonomous linear-time invariant system in terms of the existence of…
In this paper we consider the problem of global asymptotic stabilization with prescribed local behavior. We show that this problem can be formulated in terms of control Lyapunov functions. Moreover, we show that if the local control law has…
Lyapunov functions are popularly used to investigate the stabilization problem of systems of hyperbolic conservation laws with boundary controls. In real life applications often not every boundary value can be observed. In this work, we…
Using a nonlocal macroscopic LWR-type traffic flow model, we present an approach to control the nonlocal velocity towards a given equilibrium velocity. Therefore, we present a Lyapunov function measuring the $L^2$ distance between these…
We prove a converse Lyapunov theorem for almost sure stabilizability and almost sure asymptotic stabilizability of controlled diffusions: given a stochastic system a.s. stochastic open loop stabilizable at the origin, we construct a lower…
We revisit the classical problem of absolute stability; assessing the robust stability of a given linear time-invariant (LTI) plant in feedback with a nonlinearity belonging to some given function class. Standard results typically take the…
The stability analysis of possibly time varying positive semigroups on non necessarily compact state spaces, including Neumann and Dirichlet boundary conditions is a notoriously difficult subject. These crucial questions arise in a variety…
In this paper, we study a new type of stochastic functional differential equations which is called hybrid pantograph stochastic functional differential equations. We investigate several moment properties and sample properties of the…
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies…
This work studies stability and robustness of a nonlinear system given as an interconnection of an ODE and a parabolic PDE subjected to external disturbances entering through the boundary conditions of the parabolic equation. To this end we…