Related papers: Algebraic Lyapunov Functions for Homogeneous Dynam…
We review here some recent results by the authors, and various coauthors, on (weak,super) Poincar\'e inequalities, transportation-information inequalities or logarithmic Sobolev inequality via a quite simple and efficient technique:…
In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing…
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…
We propose a class of \textit{Euler-Lagrange} equations indexed by a pair of parameters ($\alpha,r$) that generalizes Nesterov's accelerated gradient methods for convex ($\alpha=1$) and strongly convex ($\alpha=0$) functions from a…
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…
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…
We extend the concept of Lyapunov 1-forms for the case of diffu- sion processes to study its asymptotic behavior. We give some examples and a condition for the existence of these objects.
In this article we study if a Deep Learning technique can be used to obtain an approximated value of the Lyapunov exponents of a dynamical system. Moreover, we want to know if Machine Learning techniques are able, once trained, to provide…
The Lyapunov inequality is an indispensable tool for stability analysis in linear control theory. It provides a necessary and sufficient condition for the stability of an autonomous linear-time invariant system in terms of the existence of…
We study several new invariants associated to a holomorphic projective structure on a Riemann surface of finite analytic type: the Lyapunov exponent of its holonomy which is of probabilistic/dynamical nature and was introduced in our…
In 1892, Lyapunov provided a fundamental contribution to stability theory by introducing so-called Lyapunov functions and Lyapunov equilibria. He subsequently showed that, for linear systems, the two concepts are equivalent. These concepts…
This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given…
The goal of this paper is twofold. In the first part we discuss a general approach to determine Lyapunov exponents from ensemble- rather than time-averages. The approach passes through the identification of locally stable and unstable…
We have recently constructed a piecewise quadratic Lyapunov function to prove the boundedness of the reachable values set of piecewise affine discrete-time systems. The method developed also provided an overapproximation of the reachable…
We develop the diffeomorphism invariant Colombeau-type algebra of nonlinear generalized functions in a modern and compact way. Using a unifying formalism for the local setting and on manifolds, the construction becomes simpler and more…
Inspired by the widespread concept of Lyapunov-Krasovskii functionals of complete type, this article proposes an alternative class of functionals, termed Lyapunov-Krasovskii functionals of robust type. Their construction aims at improving…
It is given notions of singular hyperbolicity and sectional Lyapunov exponents of orders beyond the classical ones, namely, other dimensions besides the dimension 2 and the full dimension of the central subbundle of the singular hyperbolic…
A new approach is used to describe the large time behavior of the non-local differential equation initially studied in [3]. Our approach is based upon the existence of infinitely many Lyapunov functionals and allows us to extend the…
In the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian…
Continuous piecewise affine (CPA) Lyapunov function synthesis is one method to perform Lyapunov stability analysis for nonlinear systems. This method first generates a mesh over the region of interest in the system's state space and then…