06.2 Bellman 動態規劃與 LQR#
本章導讀#
Pontryagin 用變分法走「必要條件」路線;1957 年 Bellman 走另一條路: 把多階段決策拆成一階段決策的鏈——動態規劃。 它與 LQR(線性二次調節器)結合,成為現代最佳控制的標準工具箱。
淺顯說明#
走迷宮的聰明法:與其試所有路,不如倒著想—— 「從這格到出口最少要幾步?」每格記一個數(價值函數), 走路的時候每步選「價值最好」的相鄰格。
最佳性原理(Bellman):最短路徑的任何一段,本身也是那段起點到終點的最短路。 「往後拆解」的直覺,讓指數級的搜尋變成線性級的遞迴。
正規理論#
離散時間最佳控制#
系統 \(x_{k+1} = f(x_k, u_k)\) ,代價:
Bellman 方程(動態規劃)#
定義價值函數 \(V(x)\) :從狀態 \(x\) 出發到終點的最小代價。最佳性原理給出:
Bellman 方程把 \(N\) 階段最佳化拆成 \(N\) 個一階段最小化——計算量從指數級降到多項式級。
連續時間版本( \(V\) 對時間微分)正是 Hamilton–Jacobi–Bellman(HJB)偏微分方程:
與 Pontryagin 的 Hamiltonian 完全相通( \(\lambda = \nabla V\) :協態就是價值函數的梯度)。
LQR:線性二次調節器#
線性系統 + 二次代價:
- \(Q \ge 0\) :狀態誤差的代價(越重越求準);
- \(R > 0\) :控制量的代價(越重越省力)。
解:假設價值函數是二次型 \(V = x^T P x\) ,代入 HJB 方程得:
其中 \(P\) 滿足代數 Riccati 方程(ARE):
閉迴路 \(\dot x = (A - BK)x\) 漸近穩定( \(A-BK\) 特徵值全在左半平面)。
LQR 的深意#
- Riccati 方程是 Lyapunov 方程(03.2)的近親—— \(P\) 就是最佳 Lyapunov 函數的矩陣。
- LQR 自動在「準」( \(Q\) )與「省」( \(R\) )之間做最佳取捨,且有優良的穩定裕度。
- LQG = LQR + Kalman 濾波(05.3):雜訊下的最佳控制,分離原理保證兩者可分開設計。
簡易範例:一階系統的 LQR#
\(\dot x = ax + bu\) ( \(a < 0\) ), \(Q = q\) , \(R = r\) (純量)。
Riccati 方程變純量二次方程:
(取正根保 \(p > 0\) 。)最佳增益:
數值: \(a = -1\) , \(b = 1\) , \(q = 1\) , \(r = 1\) : \(p = \dfrac{-1 + \sqrt{1 + 1}}{1} \approx 0.414\) , \(K \approx 0.414\) 。
閉迴路 \(\dot x = (-1 - 0.414)x = -1.414x\) ——比開迴路( \(\tau = 1\) )快 \(41\%\) 收斂, 且 \(q\) 加大會讓 \(K\) 加大(更求準)、 \(r\) 加大讓 \(K\) 減小(更省力)。
歷史典故#
- 1957 年 Bellman 提出動態規劃與最佳性原理,見 1957-Bellman動態規劃.md—— 「curse of dimensionality(維度詛咒)」也是他命名的。
- 1960 年 Kalman 的狀態空間與 LQR/LQG 體系,見 1960-Kalman狀態空間與濾波.md。
- Riccati 方程解法與 \(H_\infty\) 的連結見 1987-H∞狀態空間解法.md。
習題#
- 上例取 \(r = 4\) ,求 \(K\) ,並比較閉迴路時間常數。
- 證明: \(V = x^TPx\) 、 \(u^* = -R^{-1}B^TPx\) 代入 HJB 得代數 Riccati 方程。