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

arXiv: https://arxiv.org/abs/2110.00675 · HTML: https://mlsanity.com/paper/2110.00675/

## Key facts

- Cited by 45 papers in the map (data through 14 Oct 2026).
- Builds on 29 of its 112 references that are in the map.
- First posted on arXiv 1 Oct 2021.

## Builds on (most cited first, 29 of 29)

- [Understanding deep learning requires rethinking generalization](https://mlsanity.com/paper/1611.03530/) (2016)
- [Generative Adversarial Imitation Learning](https://mlsanity.com/paper/1606.03476/) (2016)
- [Spectrally-normalized margin bounds for neural networks](https://mlsanity.com/paper/1706.08498/) (2017)
- [Exploring Generalization in Deep Learning](https://mlsanity.com/paper/1706.08947/) (2017)
- [Computing Nonvacuous Generalization Bounds for Deep (Stochastic) Neural Networks with Many More Parameters than Training Data](https://mlsanity.com/paper/1703.11008/) (2017)
- [Safe Model-based Reinforcement Learning with Stability Guarantees](https://mlsanity.com/paper/1705.08551/) (2017)
- [Neural Lyapunov Control](https://mlsanity.com/paper/2005.00611/) (2020)
- [Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning](https://mlsanity.com/paper/1805.01956/) (2018)
- [Imitating Driver Behavior with Generative Adversarial Networks](https://mlsanity.com/paper/1701.06699/) (2017)
- [The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems](https://mlsanity.com/paper/1808.00924/) (2018)
- [Neural Lander: Stable Drone Landing Control using Learned Dynamics](https://mlsanity.com/paper/1811.08027/) (2018)
- [Control Contraction Metrics: Convex and Intrinsic Criteria for Nonlinear Feedback Design](https://mlsanity.com/paper/1503.03144/) (2015)
- [Control Regularization for Reduced Variance Reinforcement Learning](https://mlsanity.com/paper/1905.05380/) (2019)
- [MPC-Net: A First Principles Guided Policy Search](https://mlsanity.com/paper/1909.05197/) (2019)
- [Learning Stabilizable Nonlinear Dynamics with Contraction-Based Regularization](https://mlsanity.com/paper/1907.13122/) (2019)
- [Robust Regression for Safe Exploration in Control](https://mlsanity.com/paper/1906.05819/) (2019)
- [Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approach](https://mlsanity.com/paper/2006.04361/) (2020)
- [GLAS: Global-to-Local Safe Autonomy Synthesis for Multi-Robot Motion Planning with End-to-End Learning](https://mlsanity.com/paper/2002.11807/) (2020)
- [Neural-Swarm: Decentralized Close-Proximity Multirotor Control Using Learned Interactions](https://mlsanity.com/paper/2003.02992/) (2020)
- [Neural-Swarm2: Planning and Control of Heterogeneous Multirotor Swarms using Learned Interactions](https://mlsanity.com/paper/2012.05457/) (2020)
- [Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems](https://mlsanity.com/paper/1903.01577/) (2019)
- [Beyond Convexity -- Contraction and Global Convergence of Gradient Descent](https://mlsanity.com/paper/1806.06655/) (2018)
- [Input-to-State Safety With Control Barrier Functions](https://mlsanity.com/paper/1803.03035/) (2018)
- [Chance-Constrained Trajectory Optimization for Safe Exploration and Learning of Nonlinear Systems](https://mlsanity.com/paper/2005.04374/) (2020)
- [Learning-based Robust Motion Planning with Guaranteed Stability: A Contraction Theory Approach](https://mlsanity.com/paper/2102.12668/) (2021)
- [Safe Feedback Motion Planning: A Contraction Theory and L1-Adaptive Control Based Approach](https://mlsanity.com/paper/2004.01142/) (2020)
- [Robust Controller Design for Stochastic Nonlinear Systems via Convex Optimization](https://mlsanity.com/paper/2006.04359/) (2020)
- [Learn Fast, Forget Slow: Safe Predictive Learning Control for Systems with Unknown and Changing Dynamics Performing Repetitive Tasks](https://mlsanity.com/paper/1810.06681/) (2018)
- [Data-driven computation of invariant sets of discrete time-invariant black-box systems](https://mlsanity.com/paper/1907.12075/) (2019)

## Built on by (most cited first, 30 of 45)

- [A Survey on Generative Diffusion Model](https://mlsanity.com/paper/2209.02646/) (2022)
- [Statistical Learning Theory for Control: A Finite Sample Perspective](https://mlsanity.com/paper/2209.05423/) (2022)
- [Neural Contractive Dynamical Systems](https://mlsanity.com/paper/2401.09352/) (2024)
- [Robust Classification using Contractive Hamiltonian Neural ODEs](https://mlsanity.com/paper/2203.11805/) (2022)
- [Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees](https://mlsanity.com/paper/2402.08090/) (2024)
- [From Prior to Pro: Efficient Skill Mastery via Distribution Contractive RL Finetuning](https://mlsanity.com/paper/2603.10263/) (2026)
- [Beyond Black-Box Advice: Learning-Augmented Algorithms for MDPs with Q-Value Predictions](https://mlsanity.com/paper/2307.10524/) (2023)
- [A roadmap for AI in robotics](https://mlsanity.com/paper/2507.19975/) (2025)
- [Predictability Enables Parallelization of Nonlinear State Space Models](https://mlsanity.com/paper/2508.16817/) (2025)
- [A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability](https://mlsanity.com/paper/2110.00693/) (2021)
- [Learning Over Contracting and Lipschitz Closed-Loops for Partially-Observed Nonlinear Systems (Extended Version)](https://mlsanity.com/paper/2304.06193/) (2023)
- [Decision-Dependent Stochastic Optimization: The Role of Distribution Dynamics](https://mlsanity.com/paper/2503.07324/) (2025)
- [Learning Control-Oriented Dynamical Structure from Data](https://mlsanity.com/paper/2302.02529/) (2023)
- [Contractive Dynamical Imitation Policies for Efficient Out-of-Sample Recovery](https://mlsanity.com/paper/2412.07544/) (2024)
- [Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems](https://mlsanity.com/paper/2504.17102/) (2025)
- [Long-term Safe Reinforcement Learning with Binary Feedback](https://mlsanity.com/paper/2401.03786/) (2024)
- [LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers](https://mlsanity.com/paper/2604.05374/) (2026)
- [Learning Contraction Policies from Offline Data](https://mlsanity.com/paper/2112.05911/) (2021)
- [Fusion Dynamical Systems with Machine Learning in Imitation Learning: A Comprehensive Overview](https://mlsanity.com/paper/2403.19916/) (2024)
- [Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects](https://mlsanity.com/paper/2208.04883/) (2022)
- [Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems](https://mlsanity.com/paper/2208.13006/) (2022)
- [Robust Stability Analysis of Positive Lure System with Neural Network Feedback](https://mlsanity.com/paper/2505.18912/) (2025)
- [Parameter-free Optimal Rates for Nonlinear Semi-Norm Contractions with Applications to Q-Learning](https://mlsanity.com/paper/2508.05984/) (2025)
- [Interstellar Object Accessibility and Mission Design](https://mlsanity.com/paper/2210.14980/) (2022)
- [Anytime-Competitive Reinforcement Learning with Policy Prior](https://mlsanity.com/paper/2311.01568/) (2023)
- [Stable Modular Control via Contraction Theory for Reinforcement Learning](https://mlsanity.com/paper/2311.03669/) (2023)
- [Extended Neural Contractive Dynamical Systems: On Multiple Tasks and Riemannian Safety Regions](https://mlsanity.com/paper/2411.11405/) (2024)
- [Diffeomorphic Obstacle Avoidance for Contractive Dynamical Systems via Implicit Representations](https://mlsanity.com/paper/2504.18860/) (2025)
- [React to Surprises: Stable-by-Design Neural Feedback Control and the Youla-REN](https://mlsanity.com/paper/2506.01226/) (2025)
- [Distributionally Robust Imitation Learning: Layered Control Architecture for Certifiable Autonomy](https://mlsanity.com/paper/2512.17899/) (2025)

## Abstract (arXiv)

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 the 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.