In this paper, it is shown that the problem of checking the solvability of a bilinear matrix inequality (BMI), is NP-hard. A matrix valued function, F(X,Y), is called bilinear if it is linear with respect to each of its arguments, and an inequality of the form, F(X,Y)>0 is called a bilinear matrix inequality. Recently, it was shown that, the static output feedback problem, fixed order controller problem, reduced order H/sup /spl infin// controller design problem, and several other control problems can be formulated as BMIs. The main result of this paper shows that the problem of checking the solvability of BMIs is NP-hard, and hence it is rather unlikely to find a polynomial time algorithm for solving general BMI problems. As an independent result, it is also shown that simultaneous stabilization with static output feedback is an NP-hard problem, namely for given n plants, the problem of checking the existence of a static gain matrix, which stabilizes all of the n plants, is NP-hard.
[1]
A. Tarski.
A Decision Method for Elementary Algebra and Geometry
,
2023
.
[2]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.
[3]
R. Skelton,et al.
A complete solution to the general H∞ control problem: LMI existence conditions and state space formulas
,
1993,
1993 American Control Conference.
[4]
Vincent D. Blondel,et al.
Simultaneous stabilizability of three linear systems is rationally undecidable
,
1993,
Math. Control. Signals Syst..
[5]
K. Goh,et al.
Control system synthesis via bilinear matrix inequalities
,
1994,
Proceedings of 1994 American Control Conference - ACC '94.