The well-known Generalized Champagne Problem on simultaneous stabilization of linear systems is solved by using complex analysis and Blonders technique. We give a complete answer to the open problem proposed by Patel et al., which automatically includes the solution to the original Champagne Problem. Based on the recent development in automated inequality-type theorem proving, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature.
＜正＞In this paper, we consider the optimal metering control problem for a local freeway ramp. The traffic model...
Xu Jing,u Wcnsheng Institute of Automation,Chinese Academy of Sciences,Beijing 100080 Institute of Automation,Chinese Academy of Sciences,Beijing 100080
