Related papers: On Algebraic Proofs of Stability for Homogeneous V…
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core…
This work proposes a new a framework for determining robust periodic invariant sets and their associated control laws for constrained uncertain linear systems. Necessary and sufficient conditions for stabilizability by periodic controllers…
We introduce static and dynamic correlation functions for the spatial densities of Lyapunov vector fluctuations. They enable us to show, for the first time, the existence of hydrodynamic Lyapunov modes in chaotic many-particle systems with…
We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant…
For $C^2$ vector fields, we study regular ergodic measures whose supports admit singular dominated splittings with one of the bundles having dimension $1$. For such a measure $\mu$, we prove that if any periodic orbit within the support of…
A class of asymptotically autonomous systems on the plane with oscillatory coefficients is considered. It is assumed that the limiting system is Hamiltonian with a stable equilibrium. The effect of damped multiplicative stochastic…
We establish sufficient conditions for positive (semi-)definiteness, with or without radial unboundedness, for nonquadratic Lyapunov function constructed as sign-indefinite quadratic forms involving the state and the deadzone of a suitable…
This paper discusses the stabilizability, weak stabilizability, exact observability and robust quadratic stabilizability of linear stochastic control systems. By means of the spectrum technique of the generalized Lyapunov operator, a…
We consider the one-dimensional Vlasov equation with an attractive cosine potential, and its non homogeneous stationary states that are decreasing functions of the energy. We show that in the Sobolev space $W^{1,p}$ ($p>2$) neighborhood of…
We provide algorithms for computing a Lyapunov function for a class of systems where the state trajectories are constrained to evolve within a closed convex set. The dynamical systems that we consider comprise a differential equation which…
We show that for a $C^1$ generic vector field $X$ away from homoclinic tangencies, a nontrivial Lyapunov stable chain recurrence class is a homoclinic class. The proof uses an argument with $C^2$ vector fields approaching $X$ in $C^1$…
In the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by…
We investigate the standard stable manifold theorem in the context of a partially hyperbolic singu-larity of a vector field depending on a parameter. We prove some estimates on the size of the neighbourhood where the local stable manifold…
Control Lyapunov function is a central tool in stabilization. It generalizes an abstract energy function -- a Lyapunov function -- to the case of controlled systems. It is a known fact that most control Lyapunov functions are non-smooth --…
The Poincare-Hopf theorem tells us that given a smooth, structurally stable vector field on a surface of genus g, the number of saddles is 2-2g less than the number of sinks and sources. We generalize this result by introducing a more…
We consider the first order periodic systems perturbed by a $2N\ts 2N$ matrix-valued periodic potential on the real line. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the…
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…
Consider in R^2 the semi-planes N={y>0} and S={y<0}$ having as common boundary the straight line D={y=0}$. In N and S are defined polynomial vector fields X and Y, respectively, leading to a discontinuous piecewise polynomial vector field…
We investigate stability of a solution of a hybrid system in the sense that the graphs of solutions from nearby initial conditions remain close and tend towards the graph of the given solution. In this manner, a small continuous-time…
In this paper we show that the existence of a Lyapunov-Krasovskii functional is necessary and sufficient condition for the uniform global asymptotic stability and the global exponential stability of time-invariant systems described by…