跳到正文
格致开物MATHWIKI

线性二次调节器

线性二次调节器(linear quadratic regulator,LQR)为线性动态系统选择反馈控制,使状态偏差与控制输入的加权平方代价尽可能小。它同时考虑当前误差和未来运动;“二次”指目标函数,而不是系统必须服从二次微分方程。

代价与反馈增益

考虑连续时间模型 x˙=Ax+Bu,其中 x∈ℝn,u∈ℝm,无限时域代价为 J(u)=∫0∞(x𝖳Qx+u𝖳Ru)dt,Q=Q𝖳⪰0, R=R𝖳≻0. 矩阵 Q 决定不同状态误差的相对代价,R 决定输入代价;物理量单位不同,要先选择一致的权重尺度。标准定理在 (A,B) 可稳定、(Q1/2,A) 可检测的条件下,给出唯一半正定稳定化解 P: A𝖳P+PA−PBR−1B𝖳P+Q=0. 最优反馈为 u∗=−R−1B𝖳Px,最优代价为 x0𝖳Px0。这是代数黎卡提方程的控制意义;半正定 Q 时,不能省掉检测条件而仍声称所有结论成立。[1]

标量模型的完整求解

取无量纲模型 x˙=x+u,Q=R=1。未控制时误差会增长。令候选值函数为 V(x)=px2,则 x2+u2+ddt(px2)=u2+2pxu+(1+2p)x2. 如果 p2=1+2p,右边恰是 (u+px)2。两个代数根为 1±2;选 p=1+2 后,反馈 u=−px 使 x˙=−2x,严格稳定。

对任意具有有限代价的输入,在区间 [0,T] 积分得到 JT=px02−px(T)2+∫0T(u+px)2dt. 有限代价保证 x,u 平方可积,且 ddtx2=2x(x+u) 绝对可积,因此 x2 有有限极限;由于其积分有限,该极限只能为零。令 T→∞,便得 J≥px02,等号当 u=−px 时成立。这是最优性证明,不是只展示一条看起来衰减的轨迹。

取 x0=1,得到 x(t)=e−2t、u(t)=−(1+2)e−2t,总代价 1+2≈2.4142。如果只在稳定常增益 u=−kx,k>1 中比较,直接积分得到 J(k)=1+k22(k−1). 其导数分子为 k2−2k−1,极小点仍是 1+2。

标量模型稳定反馈增益k大于1时的代价(1+k平方)/(2(k-1)),在1+sqrt2处最小
增益太小,误差长期不消失;增益太大,输入平方代价上升。最优点平衡两种代价。

权重、有限时域与边界

变式。 将输入权重改为四,目标变成 ∫(x2+4u2)。Riccati方程为 2p−p2/4+1=0,稳定化解 p=4+25,反馈增益 k=p/4=1+5/2。输入更昂贵时增益下降,但仍大于一,保证闭环稳定。

有限时域LQR还指定终端代价 x(T)𝖳PTx(T),矩阵 P(t) 由微分Riccati方程从终点向前求解,增益随时间变化。非线性系统在平衡点附近线性化后使用LQR,通常只得到局部设计;输入饱和、状态限制和模型误差都不在上述无约束最优性定理中。需要显式处理约束时,可考虑模型预测控制。

参考资料

  1. ↑ Russ Tedrake,Underactuated Robotics, Linear Quadratic Regulators,Basic Derivation,连续时间LQR和Riccati方程;本文补明可稳定与可检测条件。