Non-Euclidean Contraction Theory for Robust Nonlinear Stability

Abstract

We study necessary and sufficient conditions for contraction and incremental stability of dynamical systems with respect to non-Euclidean norms. First, we introduce weak pairings as a framework to study contractivity with respect to arbitrary norms, and characterize their properties. We introduce and study the sign and max pairings for the ${\ell }_1$ and ${\ell }_{\infty }$ norms, respectively. Using weak pairings, we establish five equivalent characterizations for contraction, including the one-sided Lipschitz condition for the vector field as well as matrix measure and Demidovich conditions for the corresponding Jacobian. Third, we extend our contraction framework in two directions: we prove equivalences for contraction of continuous vector fields and we formalize the weaker notion of equilibrium contraction, which ensures exponential convergence to an equilibrium. Finally, as an application, we provide (i) incremental input-to-state stability and finite input-state gain properties for contracting systems, and (ii) a general theorem about the Lipschitz interconnection of contracting systems, whereby the Hurwitzness of a gain matrix implies the contractivity of the interconnected system.

Cited by in corpus (14)

• Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks
• The Yakubovich S-Lemma Revisited: Stability and Contractivity in Non-Euclidean Norms
• Time-Varying Convex Optimization: A Contraction and Equilibrium Tracking Approach
• Perspectives on Contractivity in Control, Optimization, and Learning
• Edges' Riemannian energy analysis for synchronization of multi-agent nonlinear systems over undirected weighted graphs
• Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
• Closed-Loop Finite-Time Analysis of Suboptimal Online Control
• Generalized Lyapunov conditions for k-contraction: analysis and feedback design
• A Contraction Theory Approach to Optimization Algorithms from Acceleration Flows
• Non-Euclidean Monotone Operator Theory with Applications to Recurrent Neural Networks
• $k$-Contraction in a Generalized Lurie System
• From Contraction Theory to Fixed Point Algorithms on Riemannian and Non-Euclidean Spaces
• B-stability of numerical integrators on Riemannian manifolds
• Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis