A Differential Lyapunov Framework for Contraction Analysis

  title={A Differential Lyapunov Framework for Contraction Analysis},
  author={Fulvio Forni and Rodolphe Sepulchre},
  journal={IEEE Transactions on Automatic Control},
Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure. Incremental stability is inferred from infinitesimal contraction of the Finsler metrics through integration along solutions curves. 

Figures from this paper

Expansivity implies existence of Hölder continuous Lyapunov function

The Lyapunov function is a very useful tool in the theory of dynamical systems, in particular in the study of the stability of an equilibrium point. In this paper we construct a locally Holder

Stability Analysis via Averaging Functions

A new class of Lyapunov functions is proposed for analysis of incremental stability for nonlinear systems that allows to establish input-dependent incremental stability criteria.

On differential input-to-state stability

  • Y. Kawano
  • Mathematics
    2016 IEEE 55th Conference on Decision and Control (CDC)
  • 2016
Using this Finsler-Lyapunov function, sufficient conditions are given for differential ISS and differential integral ISS to demonstrate that a differential ISS condition can be used for synchronization analysis of a coupled oscillator.

Lyapunov Functions Obtained from First Order Approximations

We study the construction of Lyapunov functions based on first order approximations. We first consider the (transverse) local exponential stability of an invariant manifold and largely rephrase [3].

On Geometric and Lyapunov Characterizations of Incremental Stable Systems on Finsler Manifolds

This paper reports several new geometric and Lyapunov characterizations of incremental stable systems on Finsler and Riemannian manifolds and reveals a connection between incremental stability and stability of an equilibrium point.

Control Contraction Metrics and Universal Stabilizability

The concept of universal stabilizability is introduced: the condition that every solution of a nonlinear system can be globally stabilized is given, in terms of the existence of a control contraction metric, which can be found by solving a pointwise linear matrix inequality.

Construction of Finsler‐Lyapunov functions with meshless collocation

  • P. Giesl
  • Mathematics
    ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik
  • 2019
We study the stability of invariant sets such as equilibria or periodic orbits of a Dynamical System given by a general autonomous nonlinear ordinary differential equation (ODE). A classical tool to

Further Geometric and Lyapunov Characterizations of Incrementally Stable Systems on Finsler Manifolds

Two Lyapunov characterizations of incrementally stable systems are derived, namely, converse contraction theorems, and revelation of the connection between incremental stability and stability of an equilibrium point, in which the second result recovers and extends the classical Krasovskii’s method.

Converse theorems on contraction metrics for an equilibrium

Contraction Analysis of Monotone Systems via Separable Functions

This paper shows that the existence of such separable functions is both necessary and sufficient under standard assumptions for the converse Lyapunov theorem of exponential stability for monotone nonlinear systems through contraction analysis.



A dual to Lyapunov's stability theorem

On Contraction Analysis for Non-linear Systems

A simple extension of contraction theory to study incremental stability properties

  • J. Jouffroy
  • Mathematics
    2003 European Control Conference (ECC)
  • 2003
The original definition of contraction theory is extended to incorporate in an explicit manner the control input of the considered system, called universal contraction, which serves as a simple formulation of incremental ISS, external stability, and detectability in a differential setting.

Constructive Lyapunov stabilization of nonlinear cascade systems

A global stabilization procedure for nonlinear cascade and feedforward systems which extends the existing stabilization results and gives conditions for continuous differentiability of the Lyapunov function and the resulting control law.

Further Results on Incremental Input-to-State Stability

  • D. Angeli
  • Mathematics
    IEEE Transactions on Automatic Control
  • 2009
A continuous converse Lyapunov theorem is provided for incremental integral ISS and it is shown that the incremental integral property is at least as strong as incremental ISS.

A Lyapunov approach to incremental stability properties

  • D. Angeli
  • Mathematics
    IEEE Trans. Autom. Control.
  • 2002
The aim is to present a framework for understanding questions of incremental stability fully compatible with the well-known input-to-state stability approach.

Nonlinear Systems Analysis

Non-linear Differential Equations with Unique Solutions, Proof of the Kalman-Yacubovitch Lemma and proof of the Frobenius Theorem.

Stability theory of dynamical systems

Dynamical Systems.- Elementary Concepts.- Recursive Concepts.- Dispersive Concepts.- Stability Theory.- Flow near a Compact Invariant Set.- Higher Prolongations.- E1 Liapunov Functions for Ordinary

Contractive Systems with Inputs

Contraction theory provides an elegant way of analyzing the behaviors of systems subject to external inputs. Under sometimes easy to check hypotheses, systems can be shown to have the incremental

A Tutorial on Incremental Stability Analysis using Contraction Theory

A methodology for dierential nonlinear stability analysis using contraction theory (Lohmiller and Slotine, 1998) is introduced and the approach is illustrated on several simple examples.