An LMI-based approach for characterizing the solution set of polynomial systems

Considers the problem of solving certain classes of polynomial systems. This is a well known problem in control system analysis and design. A novel approach is developed as a possible alternative to the commonly employed algebraic geometry and homotopy methods. The first result of the paper shows that the solution set of the polynomial system belongs to the kernel of a symmetric matrix. Such a matrix is obtained via the solution of a suitable linear matrix inequality (LMI) involving the maximization of the minimum eigenvalue of an affine family of symmetric matrices. The second result concerns the computation of the solutions from the kernel of the obtained matrix. In particular, it is shown that the solutions can be recovered quite easily if the dimension of the kernel is smaller than the degree of the polynomial system. Finally, some application examples are illustrated to show the features of the approach and to make a brief comparison with the algebraic geometry techniques.

[1]  A. S. Hodel,et al.  Homotopy methods for the solution of general modified algebraic Riccati equations , 1993 .

[2]  A. Morgan Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems , 1987 .

[3]  N. Jacobson,et al.  Lectures in Abstract Algebra : vol. III, Theory of Fields and Galois Theory. By N. Jacobson. Pp. xi, 323. 76s. (Van Nostrand) , 1966, The Mathematical Gazette.

[4]  A. Tarski A Decision Method for Elementary Algebra and Geometry , 2023 .

[5]  Dale E. Seborg,et al.  Characterization of equilibrium sets for bilinear systems with feedback control , 1983, Autom..

[6]  B. Anderson,et al.  Output feedback stabilization—Solution by algebraic geometry methods , 1977, Proceedings of the IEEE.

[7]  N. Bose Applied multidimensional systems theory , 1982 .

[8]  Graziano Chesi,et al.  A convex approach to a class of minimum norm problems , 1998, Robustness in Identification and Control.

[9]  A. Tesi,et al.  Robust stability of state-space models with structured uncertainties , 1990 .

[10]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[11]  Uri Shaked,et al.  Minimum entropy static output-feedback control with an H∞-norm performance bound , 1997, IEEE Trans. Autom. Control..

[12]  Donal O'Shea,et al.  Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

[13]  Alberto Tesi,et al.  Robust Absolute Stability of Lur'e Control Systems in Parameter Space , 1990 .

[14]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.