Related papers: On the Nonexistence of Quadratic Lyapunov Function…
Lyapunov functions play a vital role in the context of control theory for nonlinear dynamical systems. Besides its classical use for stability analysis, Lyapunov functions also arise in iterative schemes for computing optimal feedback laws…
In this paper, we study sufficient conditions for the emergence of asymptotic consensus and flocking in a certain class of non-linear generalised Cucker-Smale systems subject to multiplicative communication failures. Our approach is based…
We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional component (a set of candidate Lyapunov functions, called the…
It is well known that, the existence of a Lyapunov function is a sufficient condition for stability, asymptotic stability, or global asymptotic stability of an equilibrium point of an autonomous system $\dot{\mathbf{x}} = f(\mathbf{x})$. In…
For the $\mathfrak{so}(4)$ free rigid body the stability problem for the isolated equilibria has been completely solved using Lie-theoretical and topological arguments. For each case of nonlinear stability previously found we construct a…
We consider the problem of computing the Lyapunov exponents of reversible cellular automata (CA). We show that the class of reversible CA with right Lyapunov exponent $2$ cannot be separated algorithmically from the class of reversible CA…
A powerful tool for studying long-term convergence of a Markov process to its stationary distribution is a Lyapunov function. In some sense, this is a substitute for eigenfunctions. For a stochastically ordered Markov process on the…
This paper considers solving distributed optimization problems in peer-to-peer multi-agent networks. The network is synchronous and connected. By using the proportional-integral (PI) control strategy, various algorithms with fixed stepsize…
We apply a Lyapunov function to obtain conditions for the existence and uniqueness of small classical time-periodic solutions to first order quasilinear 1D hyperbolic systems with (nonlinear) nonlocal boundary conditions in a strip. The…
For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found…
Lyapunov's theorem is a classical result in convex analysis, concerning the convexity of the range of nonatomic measures. Given a family of integrable vector functions on a compact set, this theorem allows to prove the equivalence between…
Analysis of continuous-time piecewise linear systems based on piecewise quadratic (PWQ) Lyapunov functions typically requires continuity of these functions over a partition of the state space. Several conditions for guaranteeing continuity…
This work has the goal of briefly surveying some key stabilization techniques for general nonlinear systems, for which, as it is well known, a smooth control Lyapunov function may fail to exist. A general overview of the situation with…
We prove that P != NP by proving the existence of a class of functions we call Tau, each of whose members satisfies the conditions of one-way functions. Each member of Tau is a function computable in polynomial time, with negligible…
We show that there is no general algorithm which finds a sequence of points with finite-precision converging computably to the global optima of any continuous function.
Lyapunov functions are essential tools in dynamical systems, as they allow the stability analysis of equilibrium points without the need to explicitly solve the system's equations. Despite their importance, no systematic method exists for…
We present a new algorithm for computing the Lyapunov exponents spectrum based on a matrix differential equation. The approach belongs to the so called continuous type, where the rate of expansion of perturbations is obtained for all times,…
We consider periodic matrix-valued Jacobi operators. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the Lyapunov function, which is analytic on an associated Riemann surface. On…
In the present paper we prove Liouville-type theorems: non-existence theorems for conformal mappings of complete Riemannian manifolds. In addition, we give an application of these results to the theory of conharmonic transformations. A part…
We prove explicit asymptotic formulae for some functions used in sieve methods and show that there exists no odd multiperfect number of abundancy four whose squared part is cubefree.