敲黑板了!核心知识警告!
从这篇开始介绍线性系统理论中的最核心概念:Kalman Decomposition。正是基于Kalman Decomposition这种对状态空间的分解,我们才能得到传递函数真正能够实现的“最小规模”的系统:即最小实现(minimal realization)问题。我们在第一篇文章中就已经提到过了,我们后面的文章还会继续提。
如果阅读有困难,请回顾之前文章或者多读几篇。还有好好阅读我给出的几个关于线性代数的回答,都是我觉得解释不错,才贴出来的。我个人虽然都理解,不过建议初学者还是要看好的材料才能更快上手。
这篇着重介绍线性代数的基础,下一篇我们正式讲能控性分解。(线性代数的知识对一个正常工科生来说体系过于庞大,你看看我po的台湾周老师的博客上的文章,你就会发现自己是多无知了。不过我们抓住几个常用的基本定理和重要概念即可。一些细节暂时用不到就不用管了。)
本篇目录
1. 卡尔曼分解概述 Intro of Kalman Decomposition
2. 从不变子空间说起:矩阵的简化 Start with Invariant subspace
1. 卡尔曼分解概述 Intro of Kalman Decomposition
我们在经典控制理论中学过传递函数法表示系统模型。在传递函数中如果出现零点与极点相同并相互抵消的现象,称之为零极点相消(Pole-zero cancellation),那么这时候传递函数实际上是不能完全表示系统的动态,因为有一部分的系统模态可能不受到输入的控制,或者一部分系统状态无法在输出中体现,又或者两者都有。
这些不能控或者不能观的状态构成了线性系统状态空间中的不能控子空间(uncontrollable subspace)和不能观子空间(unobservable subspace)。所以,给定了一个传递函数,或者传递函数阵,它实际能够代表的就只是系统的能控与能观部分,因为给定一个传递函数,实际中能根据它实现的状态空间表达式有无数多种。其中维度最小的,自然就是能控且能观这一部分子空间,称之为最小实现。
我们之后设计控制时候,一般都是要针对传递函数的最小实现部分来设计的,或者说是能观能观子空间。因为不能控,意味着输入无法改变系统的对应不能控状态;不能观,意味着从目前输出与输入中无法重构系统的状态。
有一点需要提醒的是:能控与能观也是会随着控制矩阵和输出矩阵的改变而改变的,比如一个状态在系统拥有某种输出矩阵
那么已经给定了一个系统了,我如何寻找其最小实现呢? Kalman Decomposition正是这个问题的答案。
2. 从不变子空间说起:矩阵的简化 Start with Invariant subspace
在正式开始讲能控性分解之前,我们先讲讲线性代数的一部分知识。根据我的学习经验,只要你线性代数过关,学线性理论真的是易如反掌,理解起来不费吹灰之力。我在这里只写关键部分,剩下的大家参看我给参考资料,或者自行寻找资料。
2.1 基本概念
我们先说说子空间。向量空间的概念我想大家都熟悉,集合中的元素只要满足叠加性和齐次性,还有剩余的几条公理,就把一个集合称之为vector space,也叫线性空间(linear space)。其中如果它的子集中也有满足这些条件的,我们就把它的这种子集称为子空间(subspace)。所以子空间中的元素加减之后仍然在子空间中,数乘之后也落在子空间中,这点和vector space一样。一组向量(无论是否线性无关)所处的最小子空间就是由它们张成的空间。
那么针对一个向量空间
关于direct sum的意义可以参考下面这个回答:
线性代数中,向量空间的子空间的“和”与“直和”,这两个概念的区别是什么?www.zhihu.com简单来说,
根据线性映射的性质:
2.2 简化矩阵:分块上三角
利用不变子空间的性质,我们可以简化线性映射
针对线性算子
那么按照矩阵每一列的定义,其第
注意,如果我们取一组比较特别的基,比如特征向量,我们有可能发现这个矩阵是一个对角矩阵。没错,如果
现在
也就是说向量空间
矩阵的前
要是剩下的
下一篇文章我们就根据这个知识,把原来的状态空间进行不变子空间的划分。我们之后会证明,能控子空间
参考资料 Reference
- 同样参考Kemin Zhou的Robust and Optimal control中Linear system部分来回顾一个大体思路。
- 这个链接的文章非常不错地解释了不变子空间的来龙去脉,我这里的思路是参考它的。不變子空間──解構線性算子的利器。事实上,不变子空间还关系着矩阵对角化与Jordan分块的知识,在这篇文章里可以清楚看到。PS: 这个网站关于线性代数的文章非常非常地好,建议有时间多看看。
- 一个中文的资料,可以简短回顾下线性代数和能控分解的概念,我们下篇会详细说。当然你也可以看看刘豹的现代控制理论,不过他并没有展开关于不变子空间的讨论,因此更想是为了考研而出的书。