A homotopy theorem for incremental stability

Thomas Chaffey,Andrey Kharitenko,Fulvio Forni,Rodolphe Sepulchre
2024-12-02
Abstract:A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled Relative Graphs, correcting two assumptions in [1, Theorem 2]. A second corollary provides an incremental version of the classical IQC stability theorem.
Optimization and Control,Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify the incremental stability of feedback systems, and for this purpose, a new method is proposed, that is, through homotopy from known incrementally stable systems. Specifically, the main contributions of the paper include: 1. **Propose the Incremental Homotopy Theorem**: The paper proposes an Incremental Homotopy Theorem (Theorem 2). This theorem replaces the traditional gain bound with an incremental gain bound and modifies the Incremental Small - Gain Theorem (Theorem 1), so that the incremental stability of the system can be verified without relying on the extended space. 2. **Correct and Expand Existing Results**: - **Correct Assumptions**: Two assumptions in previous literature ([1, Theorem 2]) are corrected. These assumptions have technical errors when verifying incremental stability. - **Generalize the IQCs Theorem**: An incremental version of the classical Integral Quadratic Constraints (IQC) stability theorem is provided, which does not require the assumptions of causality and extended space. 3. **Introduce the SRG Separation Condition**: The paper shows how to use the separation condition of Scaled Relative Graphs (SRGs) to verify the incremental stability of feedback systems, which provides a theoretical basis for graphical analysis. 4. **Relax the Assumption of Incremental Boundedness**: The paper also explores the possibility of verifying incremental stability under weaker assumptions, that is, relaxing the boundedness requirements of system components while maintaining the same well - posedness assumptions as in classical non - incremental analysis. ### Summary of Main Problems The core problem of the paper is to develop a new method to verify the incremental stability of feedback systems, especially through the use of homotopy methods and incremental gain bounds. This method not only improves the existing theoretical framework but also provides a more general and flexible tool, which is applicable to a wider range of system types.