Stability and Performance Analysis on Self-dual Cones

Emil Vladu
2024-11-19
Abstract:In this paper, we consider nonsymmetric solutions to certain Lyapunov and Riccati equations and inequalities with coefficient matrices corresponding to cone-preserving dynamical systems. Most results presented here appear to be novel even in the special case of positive systems. First, we provide a simple eigenvalue criterion for a Sylvester equation to admit a cone-preserving solution. For a single system preserving a self-dual cone, this reduces to stability. Further, we provide a set of conditions equivalent to testing a given H-infinity norm bound, as in the bounded real lemma. These feature the stability of a coefficient matrix similar to the Hamiltonian, a solution to two conic inequalities, and a stabilizing cone-preserving solution to a nonsymmetric Riccati equation. Finally, we show that the H-infinity norm is attained at zero frequency.
Optimization and Control,Systems and Control
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the stability and performance analysis of linear dynamical systems that are invariant on self - dual cones. Specifically, the paper explores the following two core problems: 1. **Stability Analysis**: - The paper studies the properties of asymmetric solutions of Lyapunov equations and Riccati equations on self - dual cones. - The author provides a simple eigenvalue criterion to determine whether the Sylvester equation has a cone - invariant solution. For the case where a single system preserves the self - dual cone, this is simplified to a stability condition. - For two matrices \( A \) and \( D \) that are cross - positive definite on an appropriate cone, the associated Sylvester equation \( DP + PA \prec_K 0 \) has a (possibly asymmetric) cone - invariant solution if and only if the sum of the maximum real parts of these two matrices is negative, that is, \( \mu(A)+\mu(D)<0 \). 2. **Performance Analysis**: - The paper considers the boundary test of the H - infinity norm and provides a set of equivalent conditions to verify the given H - infinity norm boundary. These conditions include the stability of coefficient matrices, solutions to two cone inequalities, and stable solutions of asymmetric Riccati equations. - In particular, for monotone systems, the paper proves that the H - infinity norm reaches its maximum at zero frequency, that is, \( \|G\|_\infty = \|G(0)\| \). In summary, the main purpose of this paper is to explore how to verify the stability and performance of self - dual cone - preserving systems by analyzing the asymmetric solutions of Lyapunov and Riccati equations, thereby providing a theoretical basis for the control design of such systems. The following are the key formulas presented in Markdown format: - **Sylvester Equation**: \[ DP + PA \prec_K 0 \] where \( P \succ_K 0 \) if and only if \( \mu(A)+\mu(D)<0 \). - **H - infinity Norm Conditions**: \[ \left\| G \right\|_\infty < \gamma \] is equivalent to the existence of \( P \succeq_{K_x} 0 \) satisfying: \[ \frac{1}{\gamma^2} PBB^TP + A^TP + PA + C^TC = 0 \] and \( A+\frac{1}{\gamma^2} BB^TP \) is Hurwitz stable. The research on these problems not only extends the existing theory but also provides new perspectives and tools for controller design in practical applications.