现代控制理论笔记
现代控制理论笔记
期末周终于结束了...
虽然考的依托, 但知识还是有用的, 整理分享出来吧
前言
现代控制理论是经典控制理论的拓展, 引入 状态空间 的概念, 使用线性代数的形式描述内容.
这段时间的学习中, 分为如下几个部分:
- 状态空间表达式:
状态空间概念的引入和简介, 以及一些特殊矩阵的定义和性质 - 状态空间表达式的解: 对各类状态方程的求解
- 线性控制系统的能控性和能观性: 提出了
能控和能观的概念, 并给出了性质和判定方法 - 稳定性与李雅普诺夫方法: 对经典控制理论的
稳定性的拓展, 引入了李雅普诺夫的稳定性定义和判定方法 - 线性定常系统的综合: 对线性定常系统的综合分析, 也是上述内容的综合运用
1. 状态空间表达式
1.1 状态变量和状态空间表达式
书写步骤:
- 确定输入输出变量
- 列出方程, 得到状态方程
- 写成线性组合形式
状态变量个数为独立储能元件个数
初值个数
例: RLC电路
状态变量:
输入:
输出:
一阶微分方程:
状态方程和输出方程:
线性组合形式:
1.2 模拟结构图
1.3 直接建立状态空间表达式
1.4 根据传统控制理论建立状态空间表达式
1.4.1 由微分方程
a) 不含输入量导数项
微分方程:
状态变量 (输出量各级导数):
状态方程与输出方程:
线性组合形式:
b) 含输入量导数项
微分方程:
状态变量 (线性转化为 a) 型):
1.4.2 由传递函数
a) 无重极点
传递函数 (求解极点并展开):
状态空间模型:
b) 有重极点
传递函数 (求解极点并洛朗展开):
状态空间模型:
其中每一个块称为 约旦块, 整个矩阵称为 约旦矩阵:
1.5 状态空间线性变换
1.5.1 线性变换
同一线性空间的不同线性变量:
则有如下关系:
1.5.2 逆矩阵的计算
a) 伴随矩阵法
: 伴随矩阵, : 行列式
b) 初等变换法
构造增广矩阵 , 做初等行变换得到 , 则
1.5.3 特征值不变性与系统的不变量
特征方程: , 特征值 , 特征向量:
1.5.4 对角线规范型
状态方程:
若 各个特征值 对应特征向量线性独立, 则存在变换矩阵 , 可通过 的方式变换为对角线规范型
变换结果:
特例: 友矩阵转对角线规范型矩阵
友矩阵:
特征多项式:
则特征值 , 特征向量
当友矩阵特征值互异时, 对角变换矩阵 为范德蒙矩阵:
1.5.5 约旦规范型
约旦块:
约旦矩阵: 由 个约旦块构成的块对角矩阵
矩阵变换为约旦矩阵, 约旦块数为矩阵线性独立特征向量数, 即几何重数
1.6 从状态空间表达式求传递函数
状态空间表达式:
其中 x 为 n 维状态, u 为 r 维输入, y 为 m 维输出
传递函数阵:
G(s) 为 矩阵
2. 状态空间表达式的解
2.1 线性定常状态方程的解
方程: , 自由解:
零初条件下 , 自由解:
2.2 状态转移矩阵
状态转移矩阵: , 为 到 的状态转移矩阵
则 的解为
2.2.1 基本性质
a) ,
b) 零初:
c) 组合:
d) 分段: ,
e) 若方阵 , 则 , 否则不满足
f) 若 为对角矩阵, 则 也是对角矩阵
2.2.2 特殊矩阵的状态转移矩阵
a) 对角
b) 能进行对角化
c) 约旦矩阵
d) 三角矩阵
2.3 矩阵指数函数的计算
a) 直接计算
b) 变化 A 为约旦标准型
- 特征根互异:
- 特征值有重根:
c) 对 拉氏反变换
d) 凯莱-哈密顿法
表达式:
当 A 各个特征值互异时, 方程为:
当 A 各个特征值相同时, 方程为:
混合情况, 两种组合求解
2.4 线性定常系统非齐次方程的解
2.4.1 直接积分法
方程:
解:
2.4.2 拉氏变化法
2.4.3 经典输入
a) 脉冲 :
b) 阶跃 :
c) 斜坡 :
2.5 线性时变系统的解
线性时变系统表达式:
时变其次状态方程: , 解为: , 称为时变系统转移矩阵
2.5.1 求解
a) 与 可交换
b) 与 不可交换
2.5.2 性质
a) 零初:
b) 分段:
c)
d)
转移方程:
一般不能写成封闭形式, 仅当 时, 才能写成:
2.5.3 时变非齐次状态方程的解
方程:
解:
2.6 离散时间系统状态方程的解
2.7 线性连续时间系统的离散化
3. 线性控制系统的能控性和能观性
3.1 能控性
3.1.1 状态能控: 初始时刻 , 有无约束的 , 使优先时间区间 内, 系统可运动到 , 称系统在 时刻能控, 记作
3.1.2 系统能控: 对于所有初始状态 , 在 时刻均可控, 则称在 时刻完全状态可控, 简称系统能控
若 , 称 在 能达
线性连续系统的能控性和能达性等价
线性时变系统需强调 时刻, 若与 无关, 则称 一致能控
定常系统与初始时间无关, 称 状态能控 或 系统能控
3.1.3 不完全能控: 状态空间中存在非零状态的 时刻不可控, 则称系统在 时刻不完全可控
3.2 线性定常系统的能控性判别
3.2.1 对角线规范型判据
将状态空间表达式化为对角线规范型, 得到对角线规范型(或约旦规范型)系统矩阵 和控制矩阵 :
系统可控条件为:
- 若 为对角矩阵, 则 不包含全 行
- 若 为约旦矩阵, 则各个约旦块对应 中最后一行不全为 , 且相同特征值不同约旦块对应各个 中最后一行互相线性无关
此外结构图中不包含于输入 无关的孤立方块, 则系统可控
3.2.2 格拉姆矩阵判据
格拉姆矩阵:
系统可控条件为: 存在 使格拉姆矩阵 为非奇异的
3.2.3 秩判据
可控性判别阵:
系统可控条件为: , 为 的维数, 为矩阵的秩, 即最大线性无关组元素数
3.2.4 PBH 秩判据
系统可控条件为: 对于 所有特征值 , 有
3.2.5 输出能控
输出能控矩阵:
系统输出能控条件: , 即 满秩
3.3 能观性
- 状态能观
- 系统能观
- 状态不能观
3.4 线性定常系统能观性判别
3.4.1 对角线规范型判据
将状态空间表达式化为对角线规范型, 得到对角线规范型(或约旦规范型)系统矩阵 和输出矩阵 :
系统可控条件为:
- 若 为对角矩阵, 则 不包含全 行
- 若 为约旦矩阵, 则各个约旦块对应 的首列不全为 , 且相同特征值不同约旦块对应各个 的首列互相线性无关
3.4.2 格拉姆矩阵判据
格拉姆矩阵:
系统可控条件为: 存在 使格拉姆矩阵 为非奇异的
3.4.3 秩判据
系统可控条件为:
3.4.4 PBH 秩判据
系统可控条件为: 对于 所有特征值 , 有
3.5 对偶关系
3.6 离散时间系统的能控性与能观性
3.6.1 能控性
离散线性系统:
对于初始时刻 与非零初始状态 , 可达 , 称在 时刻能控
对于线性定常系统, 不在强调 时刻, 称系统能控
3.6.2 能控性判据
a) 奇异时, 条件为:
b) 非奇异时, 上式为充分条件, 步内能控充要条件为:
3.6.3 能达性判据
能达性充要条件:
步能达充要条件:
3.6.4 能观性判据
3.6.5 连续系统离散化的保持性
线性定常连续系统离散化后, 保持能控能观条件:
对于所有实部相同的特征值 , 采样周期满足
3.7 时变系统的能控性与能观性
3.7.1 格拉姆矩阵判据
- 能控性:
- 能观性:
需判断状态转移矩阵是否可交换: , 若可交换, 可写成封闭形式:
不可交换时, 使用如下充分判据
3.7.2 能控性判据
若 , 则能控
3.7.3 能观性判据
若 , 则能观
3.8 状态空间表达式的能控标准型与能观标准型
能控/能观的状态空间表达式能化成标准型
特征多项式:
3.8.1 能控标准 1 型
3.8.2 能控标准 2 型
3.8.3 能观标准 1 型
3.8.4 能观标准 2 型
3.8 线性系统的结构分解
系统 能控能观, 能控不能观, 不能控能观, 不能控不能观
3.8.1 能控性分解
能控性判别阵: , 选择前 个线性无关的列向量
构建变换矩阵 , 所得列向量为 前若干列, 其余列保证 非奇异下任选
3.8.2 能观性分解
能观性判别阵: , 选择前 个线性无关的行向量
构建变换矩阵 , 所得行向量为 前若干行, 其余行保证 非奇异下任选
3.8.3 混合分解
- 先按能控性分解系统 , 得到
- 按能观性分解不能控子系统 , 得到
- 按能观性分解能控子系统 , 得到
4. 稳定性与李雅普诺夫方法
4.1 稳定性李雅普诺夫定义
4.1.1 稳定性
系统其次状态方程 , 在初始条件 下, 有唯一解
上式表示从初始状态随 的一条轨迹, 若存在状态 , 对于所有 , 都有 , 则称 为系统的平衡状态
运动到平衡状态后, 各状态不再变化; 系统不一定存在平衡状态, 也可能存在多个平衡状态
线性系统 , 若 非奇异, 则 的 为唯一的平衡状态; 若 非奇异, 则存在无穷个平衡状态
非线性系统平衡状态由 计算
4.1.2 范数
向量的长度称为范数, 向量差的范数称为向量的距离
4.1.3 李雅普诺夫稳定性分类
, 初态下引起的自由响应是有界的, 根据有界性分类
记球域 为初态 取值, 球域 为自由响应边界
a) 稳定和一致稳定
, 则称 是稳定的
一般 与 和 有关, 若 与 无关, 则称一致稳定的
b) 渐进稳定
, 则称渐进稳定
即从有范围的初态内, 收敛于一点
c) 大范围渐进稳定
, 在 时, 都收敛到 , 则称大范围渐进稳定
d) 不稳定
, 使得该点触发的轨迹超出球域, 称不稳定
总结:
- 有界, 则 稳定
- 有界且收敛一点, 则 渐进稳定
- 无界, 则 不稳定
经典理论中, 仅渐进稳定称为稳定, 李雅普诺夫稳定为临界稳定, 工程上认为是不稳定的
4.2 李雅普诺夫第一法 (间接法)
4.2.1 线性系统稳定性判据
状态渐进稳定条件: 的所有特征值都具有负实部, 即
输出稳定性: 对于输入 , 引起的输出 是有界的
输出稳定条件: 传递函数 的极点均位于 左半平面
状态稳定一定输出稳定, 反之不一定; 状态稳定输出稳定对等时, 系统能控又能观
4.2.2 非线性系统稳定性判据
状态方程:
线性化方程:
所有特征值均有负实部, 则 渐进稳定
部分为零, 无法判断
4.3 李雅普诺夫第二法 (直接法)
构造标量函数
4.3.1 标量函数符号性质
- , 正定
- , 半正定
- , 负定
- , 半负定
- , 不定
4.3.2 二次型标量函数
若 , 则 为二次型标量函数, 当 为对称矩阵时, 则 , 其中 为 特征值
符号性质与 相同
构建 为 前 行 列的行列式, 则有希维尔斯特判据:
- , 正定
- 为偶数, , 为奇数, , 负定
- , 半正定
- 为偶数, , 为奇数, , 半负定
4.3.3 稳定性判据
构建 与一阶导
- 若 正定, 负定, 则渐进稳定
- 若 正定, 半负定, 则李雅普诺夫稳定; 且 时 不恒为零, 则渐进稳定
- 若 正定, 正定, 则不稳定
- 若 正定, 半正定, 且 时 不恒为零, 则不稳定
4.4 线性系统应用
构造实对称矩阵:
任取实对称矩阵 , 构造 , 计算
构造 ,
根据李雅普诺夫第二法判断
5. 线性定常系统的综合
5.1 线性反馈控制系统
5.1.1 反馈控制结构
原系统:
a) 状态反馈:
若 , 传递函数:
b) 输出反馈:
若 , 则:
c) 输出到状态矢量反馈:
若 , 传递函数:
5.1.2 动态补偿器
被控系统:
输出反馈动态补偿器:
增广状态向量: , 则:
被控系统中动态补偿器下的空值, 等价于增广系统在静态反馈 的控制作用
5.1.3 反馈的能控性能观性
- 状态反馈不改变能控性, 但不一定保证能观性
- 输出反馈不改变能控性能观性
- 输出至状态导数的反馈不改变能观性, 但不一定保证能控性
5.2 极点配置问题
5.2.1 状态反馈
系统完全能控, 则可使用状态反馈任意配置极点
a) 直接配置
若系统能控, 构建目标特征多项式:
列出系统特征多项式:
联立两个多项式, 解出
b) 利用能控标准型配置
若系统能控, 求特征多项式:
求目标多项式 , 设目标是能控标准型, 求出目标反馈行向量:
求将原系统化为标准型的变化矩阵 , 并由 得到
5.2.2 输出线性反馈
系统完全能控, 无法使用输出线性反馈任意配置极点
5.2.3 动态补偿器
对于完全能控的系统, 若系统完全能观, 且动态补偿器阶数为 , 则可任意配置极点
5.2.4 输出到 反馈
系统完全能观, 可使用输出到 反馈任意配置极点
5.3 系统镇定问题
5.4 系统解耦问题
5.5 状态观测器
本人预测它不能考, 但是本人预测错了 T_T
真的会有人用 latex 和 markdown 记笔记吗? 神奇的是不单单记录完整了, 甚至还记住了...
希望你永远也用不上这些知识, 希望你永远不会受控制原理的摧残
如果真的很不幸, 也希望能帮到你