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.

Contraction Criteria for Incremental Stability of Differential Systems with Discontinuous Right-Hand Sides

Criteria on Contraction and Incremental Stability of Dynamical Systems with Time Delay

Criteria on Exponential Incremental Stability of Dynamical Systems with Time Delay

On contraction and incremental stability of a class of switched Filippov systemsmytitlenote

An LMI Approach to D-stability and D-stabilization of Linear Discrete Singular Systems with State Delay.

Controllability of Damped Second Order Impulsive Differential Systems

Switching control for incremental stabilization of nonlinear systems via contraction theory

Decentralized Model Predictive Control of Nonlinear Continuous Systems with Contractive Constraints

D-stability Criteria for Linear Uncertain Continuous Multi-Delays Systems

Dynamical Behaviors of Recurrently Connected Neural Networks and Linearly Coupled Networks with Discontinuous Right-Hand Sides

Filippov's Solution and Finite-Time Stability of Stochastic Systems for Discontinuous Control

Non-Euclidean Contraction Theory for Robust Nonlinear Stability

Generalized Filippov solutions for systems with prescribed-time convergence

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories

On convergence analysis of feedback control with integral action and discontinuous relay perturbation

Locally Distributed Control and Damping for the Conservative Systems

Stability of Solutions to Systems of Nonlinear Differential Equations with Discontinuous Right-Hand Sides: Applications to Hopfield Artificial Neural Networks

On Incremental Stability of Interconnected Switched Systems

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

Almost periodic dynamics for a delayed differential neoclassical growth model with discontinuous control strategy

Controllability and reachability criteria for linear piecewise constant impulsive systems