A small-gain theorem for 2-contraction of nonlinear interconnected systems

David Angeli,Davide Martini,Giacomo Innocenti,Alberto Tesi
2023-06-30
Abstract:This paper introduces small-gain sufficient conditions for $2$-contraction of feedback interconnected systems, on the basis of individual gains of suitable subsystems arising from a modular decomposition of the second additive compound equation. The condition applies even to cases when individual subsystems might fail to be contractive (due to the extra margin of contraction afforded by the second additive compound matrix). Examples of application are provided to illustrate the theory and show its degree of conservatism and scope of applicability.
Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **How to provide small - gain sufficient conditions for 2 - contraction of nonlinear interconnected systems?** Specifically, the paper introduces these conditions by decomposing appropriate subsystems in the second additive compound equation. These conditions are even applicable to cases where a single subsystem may not be contractive, because the second additive compound matrix provides additional contraction margins. The paper also demonstrates the scope of application of the theory and its conservatism through examples. ### Background of the Paper 1. **Research on Stability and Convergence** - Research on stability and convergence can be traced back to Lyapunov's work. There are usually two methods: the direct method (using a candidate Lyapunov function) and the indirect method (based on linearized dynamics, i.e., the Jacobian matrix \(\frac{\partial f}{\partial x}\)). 2. **Contraction Theory** - Contraction theory is based on variational equations and ensures the convergence of solutions by assuming certain linear matrix inequality (LMI) conditions. The specific LMI condition is: \[ \frac{\partial f}{\partial x^T}(x)P(x)+P(x)\frac{\partial f}{\partial x}(x)+\dot{P}(x)<0 \] where \(P(x)\) is a symmetric, positive - definite, and differentiable matrix function. 3. **Extended Research** - In recent years, many interesting extensions of contraction analysis have emerged, such as contraction analysis of periodic solutions, exclusion of periodic solutions under relaxed conditions, etc. ### Contributions of the Paper 1. **Small - Gain Theorem** - This paper proposes a small - gain theorem for 2 - contraction of feedback - interconnected systems. This theorem is based on the second additive compound matrix of each subsystem and is achieved by solving three independent LMI problems instead of one large LMI problem. 2. **Application Examples** - The paper demonstrates the application of the theory through specific examples, illustrating the effectiveness and scope of application of this method. ### Main Results 1. **Small - Gain Theorem for Linear Systems** - The L2 gain of subsystems is defined, and the LMI form satisfying the small - gain condition is given. The specific condition is: \[ 1>\min_{P_{12},\tilde{\eta}_1,\tilde{\eta}_2}\gamma_1^2\tilde{\eta}_1+\gamma_2^2\tilde{\eta}_2 \] 2. **Small - Gain Theorem for Nonlinear Systems** - For nonlinear interconnected systems, the L2 gain of state - dependent matrices is defined, and the corresponding LMI conditions are given. The specific condition is: \[ \gamma_{12}\cdot\sqrt{\gamma_1^2+\gamma_2^2}<1 \] ### Application Examples 1. **Transition from Multistability to Limit Cycle** - Through a specific four - dimensional system, it is shown how to use the small - gain theorem to ensure the 2 - contraction property of the system, thereby excluding oscillatory behavior. 2. **Example of Thomas System** - Through the four - dimensional Thomas system, the dynamic behavior of the system under different parameters is shown, and the effectiveness of the small - gain condition is verified. In conclusion, by proposing a new small - gain theorem, this paper provides an effective analysis tool for 2 - contraction of nonlinear interconnected systems, which has important theoretical and practical significance.