Abstract:The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis [1,11,13,18,22] and Blondel's technique [5,6,8].We give a complete answer to the open problem proposed by Patel et al. [20,21], which automatically includes the solution to the original "Champagne Problem" [6,8,9,17,20,21]. Based on the recent development in automated inequality-type theorem proving [31,32,33,35,36], a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature [17,21].