Separation principle

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In control theory, a separation principle, more formally known as a principle of separation of estimation and control, states that under some assumptions the problem of designing an optimal feedback controller for a stochastic system can be solved by designing an optimal observer for the state of the system, which feeds into an optimal deterministic controller for the system. Thus the problem can be broken into two separate parts, which facilitates the design.

As an example of such a principle, it has been proved that if a stable observer and stable state feedback are designed for a linear time-invariant system, then the combined observer and feedback will be stable. The separation principle does not hold in general (for example for non-linear systems). Another example is the separation of the linear-quadratic-Gaussian control solution into the Kalman filter and optimal controller for a linear-quadratic regulator. A separation principle also exists for the control of quantum systems.

Proof of separation principle for deterministic LTI systems[edit]

Consider a deterministic LTI system:

where

represents the input signal,
represents the output signal, and
represents the internal state of the system.

We can design an observer of the form

and state feedback

Define the error e:

Then

Now we can write the closed-loop dynamics as

Since this is triangular, the eigenvalues are just those of A − BK together with those of A − LC.[1] Thus the stability of the observer and feedback are independent.

References[edit]

  1. ^ Proof can be found in this math.stackexchange question.
  • Brezinski, Claude. Computational Aspects of Linear Control (Numerical Methods and Algorithms). Springer, 2002.