Related papers: A Lyapunov function for fully nonlinear parabolic …
We propose a moving horizon estimation scheme for joint state and parameter estimation for nonlinear uncertain discrete-time systems. We establish robust exponential convergence of the combined estimation error subject to process…
In this paper, a necessary and sufficient condition for the stability of Lyapunov exponents of linear differential system are proved in the sense that the equations satisfy the weaker form of integral separation instead of its classical…
A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…
In this work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points…
We propose and analyze a new candidate Lyapunov function for relaxation towards general nonequilibrium steady states. The proposed functional is obtained from the large time asymptotics of time-symmetric fluctuations. For driven Markov jump…
This paper is concerned with the asymptotic stability analysis of a one dimensional wave equation with Dirichlet boundary conditions subject to a nonlinear distributed damping with an L p functional framework, p $\in$ [2, $\infty$]. Some…
An overview of stability conditions in terms of the Lyapunov matrix for time-delay systems is presented. The main results and proof are presented in details for the case of systems with multiple delays. The state of the art, ongoing…
We establish monotonicity formulas for a parabolic frequency function associated with sign-changing solutions to a class of doubly nonlinear parabolic equations of the form $\partial_t u = \mathcal{L}_{p,\varphi} u^q$ on weighted complete…
We use Lyapunov type functions to find conditions of finite shadowing in a neighborhood of a nonhyperbolic fixed point of a one-dimensional or two-dimensional homeomorphism or diffeomorphism. A new concept of shadowing in which we control…
This paper considers the problem of finite-time stability for stochastic nonlinear systems. A new Lyapunov theorem of stochastic finite-time stability is proposed, and an important corollary is obtained. Some comparisons with the existing…
In this technical communique, we generalize the well-known Lyapunov-based stabilizability and detectability tests for discrete-time linear time-invariant systems to polytopic linear parameter-varying systems using the class of so-called…
A nonlinear parabolic differential equation with a quadratic nonlinearity is presented which has at least one equilibrium. The linearization about this equilibrium is asymptotically stable, but by using a technique inspired by H. Fujita, we…
In this work we present a Lyapunov inequality for linear and quasilinear elliptic differential operators in $N-$dimensional domains $\Omega$. We also consider singular and degenerate elliptic problems with $A_p$ coefficients involving the…
In this paper, we introduce a novel class of neural differential equation, which are intrinsically Lyapunov stable, exponentially stable or passive. We take a recently proposed Polyak Lojasiewicz network (PLNet) as an Lyapunov function and…
This technical note studies Lyapunov-like conditions to ensure a class of dynamical systems to exhibit predefined-time stability. The origin of a dynamical system is predefined-time stable if it is fixed-time stable and an upper bound of…
This paper is concerned with boundary stabilization of two-dimensional hyperbolic systems of partial differential equations. By adapting the Lyapunov function previously proposed by the second author for linearized hyperbolic systems with…
This paper provides a novel definition for Lyapunov functions for difference inclusions defined by convex processes. It is shown that this definition reflects stability properties of nonstrict convex processes better than previously used…
This paper introduces a novel approach to evaluating the asymptotic stability of equilibrium points in both continuous-time (CT) and discrete-time (DT) nonlinear autonomous systems. By utilizing indirect Lyapunov methods and linearizing…
The objective of this work is to demonstrate the utility of Lyapunov functions in control synthesis for the purpose of maintaining and stabilizing a spacecraft in a circular orbit around the L4 point in the circular restricted three body…
In this paper, an asymptotic stability proof for a class of methods for inexact nonlinear model predictive control is presented. General Q-linearly convergent online optimization methods are considered and an asymptotic stability result is…