Simultaneous stabilizability of three linear systems is rationally undecidable

We show that the simultaneous stabilizability of three linear systems, that is the question of knowing whether three linear systems are simultaneously stabilizable, is rationally undecidable. By this we mean that it is not possible to find necessary and sufficient conditions for simultaneous stabilization of the three systems in terms of expressions involving the coefficients of the three systems and combinations of arithmetical operations (additions, subtractions, multiplications, and divisions), logical operations (“and” and “or”), and sign test operations (equal to, greater than, greater than or equal to,...).

[1]  W. Rudin.  Real and complex analysis , 1968 .

[2]  G. Goluzin.  Geometric theory of functions of a complex variable , 1969 .

[3]  A. Baker.  Transcendental Number Theory , 1975 .

[4]  B. Ghosh.  Some new results on the simultaneous stabilizability of a family of single input, single output systems , 1985 .

[5]  R. A. Silverman,et al.  Theory of Functions of a Complex Variable , 1968 .

[6]  J. Murray,et al.  Fractional representation, algebraic geometry, and the simultaneous stabilization problem , 1982 .

[7]  D. Youla,et al.  Single-loop feedback-stabilization of linear multivariable dynamical plants , 1974, Autom..

[8]  M. Gevers,et al.  Simultaneous Stabilization of Three or More Plants: Conditions on the Positive Real Axis Do Not Suffice , 1994 .

[9]  G. Campion,et al.  Avoidance and intersection in the complex plane, a tool for simultaneous stabilization , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[10]  M. Vidyasagar.  Control System Synthesis : A Factorization Approach , 1988 .

[11]  H. Kwakernaak.  A condition for robust stabilizability , 1982 .

[12]  M. Vidyasagar,et al.  Algebraic design techniques for reliable stabilization , 1982 .

[13]  K. Wei.  The solution of a transcendental problem and its applications in simultaneous stabilization problems , 1992 .

[14]  B. Ross Barmish,et al.  An iterative design procedure for simultaneous stabilization of MIMO systems , 1987, Autom..

[15]  B K Ghosh.  Transcendental and interpolation methods in simultaneous stabilization and simultaneous partial pole placement problems , 1986 .