控制系统举动理论和机械化数学方法.pdfVIP

中文摘要 本文主要工作包括两个部分，一方面归纳分析了近年来在线性系统代数理论 研究中取得的重要进展，主要是控制系统行为理论：另一方面，讨论了机械化数 学方法在控制问题中的应用，通过对这两个领域的深入研究，探索和发展了一条 对控制系统建模并应用机械化数学方法进行分析的新思想，丰富了计算控制论这 一崭新学科的研究内容。 控制系统行为理论的研究目标是对动态系统建立一种更加形式化的理论数学 框架，其重点是对物理可实现系统建模和与控制相关的综合问题。研究的起点是 将动态系统定义为一个包含时间轴、信号空间和满足系统约束轨迹的行为的三元 组，著将按基本原理建模所引入的辅助变量和建模的目标变量分别称为隐变量和 显变量。输入／输出模型和状念空恻描述、矩阵分式描述、多项式矩阵描述等被 作为行为化系统表示的特殊类型。其目前的研究内容包括：在不同系统表示之间 的转换和算法：系统的可控性、可观测性、连续性、对称性等性质：从实验数据 中建模：同时考虑时空特征的N维系统：控制问题中的系统互连、稳定性、线性 二次型控制、Hoo控制和自适应控制等。 在实现初等几何定理证明时，吴文俊所使用的数学机械化方法是先将几何代 数化，然后采用多项式吴消元法来验证。而JanC．Willems所开创的动态系统行