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.

Output contraction analysis of nonlinear systems

H/sub ∞/ Control for Lipschitz Nonlinear Systems Via Output Feedback

An Extended Stability Theorem for Nonlinear Systems Subject to Slowly Varying Exogenous Signals

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

Output regulation of infinite-dimensional nonlinear systems: a forwarding approach for contraction semigroups

Non-Euclidean Contraction Theory for Robust Nonlinear Stability

Contraction analysis of nonlinear random dynamical systems

Stabilization by Output Feedback of Multivariable Invertible Nonlinear Systems.

Output Regulation of Time-Varying Nonlinear Systems

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

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

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

On the exponential convergence of input-output signals of nonlinear feedback systems

Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks

Output Stabilization of Lurie-Type Nonlinear Systems in a Given Set

k-Contraction: Theory and Applications

Robust Output Feedback Stabilization of Multivariable Invertible Nonlinear Systems: A Feedback Linearization-Based Method

Contraction Theory with Inequality Constraints

Robust Output Regulation for a Class of Nonlinear Systems Not Detectable by the Regulated Output

Output convergence analysis for delayed RNN with time varying inputs

Contraction analysis of time-varying DAE systems via auxiliary ODE systems