硬约束与可行域几何特性
一、硬约束定义
1.1 状态硬约束
状态必须满足的约束:
1.2 输入硬约束
输入必须满足的约束:
1.3 硬约束的含义
硬约束 (Hard Constraints):必须严格满足,否则优化问题不可行 (Infeasible)。
不可行问题
若不存在满足所有约束的控制序列,则 QP 问题无解,MPC 控制器”失效”。
二、可行域定义
2.1 可行控制序列集合
定义在时刻 的可行控制序列集合:
具体展开:
2.2 可行域 (Feasible Set)
可行域是所有存在可行控制序列的初始状态集合:
初始状态必须属于可行域
MPC 问题有解的前提是 。
三、可行域的几何特性
3.1 闭凸集性质
命题:若 和 是闭凸集(多面体),则可行域 也是闭凸集。
证明思路:
- 是多面体(线性不等式定义)
- 系统动态 是线性映射
- 线性映射保持凸性
- 多个凸集的交集仍是凸集
- 闭集的线性原像是闭集
3.2 多面体表示
可行域 可表示为多面体:
其中 可通过投影方法从联合约束集计算得到。
3.3 有界性
命题:若 有界且系统稳定,则 有界。
四、可行域的计算
4.1 一步可行集 ()
4.2 多步可行集 ()
递归定义:
4.3 极限可行域
当 时:
是最大可控集,包含所有能在规定约束下控制到原点(或终端集)的状态。
五、约束耦合与可行域收缩
5.1 约束耦合效应
状态约束和输入约束可能耦合,导致可行域缩小:
状态约束 X: x ∈ [-1, 1]
输入约束 U: u ∈ [-0.5, 0.5]
系统动态: x(k+1) = 0.8x(k) + 0.2u(k)
可行域 F ⊂ X:实际可用的状态范围比 X 小
5.2 示例:耦合分析
考虑状态约束 和输入约束 ,系统 。
若当前状态 :
- 下一状态:
- 要求
- 即
- 解得
但输入约束要求 ,因此可行。
若 :
- 要求
- 解得
与 取交集,仍可行。
但若 ,则已违反状态约束,问题不可行。
六、非空可行域的条件
6.1 基本条件
可行域非空的必要条件:
即原点必须是可行的(通常假设平衡点在原点)。
6.2 充分条件
命题:若以下条件满足,则 :
- 能控
- 是包含原点的闭凸集
- 存在控制律使状态从某 收敛到原点且满足约束
6.3 终端集的影响
若引入终端集 ,可行域定义为:
终端集越大,可行域越大。
七、可行域的数值计算
7.1 投影方法
可行域可通过投影(Projection)计算:
7.2 软件工具
| 工具 | 功能 |
|---|---|
| MPT (MATLAB) | 多参数工具箱,计算可行域 |
| YALMIP | 优化建模,支持投影 |
| PPL | 多面体库 |
7.3 计算复杂度
可行域计算的复杂度随 指数增长:
- 每增加 1,变量数增加
- 投影复杂度约为
八、总结
| 概念 | 数学表达 | 性质 |
|---|---|---|
| 状态约束集 | 闭凸多面体 | |
| 输入约束集 | 闭凸多面体 | |
| 可行控制序列 | 依赖于 | |
| 可行域 | 闭凸多面体 | |
| 非空条件 | 基本假设 |
相关内容
- 凸集描述见 02-状态与输入约束的凸集描述
- QP 建模见 01-二次规划 QP 问题建模
- 递归可行性见 03-递归可行性的初步概念
更新记录
| 日期 | 内容 |
|---|---|
| 2026-04-10 | 初始版本 |