Skip to content

方法Method

线性状态反馈与稳定化

Linear state feedback · 线性反馈稳定化

用全状态反馈改变闭环谱,证明单输入可控系统的极点配置,并区分可控与可稳定。

形式陈述 ​

对实连续时间常系数系统 x′=Ax+Bu,假设当前全状态 x 可准确获得。固定负反馈记号

u=−Kx,x′=(A−BK)x.

K∈Rm×n 为常增益,闭环矩阵是 A−BK。若采用另一约定 u=Fx,则 F=−K,闭环相应写作 A+BF。称 (A,B) 可稳定,若存在 K 使 A−BK 为 Hurwitz 矩阵,即全部特征值实部严格为负,从而原点全局指数稳定。

单输入时写 B=b∈Rn。若 (A,b) 可控,则任意给定的实首一 n 次多项式 q 都可实现为 A−bK 的特征多项式。因此可以配置任意按代数重数计数、关于复共轭封闭的 n 个极点。这里给出单输入结论的完整证明。

直觉

开环输入是一条预先选好的时间函数;状态反馈则不断根据偏离原点的状态修正作用。在双积分器中,位置反馈产生回复力,速度反馈产生阻尼,两者共同决定闭环特征多项式。

把极点移入左半平面保证衰减,却未决定控制消耗有多大、测量噪声会被放大多少,也不表示越快越好。全状态可用还是一个实现前提:只测一个输出时,不能直接把未测坐标当作已知值代入反馈律。

例子与边界

单输入极点配置为什么能逐项解出 ​

令 p(s)=det⁡(sI−A),adj(M) 表示矩阵 M 的伴随矩阵。按列的多线性展开 det⁡(M+bK):凡选入 bK 的两列或更多列,这些列都平行于 b,对应项为零;只选一列的项由余子式展开合为 Kadj(M)b。因此

det⁡(sI−A+bK)=p(s)+Kadj(sI−A)b.

右边附加项是次数至多 n−1 的多项式,因此定义一个从 n 维行向量空间到 n 维多项式空间的线性映射

K⟼Kadj(sI−A)b.

只需证明它单射。取任一从属于向量范数的矩阵范数;当 |s|>‖A‖ 时,‖A/s‖<1,矩阵几何级数(Neumann 级数)收敛,给出 (sI−A)−1=s−1∑j≥0(A/s)j。若上述多项式为零,在这个区域除以 p(s),利用伴随矩阵的求逆公式得到

0=K(sI−A)−1b=∑j≥0KAjbsj+1.

幂级数系数唯一性给出 Kb=KAb=⋯=KAn−1b=0。可控矩阵 [b Ab ⋯ An−1b] 可逆,故 K=0。等维线性映射单射即满射,所以可令附加项等于 q−p,匹配其 n 个系数,得到所需实增益。由此,配置特征多项式的系数就成为一个可逆的线性问题。

两个极点与一个无法移动的方向 ​

对 A=(0100)、B=(01),写 K=(k1 k2),则

A−BK=(01−k1−k2),det⁡(sI−A+BK)=s2+k2s+k1.

目标极点 −1,−2 对应 (s+1)(s+2)=s2+3s+2,所以 K=(2 3),控制为 u=−2x1−3x2。

一般地,若非零复行向量 w∗ 满足 w∗A=λw∗、w∗B=0,则对任意 K,

w∗(A−BK)=λw∗.

这个模态无法被反馈移动。将双积分器执行器改成 B=e1,任意闭环都为 (−k11−k200),必保留零特征值,因而不可稳定。

不可控系统也可能可稳定。例如 A=diag(1,−2),B=e1 的第二方向不可控,但已自行衰减;取 K=(2 0) 得闭环 diag(−1,−2)。一般多输入系统同样有判据:可稳定当且仅当所有不可控模态严格位于左半平面;其完整结论见参考资料,以上配置证明限定于单输入情形。

推论与应用

可控性允许配置所有模态,可稳定性只要求消除不稳定模态。两者的区别在欠驱动系统中特别重要:已稳定且不受输入影响的方向不妨碍调节到零,却妨碍到达任意终点。

线性二次调节器在稳定反馈之间引入状态和输入的代价权衡。上述 K=(2 3) 将在同一个双积分器上与最优增益比较,得到“两个反馈都稳定,但代价不同”的精确算例。实现该反馈需要位置和速度;若只测速度,初始位置不可观,必须补充信息才能获得所需全状态。

参考资料
  • Mohammed Dahleh、Munther A. Dahleh、George Verghese,MIT 6.241J,2011,Chapter 28: Stabilization—State Feedback,§28.2、Theorem 28.1、式 (28.7) 与可稳定性说明。原稿证明单输入充分性并省略多输入证明;本文用行列式的秩一修改给出同一单输入结论。
关系图谱18 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

使用的工具