控制理论中的分离原理(separation principle),之前曾称为估测及控制分离原理(principle of separation of estimation and control)是指若一些假设条件成立的前提下,一随机系统的最佳回授控制器设计,可以先设计最佳的状态观测器,观测系统状态,再将状态反馈到决定性的最佳控制器中,即可求解。因此问题可以分离为二个部份,有助于控制器的设计。

已证明若已针对一线性时不变系统设计了BIBO稳定状态观测器,以及稳定的状态反馈,将此状态估测器及控制器合并之后的系统也是稳定的。这就是此原理的例子之一。不过针对非线性系统,此原理不一定会成立。

另一个分离原理的例子是在处理线性随机系统的最佳化问题,例如要设计状态估测器以及使二次代价函数达到最小值的最佳回授控制器。若程序的噪音以及观测到的噪音都是高斯噪音,则可以将这个最佳解分成卡尔曼滤波器以及LQR控制器,这就是LQG控制。考虑更通用的情形,若有适当的条件,且噪音为martingale(可能有jumps)也可以进行分离,这就是随机控制的分离原理英语separation principle in stochastic control[1][2][3][4][5][6]

分离原理也可以用在非线性系统中状态估测的高增益观测器[7],以及量子系统的控制。

确定性线性时不变系统控制理论的证明

编辑

考虑一个确定性LTI系统:

 

其中

 为输入信号
 为输出信号
 为系统内部状态

可以设计以下的估测器

 

及状态回授

 

定义误差e:

 

 
 

可以将闭回路的动态表示为

 

因为这是三角矩阵,其特征值即为A − BK的特征值以及 A − LC的特征值[8]。因此估测器及回授的稳定性彼此线性无关

参考资料

编辑
  1. ^ Karl Johan Astrom. Introduction to Stochastic Control Theory 58. Academic Press. 1970. ISBN 0-486-44531-3. 
  2. ^ 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 . 
  3. ^ 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 . 
  4. ^ Anders Lindquist. On Feedback Control of Linear Stochastic Systems. SIAM Journal on Control. 1973, 11 (2): 323–343. doi:10.1137/0311025. 
  5. ^ A. Bensoussan. Stochastic Control of Partially Observable Systems. Cambridge University Press. 1992. 
  6. ^ 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. 
  7. ^ 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. 
  8. ^ 在math.stackexchange question.页面存档备份,存于互联网档案馆)中有其证明。
  • Brezinski, Claude. Computational Aspects of Linear Control (Numerical Methods and Algorithms). Springer, 2002.