Related papers: A Conley-type Lyapunov function for the strong cha…
An efficient Krylov subspace algorithm for computing actions of the $\varphi$ matrix function for large matrices is proposed. This matrix function is widely used in exponential time integration, Markov chains and network analysis and many…
We introduce and study the Lyapunov numbers -- quantitative measures of the sensitivity of a dynamical system $(X,f)$ given by a compact metric space $X$ and a continuous map $f:X \to X$. In particular, we prove that for a minimal…
This paper presents new sufficient conditions for convergence and asymptotic or exponential stability of a stochastic discrete-time system, under which the constructed Lyapunov function always decreases in expectation along the system's…
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…
We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number of pieces. We first prove that deciding whether there exists…
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…
This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear ordinary differential equations on bounded sets. The main result states that…
We study a complex non-newtonian fluid that models the flow of nematic liquid crystals. The fluid is described by a system that couples a forced Navier-Stokes system with a parabolic-type system. We prove the existence of global weak…
We describe, in the general setting of closed cone fields, the set of causal functions which can be approximated by smooth Lyapunov. We derive several consequences on causality theory. Dans le contexte g\'en\'eral des champs de cones…
This paper provides a first example of constructing Lyapunov functions in a class of piecewise linear systems with limit cycles. The method of construction helps analyze and control complex oscillating systems through novel geometric means.…
This paper provides a unified framework connecting dynamical systems with tools from topological data analysis and geometric topology and inspires new interactions among dynamical systems, topology, and nonlinear analysis. To this end, we…
We prove the necessary and sufficient conditions for practical stability of nonlinear dynamical system at general phase restrictions. In such a case the Lyapunov function is nondifferentiable. But if the set of initial data is starry…
Let $p \in (0, \infty)$ be a constant and let $\{\xi_n\} \subset L^p(\Omega, {\mathcal F}, \P)$ be a sequence of random variables. For any integers $m, n \ge 0$, denote $S_{m, n} = \sum_{k=m}^{m + n} \xi_k$. It is proved that, if there…
Analysis of transient stability of strongly nonlinear post-fault dynamics is one of the most computationally challenging parts of Dynamic Security Assessment. This paper proposes a novel approach for assessment of transient stability of the…
We prove that the Lyapunov exponent of quasi-periodic cocyles with singularities behaves continuously over the analytic category. We thereby generalize earlier results, where singularities were either excluded completely or constrained by…
We develop a direct Lyapunov method for the almost sure open-loop stabilizability and asymptotic stabilizability of controlled degenerate diffusion processes. The infinitesimal decrease condition for a Lyapunov function is a new form of…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
We provide general methods for explicitly constructing strict Lyapunov functions for fully nonlinear slowly time-varying systems. Our results apply to cases where the given dynamics and corresponding frozen dynamics are not necessarily…
We prove that the set of smooth, $\pi$-periodic, positive functions on the unit circle for which the $L_{-2}$ Minkowski problem is solvable is dense in the set of all smooth, $\pi$-periodic, positive functions on the unit circle with…
We prove the following version of the Kreps-Yan theorem. For any norm closed convex cone $C\subset L^\infty$ such that $C\cap L_+^\infty=\{0\}$ and $C\supset -L_+^\infty$, there exists a strictly positive continuous linear functional, whose…