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

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