分離原理
控制理論中的分離原理(separation principle),之前曾稱為估測及控制分離原理(principle of separation of estimation and control)是指若一些假設條件成立的前提下,一隨機系統的最佳回授控制器設計,可以先設計最佳的狀態觀測器,觀測系統狀態,再將狀態反饋到決定性的最佳控制器中,即可求解。因此問題可以分離為二個部份,有助於控制器的設計。
已證明若已針對一線性時不變系統設計了BIBO穩定的狀態觀測器,以及穩定的狀態反饋,將此狀態估測器及控制器合併之後的系統也是穩定的。這就是此原理的例子之一。不過針對非線性系統,此原理不一定會成立。
另一個分離原理的例子是在處理線性隨機系統的最佳化問題,例如要設計狀態估測器以及使二次代價函數達到最小值的最佳回授控制器。若程序的噪音以及觀測到的噪音都是高斯噪音,則可以將這個最佳解分成卡爾曼濾波器以及LQR控制器,這就是LQG控制。考慮更通用的情形,若有適當的條件,且噪音為martingale(可能有jumps)也可以進行分離,這就是隨機控制的分離原理[1][2][3][4][5][6]
分離原理也可以用在非線性系統中狀態估測的高增益觀測器[7],以及量子系統的控制。
確定性線性時不變系統控制理論的證明
考慮一個確定性LTI系統:
其中
- 為輸入信號
- 為輸出信號
- 為系統內部狀態
可以設計以下的估測器
及狀態回授
定義誤差e:
則
可以將閉迴路的動態表示為
因為這是三角矩陣,其特徵值即為A − BK的特徵值以及 A − LC的特徵值[8]。因此估測器及回授的穩定性彼此線性無關。
參考資料
- ^ Karl Johan Astrom. Introduction to Stochastic Control Theory 58. Academic Press. 1970. ISBN 0-486-44531-3.
- ^ Tyrone Duncan and Pravin Varaiya. On the solutions of a stochastic control system. SIAM J. Control. 1971, 9 (3): 354–371. doi:10.1137/0309026. hdl:1808/16692
.
- ^ M.H.A. Davis and P. Varaiya. Information states for stochastic systems. J. Math. Anal. Applications. 1972, 37: 384–402. doi:10.1016/0022-247X(72)90281-8
.
- ^ Anders Lindquist. On Feedback Control of Linear Stochastic Systems. SIAM Journal on Control. 1973, 11 (2): 323–343. doi:10.1137/0311025.
- ^ A. Bensoussan. Stochastic Control of Partially Observable Systems. Cambridge University Press. 1992.
- ^ Tryphon T. Georgiou and Anders Lindquist. The Separation Principle in Stochastic Control, Redux. IEEE Transactions on Automatic Control. 2013, 58 (10): 2481–2494. S2CID 12623187. arXiv:1103.3005
. doi:10.1109/TAC.2013.2259207.
- ^ Atassi, A.N.; Khalil, H.K. A separation principle for the control of a class of nonlinear systems. Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171) 1. IEEE. 1998: 855–860. ISBN 0-7803-4394-8. S2CID 126270534. doi:10.1109/cdc.1998.760800.
- ^ 在math.stackexchange question. (頁面存檔備份,存於網際網路檔案館)中有其證明。
- Brezinski, Claude. Computational Aspects of Linear Control (Numerical Methods and Algorithms). Springer, 2002.