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 analysis of time-varying DAE systems via auxiliary ODE systems

Extended Space Method for Parameter Identifiability of DAE Systems

A New Method For Parameter Identifiability Of Dae Systems

ODE Transformations of Nonlinear DAE Power Systems

Geometric Analysis of Differential-Algebraic Equations via Linear Control Theory

Contraction analysis of nonlinear random dynamical systems

Neural DAEs: Constrained neural networks

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories

Output contraction analysis of nonlinear systems

Geometric analysis of nonlinear differential-algebraic equations via nonlinear control theory

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

Stability Analysis for Linear Systems with a Differentiable Time-Varying Delay Via Auxiliary Equation-Based Method

Time-Varying Convex Optimization: A Contraction and Equilibrium Tracking Approach

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

An -Embedding Model-Order Reduction Approach for Differential-Algebraic Equation Systems

Review on contraction analysis and computation of contraction metrics

Improved structural methods for nonlinear differential-algebraic equations via combinatorial relaxation

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

Abstract dissipative Hamiltonian differential-algebraic equations are everywhere

Contracting differential equations in weighted Banach spaces

Synchronization Analysis Of Coupled Differential Systems With Time-Varying Couplings