Related papers: Lyapunov's theorem via Baire category
We show how to use Lyapunov functions to obtain functional inequalities which are stronger than Poincar\'e inequality (for instance logarithmic Sobolev or $F$-Sobolev). The case of Poincar\'e and weak Poincar\'e inequalities was studied in…
This paper generalizes the Lasalle-Yoshizawa Theorem to switched nonsmooth systems. Filippov and Krasovskii regularizations of a switched system are shown to be contained within the convex hull of the Filippov and Krasovskii regularizations…
In this paper, we extend well-known relationships between global asymptotic controllability, sample stabilizability, and the existence of a control Lyapunov function to a wide class of control systems with unbounded controls, which includes…
An approach for computing Lyapunov functions for nonlinear continuous-time differential equations is developed via a new, Massera-type construction. This construction is enabled by imposing a finite-time criterion on the integrated…
Deep learning methods have been widely used in robotic applications, making learning-enabled control design for complex nonlinear systems a promising direction. Although deep reinforcement learning methods have demonstrated impressive…
We derive converse Lyapunov theorems for input-to-state stability (ISS) of linear infinite-dimensional analytic systems. We show that input-to-state stability of a linear system does not imply existence of a coercive quadratic ISS Lyapunov…
The effective numerical method is developed performing the test of the hyperbolicity of chaotic dynamics. The method employs ideas of algorithms for covariant Lyapunov vectors but avoids their explicit computation. The outcome is a…
We study integral-to-integral input-to-state stability for infinite-dimensional linear systems with inputs and trajectories in $L^p$-spaces. We start by developing the corresponding admissibility theory for linear systems with unbounded…
This paper presents a new interpretation of the Lyapunov and Riccati equations from the perspective of positive system theory. We show it is possible to construct positive systems related to these equations, and then certain conclusions --…
The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately.…
A conjecture connecting Lyapunov exponents of coupled map lattices and the node theorem is presented. It is based on the analogy between the linear stability analysis of extended chaotic states and the Schr\"odinger problem for a particle…
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further…
Liouville theorems for scaling invariant nonlinear parabolic equations and systems (saying that the equation or system does not possess positive entire solutions) guarantee optimal universal estimates of solutions of related initial and…
The Egoroff theorem for measurable $\bold X$-valued functions and operator-valued measures $\bold m: \Sigma \to L(\bold X, \bold Y)$, where $\Sigma$ is a $\sigma$-algebra of subsets of $T \neq \emptyset$ and $\bold X$, $\bold Y$ are both…
For any $N\ts N$ monodromy matrix we define the Lyapunov function, which is analytic on an associated N-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the Hill operator.…
In this paper the existence of a quadratic control Lyapunov function for bilinear systems is considered. The existence of a control Lyapunov function ensures the existence of a control law which ensures the global asymptotic stability of…
We show that every balanced pair (see Definition 1.1) of real $2\times 2$ matrices admits a unique Lyapunov maximizing measure, and the measure is always Sturmian.
Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions,…
It is well know that for globally contractive autonomous systems, there exists a unique equilibrium and the distance to the equilibrium evaluated along any trajectory decreases exponentially with time. We show that, additionally, the…
Forward invariance of a basin of attraction is often overlooked when using a Lyapunov stability theorem to prove local stability; even if the Lyapunov function decreases monotonically in a neighborhood of an equilibrium, the dynamic may…