Abstract:Contraction theory is an analytical tool to study differential dynamics of a non-autonomous (i.e., time-varying) nonlinear system under a contraction metric defined with a uniformly positive definite matrix, the existence of which results in a necessary and sufficient characterization of incremental exponential stability of multiple solution trajectories with respect to each other. By using a squared differential length as a Lyapunov-like function, its nonlinear stability analysis boils down to finding a suitable contraction metric that satisfies a stability condition expressed as a linear matrix inequality, indicating that many parallels can be drawn between well-known linear systems theory and contraction theory for nonlinear systems. Furthermore, contraction theory takes advantage of a superior robustness property of exponential stability used in conjunction with the comparison lemma. This yields much-needed safety and stability guarantees for neural network-based control and estimation schemes, without resorting to a more involved method of using uniform asymptotic stability for input-to-state stability. Such distinctive features permit systematic construction of a contraction metric via convex optimization, thereby obtaining an explicit exponential bound on the distance between a time-varying target trajectory and solution trajectories perturbed externally due to disturbances and learning errors. The objective of this paper is therefore to present a tutorial overview of contraction theory and its advantages in nonlinear stability analysis of deterministic and stochastic systems, with an emphasis on deriving formal robustness and stability guarantees for various learning-based and data-driven automatic control methods. In particular, we provide a detailed review of techniques for finding contraction metrics and associated control and estimation laws using deep neural networks.

$k$-Contraction in a Generalized Lurie System

A sufficient condition for 2-contraction of a feedback interconnection

Generalized Lyapunov conditions for k-contraction: analysis and feedback design

k-Contraction: Theory and Applications

From Partial and Horizontal Contraction to $k$-Contraction

On the existence of KKL observers with nonlinear contracting dynamics (Long Version)

Non-Euclidean Contraction Theory for Robust Nonlinear Stability

A small-gain criterion for 2-contraction of large scale interconnected systems

A small-gain theorem for 2-contraction of nonlinear interconnected systems

On the equivalence of contraction and Koopman approaches for nonlinear stability and control

On Parameter Convergence of Nonlinearly Parameterized Adaptive Systems: Analysis Via Contraction and First Lyapunov's Methods

Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks

Exponential Synchronization of Partial-State Coupled Linear Systems Via Contraction Analysis

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview

Contraction and Convergence Rates for Discretized Kinetic Langevin Dynamics

Contraction Theory with Inequality Constraints

Discrete-time Convergent Nonlinear Systems

Contraction Metrics in Adaptive Nonlinear Control

Contraction analysis of nonlinear random dynamical systems