Related papers: Construction of Lyapunov Functions Using Vector Fi…
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…
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…
The Helmholtz decomposition splits a sufficiently smooth vector field into a gradient field and a divergence-free rotation field. Existing decomposition methods impose constraints on the behavior of vector fields at infinity and require…
We introduce a new class of quadratic functions based on a hierarchy of linear time-varying (LTV) dynamical systems. These quadratic functions in the higher order space can be also seen as a non-homogeneous polynomial Lyapunov functions for…
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…
Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more complex systems. One key point is the ability to decompose a large system into subsystems, analyze those…
We propose a learning-based method for Lyapunov stability analysis of piecewise affine dynamical systems in feedback with piecewise affine neural network controllers. The proposed method consists of an iterative interaction between a…
We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov…
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…
As a new tool to describe the behaviour of a dynamical system, we introduce the concept of "covariant Lyapunov field", i.e. a field which assigns all the components of covariant Lyapunov vectors at almost all points of the phase space. We…
The Filippov convention is widely used in the literature to define vector fields on a discontinuity set of piecewise-continuous vector fields. The aim of this paper is to give a sufficient and necessary condition for an interpolation scheme…
We consider a continuous-time linear time-invariant dynamical system that admits an invariant cone. For the case of a self-dual and homogeneous cone we show that if the system is asymptotically stable then it admits a quadratic Lyapunov…
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…
This paper presents a method to approximate regions of attraction of unknown nonlinear dynamical systems from data. Assuming point-wise evaluations of the vector field and known Lipschitz bounds, a polyhedral uncertainty set of admissible…
The paper describes a novel method for studying the stability of nonautonomous dynamical systems. This method based on the flow and divergence of the vector field with coupling to the method of Lyapunov functions. The necessary and…
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 introduce and analyze a notion of smooth Lyapunov 1-form for flows generated by vector fields on orbifolds. Using asymptotic cycles and chain-recurrent sets, we establish topological conditions that guarantee the existence of a Lyapunov…
While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global…
Polyhedral Lyapunov functions can approximate any norm arbitrarily well. Because of this, they are used to study the stability of linear time varying and linear parameter varying systems without being conservative. However, the…
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…