闭环稳定性与 Lyapunov 方程关联
一、LQR 闭环系统
1.1 最优闭环动态
LQR 最优控制律 下的闭环系统:
其中 , 是 DARE 的解。
1.2 稳定性定义
渐近稳定:闭环矩阵 的所有特征值都在单位圆内:
二、Lyapunov 稳定性理论
2.1 离散 Lyapunov 方程
对于线性系统 ,若存在对称正定矩阵 和 满足:
则系统是渐近稳定的。
2.2 Lyapunov 函数
定义候选 Lyapunov 函数:
其沿轨迹的变化为:
2.3 稳定性条件
| 条件 | 结论 |
|---|---|
| 渐近稳定 | |
| 单调递减 | |
三、LQR 最优值函数作为 Lyapunov 函数
3.1 关键观察
LQR 的最优值函数 (其中 是 DARE 的解)天然是一个 Lyapunov 函数。
3.2 DARE 的 Lyapunov 形式
回顾 DARE 方程:
将 代入:
整理得:
3.3 右边矩阵的正定性
由于 ,,:
若 可检测,则 。
3.4 稳定性结论
根据 Lyapunov 稳定性定理:
- (DARE 解的正定性)
- (权重矩阵的正定性)
- 满足离散 Lyapunov 方程
结论:LQR 最优闭环系统 是渐近稳定的。
四、最优值函数的下降性
4.1 沿最优轨迹的变化
沿最优轨迹 ,最优值函数的变化:
4.2 物理意义
Important
最优值函数的减少量等于当前步的代价:
这体现了动态规划的最优性原理:最优策略下,“剩余代价”的减少等于”已付代价”。
4.3 累积代价
从 到无穷:
五、特征值分析
5.1 闭环极点位置
LQR 闭环系统的特征值(极点)满足:
5.2 权重对极点的影响
| 权重变化 | 极点移动趋势 |
|---|---|
| 极点向原点移动(更快响应) | |
| 极点向单位圆移动(更慢响应) | |
| 极点趋于 0(最快响应) | |
| 极点趋于开环稳定极点 |
5.3 稳定裕度
LQR 具有良好的稳定裕度:
- 增益裕度:至少
- 相位裕度:至少
LQR 的鲁棒性
这是 LQR(以及无约束 MPC)的重要优点之一。
六、示例:二阶系统
6.1 系统模型
6.2 开环极点
系统不稳定(有一个极点在单位圆上)。
6.3 DARE 求解
数值求解 DARE 得:
6.4 反馈增益
6.5 闭环极点
都在单位圆内,系统稳定。
七、总结
| 概念 | 公式/结论 |
|---|---|
| 闭环系统 | |
| Lyapunov 方程 | |
| 最优值函数 | 是 Lyapunov 函数 |
| 下降性 | |
| 稳定裕度 | 增益裕度 ,相位裕度 |
相关内容
- DARE 求解见 02-离散代数 Riccati 方程 DARE 求解
- MPC 稳定性证明见 02-Lyapunov 函数下降性推导
更新记录
| 日期 | 内容 |
|---|---|
| 2026-04-10 | 初始版本 |