符号与缩写速查表
使用说明
本速查表汇总了 MPC 知识库中使用的所有数学符号和常用缩写,方便快速查阅。符号的完整定义和首次出现位置详见 CLAUDE。
一、数学符号速查表
1.1 系统与状态变量
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 状态向量 | 01-LTI 系统连续表达 | ||
| 输入/控制向量 | 01-LTI 系统连续表达 | ||
| 输出向量 | 01-LTI 系统连续表达 | ||
| 离散时间索引 | 整数 | 02-零阶保持器 ZOH 离散化方法 | |
| 采样周期 | 标量 (秒) | 02-零阶保持器 ZOH 离散化方法 | |
| 状态维度 | 标量 | 01-LTI 系统连续表达 | |
| 输入维度 | 标量 | 01-LTI 系统连续表达 | |
| 输出维度 | 标量 | 01-LTI 系统连续表达 |
1.2 系统矩阵
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 系统矩阵 | 01-LTI 系统连续表达 | ||
| 输入矩阵 | 01-LTI 系统连续表达 | ||
| 输出矩阵 | 01-LTI 系统连续表达 | ||
| 直传矩阵 | 01-LTI 系统连续表达 | ||
| 离散系统矩阵 | 02-零阶保持器 ZOH 离散化方法 | ||
| 离散输入矩阵 | 02-零阶保持器 ZOH 离散化方法 | ||
| 闭环系统矩阵 () | 03-闭环稳定性与 Lyapunov 方程关联 |
1.3 预测与控制序列
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 预测时域 | 整数 | 01-预测时域 N 与控制时域 Nu | |
| 控制时域 | 整数 | 01-预测时域 N 与控制时域 Nu | |
| 时刻 预测的第 步控制 | 01-预测时域 N 与控制时域 Nu | ||
| 时刻 预测的第 步状态 | 01-预测时域 N 与控制时域 Nu |
1.4 约束集与可行域
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 状态可行集 | 闭凸集 | 02-状态与输入约束的凸集描述 | |
| 输入可行集 | 闭凸集 | 02-状态与输入约束的凸集描述 | |
| 终端集 | 闭凸集 | 02-终端不等式约束与终端集 Xf | |
| 最大控制不变集 (MAS) | 闭凸集 | 03-最大控制不变集 MAS 计算 | |
| 可行域( 步) | 闭凸集 | 02-硬约束与可行域几何特性 | |
| 终端等式约束可行域 | 闭凸集 | 01-终端等式约束 xN=0 设定 |
1.5 代价函数与权重矩阵
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 代价函数 | 标量 | 01-无限时域代价函数与收敛性 | |
| 最优值函数 | 标量 | 02-最优值函数的单调递减性证明 | |
| 有限时域代价函数 | 标量 | 01-有限时域代价函数构造 | |
| 阶段代价函数 | 标量 | 01-无限时域代价函数与收敛性 | |
| 状态权重矩阵 | , 半正定 | 01-无限时域代价函数与收敛性 | |
| 输入权重矩阵 | , 正定 | 01-无限时域代价函数与收敛性 | |
| 终端权重/Riccati 矩阵 | , 半正定 | 01-无限时域代价函数与收敛性 | |
| DARE 稳态解 | , 正定 | 02-离散代数 Riccati 方程 DARE 求解 |
1.6 反馈增益与控制器
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| LQR 反馈增益矩阵 | 02-离散代数 Riccati 方程 DARE 求解 | ||
| 无限时域 LQR 增益(DARE 解) | 02-离散代数 Riccati 方程 DARE 求解 |
1.7 稳定性分析
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| Lyapunov 函数 | 标量 | 03-闭环稳定性与 Lyapunov 方程关联 | |
| 谱半径 | 标量 | 03-闭环稳定性与 Lyapunov 方程关联 | |
| 最小特征值 | 标量 | 01-无限时域代价函数与收敛性 |
1.8 扰动与鲁棒性 (Tube MPC)
| 符号 | 含义 | 维度/类型 | 相关笔记 |
|---|---|---|---|
| 扰动向量 | 03-扰动下的可行性鲁棒性分析 | ||
| 扰动集合 | 有界闭凸集 | 03-扰动下的可行性鲁棒性分析 | |
| 误差不变集 (Tube) | 闭凸集 | 01-有界扰动下的状态管概念 | |
| 扰动传播上界集 | 闭凸集 | 03-扰动下的可行性鲁棒性分析 | |
| 标称状态 (Tube MPC) | 01-有界扰动下的状态管概念 | ||
| 标称控制 (Tube MPC) | 01-有界扰动下的状态管概念 | ||
| 误差向量 () | 01-有界扰动下的状态管概念 | ||
| 紧缩状态约束集 | 闭凸集 | 02-标称系统约束紧缩原理 | |
| 紧缩输入约束集 | 闭凸集 | 02-标称系统约束紧缩原理 |
1.9 函数类
| 符号 | 含义 | 说明 | 相关笔记 |
|---|---|---|---|
| K 类函数 | 连续、严格递增、 | 03-参考轨迹变化下的稳定性扩展 | |
| K 无穷类函数 | K 类 + 无界 | 03-参考轨迹变化下的稳定性扩展 | |
| KL 类函数 | , | 03-参考轨迹变化下的稳定性扩展 |
1.10 集合运算与矩阵关系
| 符号 | 含义 | 说明 | 相关笔记 |
|---|---|---|---|
| Minkowski 和 | 02-标称系统约束紧缩原理 | ||
| Minkowski 差 | 02-标称系统约束紧缩原理 | ||
| 矩阵半正定 | 01-无限时域代价函数与收敛性 | ||
| 矩阵正定 | 01-无限时域代价函数与收敛性 |
二、常用缩写速查表
2.1 控制理论基础
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| LTI | Linear Time-Invariant | 线性时不变系统 | 01-LTI 系统连续表达 |
| LQR | Linear Quadratic Regulator | 线性二次型调节器 | 01-无限时域代价函数与收敛性 |
| LQG | Linear Quadratic Gaussian | 线性二次型高斯控制 | - |
| DARE | Discrete Algebraic Riccati Equation | 离散代数 Riccati 方程 | 02-离散代数 Riccati 方程 DARE 求解 |
| CARE | Continuous Algebraic Riccati Equation | 连续代数 Riccati 方程 | - |
2.2 模型预测控制
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| MPC | Model Predictive Control | 模型预测控制 | - |
| RHO | Receding Horizon Optimization | 滚动时域优化 | 01-滚动时域下的状态平移原理 |
| NMPC | Nonlinear MPC | 非线性模型预测控制 | 非线性 MPC 基础理论 |
| R-MPC | Robust MPC | 鲁棒模型预测控制 | 鲁棒 MPC-Tube MPC 理论 |
| EMPC | Economic MPC | 经济模型预测控制 | - |
| DMPC | Distributed MPC | 分布式模型预测控制 | - |
2.3 集合与不变性
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| MAS | Maximal Admissible Set | 最大允许集/控制不变集 | 03-最大控制不变集 MAS 计算 |
| MIS | Maximal Invariant Set | 最大不变集 | 03-最大控制不变集 MAS 计算 |
| RPI | Robust Positive Invariant | 鲁棒正不变集 | 03-扰动不变集与实际轨迹可行性保证 |
| PI | Positive Invariant | 正不变集 | - |
2.4 优化与数值方法
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| QP | Quadratic Programming | 二次规划 | 01-有限时域代价函数构造 |
| SDP | Semidefinite Programming | 半定规划 | 02-终端不等式约束与终端集 Xf |
| LP | Linear Programming | 线性规划 | 02-终端不等式约束与终端集 Xf |
| SQP | Sequential Quadratic Programming | 序列二次规划 | 02-局部线性化与 SQP 收敛性 |
| IPM | Interior Point Method | 内点法 | - |
| LPV | Linear Parameter-Varying | 线性变参数系统 | - |
2.5 稳定性与分析工具
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| ISS | Input-to-State Stability | 输入 - 状态稳定性 | 03-扰动下的可行性鲁棒性分析 |
| LAS | Locally Asymptotically Stable | 局部渐近稳定 | 03-闭环稳定性与 Lyapunov 方程关联 |
| GAS | Globally Asymptotically Stable | 全局渐近稳定 | 03-闭环稳定性与 Lyapunov 方程关联 |
| ISE | Integral Squared Error | 积分平方误差 | - |
| IAЕ | Integral Absolute Error | 积分绝对误差 | - |
2.6 安全与滤波器
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| PSF | Predictive Safety Filter | 预测安全滤波器 | 04-预测安全滤波器 PSF |
| CBF | Control Barrier Function | 控制障碍函数 | - |
| CLF | Control Lyapunov Function | 控制 Lyapunov 函数 | - |
2.7 其他常用术语
| 缩写 | 英文全称 | 中文含义 | 相关笔记 |
|---|---|---|---|
| ZOH | Zero-Order Hold | 零阶保持器 | 02-零阶保持器 ZOH 离散化方法 |
| DOF | Degrees of Freedom | 自由度 | 01-预测时域 N 与控制时域 Nu |
| LIP | Linear Independence Constraint Qualification | 线性独立约束规格 | - |
| KKT | Karush-Kuhn-Tucker | 最优性条件 | - |
三、符号索引(按字母顺序)
A
- - 系统矩阵 01-LTI 系统连续表达
- - 闭环系统矩阵 03-闭环稳定性与 Lyapunov 方程关联
- - 离散系统矩阵 02-零阶保持器 ZOH 离散化方法
B
- - 输入矩阵 01-LTI 系统连续表达
- - 离散输入矩阵 02-零阶保持器 ZOH 离散化方法
C
- - 输出矩阵 01-LTI 系统连续表达
D
- - 直传矩阵 01-LTI 系统连续表达
E
- - 误差向量 01-有界扰动下的状态管概念
- - 误差不变集 01-有界扰动下的状态管概念
F
- - 可行域 02-硬约束与可行域几何特性
- - 终端等式约束可行域 01-终端等式约束 xN=0 设定
J
- - 代价函数 01-无限时域代价函数与收敛性
- - 最优值函数 02-最优值函数的单调递减性证明
- - 有限时域代价函数 01-有限时域代价函数构造
K
- - 离散时间索引 02-零阶保持器 ZOH 离散化方法
- - LQR 反馈增益矩阵 02-离散代数 Riccati 方程 DARE 求解
- - 无限时域 LQR 增益 02-离散代数 Riccati 方程 DARE 求解
L
- - 阶段代价函数 01-无限时域代价函数与收敛性
- - 最小特征值 01-无限时域代价函数与收敛性
N
- - 预测时域 01-预测时域 N 与控制时域 Nu
- - 控制时域 01-预测时域 N 与控制时域 Nu
- - 状态维度 01-LTI 系统连续表达
- - 输入维度 01-LTI 系统连续表达
O
- - 最大控制不变集 03-最大控制不变集 MAS 计算
P
- - 终端权重/Riccati 矩阵 01-无限时域代价函数与收敛性
- - DARE 稳态解 02-离散代数 Riccati 方程 DARE 求解
- - 输出维度 01-LTI 系统连续表达
- - 谱半径 03-闭环稳定性与 Lyapunov 方程关联
Q
- - 状态权重矩阵 01-无限时域代价函数与收敛性
R
- - 输入权重矩阵 01-无限时域代价函数与收敛性
T
- - 采样周期 02-零阶保持器 ZOH 离散化方法
U
- - 输入向量 01-LTI 系统连续表达
- - 预测控制序列 01-预测时域 N 与控制时域 Nu
- - 输入可行集 02-状态与输入约束的凸集描述
- - 紧缩输入约束集 02-标称系统约束紧缩原理
V
- - Lyapunov 函数 03-闭环稳定性与 Lyapunov 方程关联
- - 标称控制 01-有界扰动下的状态管概念
X
- - 状态向量 01-LTI 系统连续表达
- - 预测状态序列 01-预测时域 N 与控制时域 Nu
- - 状态可行集 02-状态与输入约束的凸集描述
- - 终端集 02-终端不等式约束与终端集 Xf
- - 紧缩状态约束集 02-标称系统约束紧缩原理
Y
- - 输出向量 01-LTI 系统连续表达
Z
- - 标称状态 01-有界扰动下的状态管概念
- - 扰动传播上界集 03-扰动下的可行性鲁棒性分析
希腊字母与特殊符号
- - Minkowski 和 02-标称系统约束紧缩原理
- - Minkowski 差 02-标称系统约束紧缩原理
- - 矩阵半正定 01-无限时域代价函数与收敛性
- - 矩阵正定 01-无限时域代价函数与收敛性
- - 函数类 03-参考轨迹变化下的稳定性扩展
- - 扰动集合 03-扰动下的可行性鲁棒性分析
四、更新记录
| 日期 | 更新内容 |
|---|---|
| 2026-04-10 | 初始版本,整合 CLAUDE.md 符号表与全书缩写 |
维护说明
- 新增符号时,请同时更新本速查表和 CLAUDE 中的符号表
- 确保符号维度与已有定义一致
- 表格中的
\|字符已转义,编辑时请勿遗漏反斜杠