硬约束与可行域几何特性

一、硬约束定义

1.1 状态硬约束

状态必须满足的约束:

1.2 输入硬约束

输入必须满足的约束:

1.3 硬约束的含义

硬约束 (Hard Constraints):必须严格满足,否则优化问题不可行 (Infeasible)

不可行问题

若不存在满足所有约束的控制序列,则 QP 问题无解,MPC 控制器”失效”。


二、可行域定义

2.1 可行控制序列集合

定义在时刻 可行控制序列集合

具体展开:

2.2 可行域 (Feasible Set)

可行域是所有存在可行控制序列的初始状态集合:

初始状态必须属于可行域

MPC 问题有解的前提是


三、可行域的几何特性

3.1 闭凸集性质

命题:若 是闭凸集(多面体),则可行域 也是闭凸集。

证明思路

  1. 是多面体(线性不等式定义)
  2. 系统动态 是线性映射
  3. 线性映射保持凸性
  4. 多个凸集的交集仍是凸集
  5. 闭集的线性原像是闭集

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 充分条件

命题:若以下条件满足,则

  1. 能控
  2. 是包含原点的闭凸集
  3. 存在控制律使状态从某 收敛到原点且满足约束

6.3 终端集的影响

若引入终端集 ,可行域定义为:

终端集越大,可行域越大。


七、可行域的数值计算

7.1 投影方法

可行域可通过投影(Projection)计算:

7.2 软件工具

工具功能
MPT (MATLAB)多参数工具箱,计算可行域
YALMIP优化建模,支持投影
PPL多面体库

7.3 计算复杂度

可行域计算的复杂度随 指数增长:

  • 每增加 1,变量数增加
  • 投影复杂度约为

八、总结

概念数学表达性质
状态约束集闭凸多面体
输入约束集闭凸多面体
可行控制序列依赖于
可行域闭凸多面体
非空条件基本假设

更新记录

日期内容
2026-04-10初始版本