系统同时镇定若干问题的研究

项目名称： 系统同时镇定若干问题的研究

项目编号： No.60874010

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 轻工业、手工业

项目作者： 郁文生

作者单位： 中国科学院自动化研究所

项目金额： 32万元

中文摘要： 利用复分析理论，结合Blondel提出代数几何方法，对线性系统同时镇定中以法国香槟问题、比利时巧克力问题和威士忌问题为代表的一系列公开问题进行理论上的探讨，借助新近发展的不等式型定理机器证明的理论和方法，建立一套基于数学机械化思想的全局优化实用算法，实现线性的同时镇定控制器设计，结合符号计算与数值计算的优点，提高方法的计算效率性，完成程序设计与仿真研究，尝试将数学机械化的相关理论与方法应用于其它控制问题的研究，将非线性控制及智能控制方法引入系统同时镇定问题的研究中，完善控制器设计的理论与方法，尝试推广于实际应用中。申请人已在上述几个方面已进行了部分有益的探索，均得到令人满意的结果，有较强的研究基础。申请人已发表期刊论文近五十篇，其中《中国科学 （中英文）》三篇，《IEEE Trans.》四篇。

中文关键词： 线性系统的同时镇定；复分析；定理机器证明；全局优化；非线性控制

英文摘要： Using the complex analysis and the algebra-geometry methods,some well-known open problems in simultaneous stabilization of linear systems, such as French Champagne Problem, Belgian Chocolate Problem and Whisky Problem, are discussed. Based on the recent development in automated inequality-type theorem proving, some global optimization algorithms for stabilizing controller design are propoesd. Combining symbolic computation and numerical computation, the efficiency of these methods is improved. The corresponding programming and numerical results are given. Other control algorithms, such as non-linear control algorthms and intelligent control algorithms, are applied in simultaneous stabilization research. Moreover, these methods based on the theorem mechanical proving will be introduced in other concerning control theoretical research and applications. The applicant obtained some valuable results in the previous research and published about fifty papers concerning control theory and its applications, including three papers in <Science in China>(Chinese version and English version) and four papers in <IEEE Trans. Circuits. Syst.>.

英文关键词： simultaneous stabilization of linear systems; complex analysis; automated theorem proving; global optimazation; non-linear