Contraction theory for nonlinear stability analysis and learning-based control: A tutorial overview

H Tsukamoto, SJ Chung, JJE Slotine - Annual Reviews in Control, 2021 - Elsevier
Contraction theory is an analytical tool to study differential dynamics of a non-autonomous
(ie, time-varying) nonlinear system under a contraction metric defined with a uniformly …

[HTML][HTML] Review on computational methods for Lyapunov functions

P Giesl, S Hafstein - Discrete and Continuous Dynamical Systems …, 2015 - aimsciences.org
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both
in theory and applications. They provide sufficient conditions for the stability of equilibria or …

Control contraction metrics: Convex and intrinsic criteria for nonlinear feedback design

IR Manchester, JJE Slotine - IEEE Transactions on Automatic …, 2017 - ieeexplore.ieee.org
We introduce the concept of a control contraction metric, extending contraction analysis to
constructive nonlinear control design. We derive sufficient conditions for exponential …

Contraction methods for nonlinear systems: A brief introduction and some open problems

Z Aminzare, ED Sontagy - 53rd IEEE Conference on Decision …, 2014 - ieeexplore.ieee.org
Contraction theory provides an elegant way to analyze the behaviors of certain nonlinear
dynamical systems. Under sometimes easy to check hypotheses, systems can be shown to …

Non-Euclidean contraction theory for robust nonlinear stability

A Davydov, S Jafarpour, F Bullo - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
In this article, we study necessary and sufficient conditions for contraction and incremental
stability of dynamical systems with respect to non-Euclidean norms. First, we introduce weak …

A Lyapunov function for robust stability of moving horizon estimation

JD Schiller, S Muntwiler, J Köhler… - … on Automatic Control, 2023 - ieeexplore.ieee.org
We provide a novel robust stability analysis for moving horizon estimation (MHE) using a
Lyapunov function. In addition, we introduce linear matrix inequalities (LMIs) to verify the …

Contraction-based methods for stable identification and robust machine learning: a tutorial

IR Manchester, M Revay… - 2021 60th IEEE …, 2021 - ieeexplore.ieee.org
This tutorial paper provides an introduction to recently developed tools for machine learning,
especially learning dynamical systems (system identification), with stability and robustness …

[HTML][HTML] Zames–Falb multipliers for absolute stability: From O׳ Shea׳ s contribution to convex searches

J Carrasco, MC Turner, WP Heath - European Journal of Control, 2016 - Elsevier
Absolute stability attracted much attention in the 1960s. Several stability conditions for loops
with slope-restricted nonlinearities were developed. Results such as the Circle Criterion and …

Generalization of the multiplicative and additive compounds of square matrices and contraction theory in the Hausdorff dimension

C Wu, R Pines, M Margaliot… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
The multiplicative and additive compounds of a matrix play an important role in geometry,
multilinear algebra, the asymptotic analysis of nonlinear dynamical systems, and in …

Reduced-order nonlinear observers via contraction analysis and convex optimization

B Yi, R Wang, IR Manchester - IEEE Transactions on Automatic …, 2021 - ieeexplore.ieee.org
In this article, we propose a new approach to design globally convergent reduced-order
observers for nonlinear control systems via contraction analysis and convex optimization …