传递函数矩阵的状态空间实现ok.ppt

第10章传递函数矩阵的状态空间实现 第10章传递函数矩阵的状态空间实现 10 1实现的基本概念和基本属性 状态空间实现简称为实现 Realization 对于线性部描述 实现的定义 或简写为 A B C D 是其传递函数矩阵G s 的一个实现 如果两者为外部等价 即成立关系式 C sI A 1B D G s 实现的基本属性 1 实现的维数传递函数矩阵G s 的实现 A B C D 的结构复杂程度可由其维数表征 一个实现的维数规定为其系统矩阵A的维数 即实现的维数 dimA 2 实现的不惟一性传递函数矩阵G s 的实现 A B C D 满足强不惟一性 即不仅实现结果不惟一 而且其实现维数也不惟一 3 最小实现传递函数矩阵G s 的所有实现 A B C D 中维数最小的一类实现 4 实现间的关系对传递函数矩阵G s 其不同实现间一般不存在代数等价关系 但其最小实现间必具有代数等价关系 5 实现的物理本质直观上 传递函数矩阵G s 的实现就是对具有 黑箱 形式的真实系统在状态空间领域寻找一个外部等价的内部假想结构 内部假想结构对真实系统的可否完全表征性依赖于系统是否可控可观测 6 实现的形式G s 实现的形式取决于其真性和严格真性 当G s 为严格真 其实现对应地具有形式 A B C 即D 0当G s 为真 其实现对应地具有形式 A B C D 即D 0 且有 7 扩展构造其它实现的途径设状态空间描述 A B C D 为传递函数矩阵G s 的一个实现 dimA n 则对任一n n非奇异阵T 状态空间描述 T 1AT T 1B CT D 必也为G s 的一个同维实现 能控类和能观测类实现 能控类实现 称状态空间描述 A B C D 为传递函数矩阵G s 的一个可控类实现 当且仅当C sI A 1B D G s A B 可控且具有指定形式 能观测类实现 称状态空间描述 A B C D 为传递函数矩阵G s 的一个可观测类实现 当且仅当C sI A 1B D G s A C 可观测且具有指定形式 当G s 以有理分式矩阵或矩阵分式描述形式表达时 可以构成形式很不相同的能控类 能观测类实现 最小实现 所有实现中结构最为简单的实现即从外部等价的角度看 实现中不包含任何多余的部分最小实现为不可简约实现 最小实现的判据 设 A B C 为严格真传递函数矩阵G s 的一个实现 则其为最小实现的充要条件是 A B 完全可控 A C 完全可观测 严格真传递函数矩阵G s 的最小实现不惟一 但满足广义惟一性 也就是说 若 A B C 和为G s 的任意两个最小实现 则必可由此构造出一个n n非奇异常阵T使下式成立 最小实现的广义惟一性 实现的最小维数 对q p传递函数矩阵G s r RankG s Smith McMillan型为 G s 的状态空间实现的最小维数为 10 2标量传递函数的典型实现 考虑SISO线性时不变系统的传递函数为真标量传递函数g s 其中 能控标准型实现 g s 的严格真部分n s d s 的可控标准型实现具有形式 系统特征多项式 可观测标准型实现 g s 的严真部分n s d s 的可观测标准型实现具有形式 例 试求其能观测标准型 并联型实现 g s 的严格真部分n s d s 的极点为 1 1重 2 2重 m m重 i i 1 m 之和为维数n 则n s d s 的并联型实现为 Ap bp cp g s 的并联型实现为 Ap bp cp e 10 3基于有理分式矩阵描述的典型实现 能控性实现和能观测形实现 真q p传递函数矩阵G s 如下G s gij s i 1 2 q j 1 2 p E G 再设Gsp s 诸元的最小公分母d s 为 严格真传递函数Gsp s 可进一步表示为 其中 Pk k 1 2 l 1 为q p常阵 可控型实现 Gsp s 的可控型实现具有形式 例 求出下面G s 的可控型实现 解 G s 为严格真传递函数矩阵 其中各元的最小公分母为d s s 1 s 2 s 3 s3 6s2 11s 6则G s 可表示成 G s 的可控型实现为 注 Gsp s 的可控型实现与可观测型实现满足对偶关系 可观测型实现 所示Gsp s 的可观测型实现具有形式 10 4基于MFD的典型实现 控制器形实现和观测器形实现 对于传递函数矩阵G s 按MFD为 右或左MFD 以及 分母矩阵列既约或行既约 可分为4种可能的组合 右MFDNr s Dr 1 s Dr s 列既约 构造控制器型实现 左MFDDl 1 s Nl s Dl s 行既约 构造观测器型实现 右MFDNr s Dr 1 s Dr s 行既约 构造可控性型实现左MFDDl 1 s Nl s Dl s 列既约 构造可观测性型实现 真q p右MFD 1 右MFD的控制器型实现 严格真右MFDG s Nr s Dr 1 s 设Dr s 列既约 控制器型实现 对q p严格真右MFDNr s Dr 1 s Dr s 列既约 表示列次 ciDr s kci i 1 2 p 则称一个状态空间描述 为其控制器型实现 其中 满足 对真q p右MFD 其严格真右MFD为Nr s Dr 1 s Dr s 列既约 列次 ciDr s kci i 1 2 pDr s DhcSc s DLc c s Nr s NLc c s 控制器型实现的构造 其中 Dhc为Dr s 的列次系数阵 且的detDhc 0 DLc为Dr s 的低次系数阵 NLc为Nr s 的低次系数阵 则严格真Nr s Dr 1 s 的控制器型实现 Ac Bc Cc 的系数矩阵为 而真的控制器型实现为 Ac Bc Cc E 注控制器型实现为完全可控 但一般为不完全可观测 通过分析可知 控制器型实现中Ac Bc Cc具有如下形式 其中 表示可能的非零元素 与Dr s 的列次系数阵之间的直接关系为 例 给出如下2 2右MFDNr s Dr 1 s 的控制器型实现 Ac Bc Cc 解容易判断 Dr s 为列既约 且Nr s Dr 1 s 为严格真 Dr s 的列次数kc1 c1Dr s 2 kc2 c2Dr s 3 列次表达式的各个系数矩阵为 由此可得 2 左MFD的观测器型实现 考虑真q p左MFD 严格真左MFD 控制器型实现 对q p严格真左MFDDl 1 s Nl s Dl s 行既约 表示行次 rjDl s krj j 1 2 q 称一个状态空间描述 为其观测器型实现 其中 如果满足 观测器型实现的构造 对真q p左MFD 其严格真左MFD为Dl 1 s Nl s Dl s 行既约 行次 rjDl s krj j 1 2 q 利用行次表达式 Dl s Sr s Dhr r s DLrNL s r s NLr 其中 Dhr为Dl s 的行次系数阵 且的detDhr 0 DLr为Dl s 的低次系数阵 NLr为Nl s 的低次系数阵 其核心MFDSr 1 s r s 的实现为 这里 则严格真Nr s Dr 1 s 的控制器型实现 Ac Bc Cc 的系数矩阵为 而真的控制器型实现为 Ao Bo Co E 注观测器型实现为完全可观测 但一般为不完全可控 通过分析可知 观测器型实现中Ao Bo Co具有如下形式 其中 表示可能的非零元素 与Dl s 的行次系数阵之间的直接关系为 10 6不可简约矩阵分式描述的最小实现 最小实现是传递函数矩阵的维数最小即结构最简单的一类实现 1 不可简约右MFD的最小实现 对q p严格真右MFDNr s Dr 1 s 设n degdetDr s 表 Ac Bc Cc 为 Nr s Dr 1 s Dr s 列既约 的n维控制器型实现 Aco Bco Cco 为 Nr s Dr 1 s Dr s 行既约 的n维可控性型实现 则有 Ac Bc Cc 为最小实现 Nr s Dr 1 s 不可简约 Aco Bco Cco 为最小实现 Nr s Dr 1 s 不可简约 对q p严格真右MFDNr s Dr 1 s Dr s 列既约或行既约 n degdetDr s 表 A B C 为其任意形式的n维实现 则有 A B C 为最小实现 Nr s Dr 1 s 不可简约 注 上述描述为由右MFD确定最小实现提供了一条易于获得的途径 但这并不意味着右MFD的最小实现只可能有控制器型或可控性型 下面的结论对于给出MFD的最小实现更具普遍性 2 不可简约左MFD的最小实现 对q p严格真左MFDDl 1 s Nl s 设n degdetDl s 表 Ao Bo Co 为 Dl 1 s Nl s Dl s 行既约 的n维观测器型实现 Aob Bob Cob 为 Dl 1 s Nl s Dl s 列既约 的n维可观测性型实现 则有 Ao Bo Co 为最小实现 Dl 1 s Nl s 不可简约 Aob Bob Cob 为最小实现 Dl 1 s Nl s 不可简约 注 同样 上述结论并不意味着左MFD的最小实现只可能有观测器型或可观测性型 下面给出左MFD的最小实现的一个更具普遍性的结论 对q p严格真左MFDDl 1 s Nl s Dl s 行既约或列既约 n degdetDl s 表 A B C 为其任意形式的n维实现 则有 A B C 为最小实现 Dl 1 s Nl s 不可简约 3 确定最小实现的途径 对严格真可简约MFD 确定最小实现的途径包括频域法和时域法两种 频域法的途径严真可简约MFD 分母矩阵为列既约或行既约 导出不可简约MFD 分母矩