Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems  

作　　者：GUAN Qiang WANG Long XIA BiCan YANG Lu YU WenSheng ZENG ZhenBing 

机构地区：[1]Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China [2]Center for Systems and Control, College of Engineering, Peking University, Beijing 100871, China [3]LMAM and School of Mathematical Sciences, Peking University, Beijing 100871, China [4]Shanghai Institute of Theoretical Computing, Software Engineering Institute, East China Normal University, Shanghai 200062, China [5]National Key Laboratory of Intelligent Technology and Systems, Tsinghua University, Beijing 100084, China

出　　处：《Science in China(Series F)》2007年第5期719-731,共13页中国科学（F辑英文版）

基　　金：Supported by the National Natural Science Foundation of China (Grant Nos. 60572056, 60528007, 60334020, 60204006, 10471044, and 10372002);the National Key Basic Research and Development Program (Grant Nos. 2005CB321902, 2004CB318003, 2002CB312200);the Overseas Outstanding Young Researcher Foundation of Chinese Academy of Sciences;the Program of National Key Laboratory of Intelligent Technology and Systems of Tsinghua University

摘　　要：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.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.

关 键 词：linear systems STABILIZATION simultaneous stabilization Champagne Problem Generalized Champagne Problem complex analysis inequality-type theorem automated theorem proving 

分 类 号：TP271[自动化与计算机技术—检测技术与自动化装置]