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.

Stability and Robustness Analysis of Nonlinear Systems via Contraction Metrics and SOS Programming

Stability analysis and controller synthesis for discrete linear time-delay systems with state saturation nonlinearities

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

Contraction Metrics in Adaptive Nonlinear Control

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

Stability Analysis And Control Synthesis For Uncertain Polynomial Nonlinear Systems

Non-Euclidean Contraction Theory for Robust Nonlinear Stability

A Symplectic Algorithm For The Stability Analysis Of Nonlinear Parametric Excited Systems

Control Contraction Metrics and Universal Stabilizability

Online Feedback Optimization and Singular Perturbation via Contraction Theory

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

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

Nonlinear Robust Control: An Sos - Based Approach

Robust Stability Analysis and Disturbance Rejection for Discrete-Time Systems with Constraints

Nonlinear Stabilization via Control Contraction Metrics: a Pseudospectral Approach for Computing Geodesics

Contraction analysis and control synthesis for discrete-time nonlinear processes

Contraction analysis of nonlinear random dynamical systems

A Convex Approach for Stability Analysis of Coupled PDEs with Spatially Dependent Coefficients

Stability Analysis of Parabolic Linear PDEs with Two Spatial Dimensions Using Lyapunov Method and SOS

Initial Application of SONC to Lyapunov Stability of Dynamical Systems

Perspectives on Contractivity in Control, Optimization, and Learning