线性系统同时镇定中广义香槟问题的解  

作　　者：关强[1] 王龙[2] 夏壁灿[3] 杨路[4] 郁文生[1,5] 曾振柄[4] 

机构地区：[1]中国科学院自动化研究所,复杂系统与智能科学实验室,北京100080 [2]北京大学工学院,系统与控制研究中心,北京100871 [3]北京大学数学科学学院,信息科学系,北京100871 [4]华东师范大学软件学院,上海计算机理论研究所,上海200062 [5]清华大学智能技术与系统国家重点实验室

出　　处：《中国科学（E辑）》2007年第6期770-780,共11页Science in China(Series E)

基　　金：国家自然科学基金重点项目(批准号:60572056;60528007;60334020;60204006;10471044和10372002);国家重点基础研究发展规划(批准号:2005CB321902;2004CB318003;2002CB312200);中国科学院海外杰出学者基金;清华大学智能技术与系统国家重点实验室开放课题资助项目

摘　　要：利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果.

关 键 词：线性系统 镇定 同时镇定 香槟问题 广义香槟问题 复分析 不等式型定理 机器证明 

分 类 号：O231.1[理学—运筹学与控制论]