Kalman decomposition explained

In control theory, a Kalman decomposition provides a mathematical means to convert a representation of any linear time-invariant (LTI) control system to a form in which the system can be decomposed into a standard form which makes clear the observable and controllable components of the system. This decomposition results in the system being presented with a more illuminating structure, making it easier to draw conclusions on the system's reachable and observable subspaces.

Definition

Consider the continuous-time LTI control system

x

(t)=Ax(t)+Bu(t)

,

y(t)=Cx(t)+Du(t)

,

or the discrete-time LTI control system

x(k+1)=Ax(k)+Bu(k)

,

y(k)=Cx(k)+Du(k)

.

The Kalman decomposition is defined as the realization of this system obtained by transforming the original matrices as follows:

{\hat{A}}=TA{T}-1

,

{\hat{B}}=TB

,

{\hat{C}}=C{T}-1

,

{\hat{D}}=D

,

where

T-1

is the coordinate transformation matrix defined as

T-1=\begin{bmatrix}Tr\overline{o

} & T_ & T_ & T_\end,

and whose submatrices are

Tr\overline{o

} : a matrix whose columns span the subspace of states which are both reachable and unobservable.

Tro

: chosen so that the columns of

\begin{bmatrix}Tr\overline{o

} & T_\end are a basis for the reachable subspace.

T\overline{ro

} : chosen so that the columns of

\begin{bmatrix}Tr\overline{o

} & T_\end are a basis for the unobservable subspace.

T\overline{ro}

: chosen so that

\begin{bmatrix}Tr\overline{o

} & T_ & T_ & T_\end is invertible.It can be observed that some of these matrices may have dimension zero. For example, if the system is both observable and controllable, then

T-1=Tro

, making the other matrices zero dimension.

Consequences

By using results from controllability and observability, it can be shown that the transformed system

(\hat{A},\hat{B},\hat{C},\hat{D})

has matrices in the following form:

\hat{A}=\begin{bmatrix}Ar\overline{o

} & A_ & A_ & A_ \\0 & A_ & 0 & A_ \\0 & 0 & A_ & A_\\0 & 0 & 0 & A_\end

\hat{B}=\begin{bmatrix}Br\overline{o

} \\ B_ \\ 0 \\ 0\end

\hat{C}=\begin{bmatrix}0&Cro&0&C\overline{ro}\end{bmatrix}

\hat{D}=D

This leads to the conclusion that

(Aro,Bro,Cro,D)

is both reachable and observable.

\left(\begin{bmatrix}Ar\overline{o

} & A_\\ 0 & A_\end,\beginB_ \\ B_\end,\begin0 & C_\end, D\right) is reachable.

\left(\begin{bmatrix}Aro&A24\ 0&A\overline{ro}\end{bmatrix},\begin{bmatrix}Bro\ 0\end{bmatrix},\begin{bmatrix}Cro&C\overline{ro}\end{bmatrix},D\right)

is observable.

Variants

A Kalman decomposition also exists for linear dynamical quantum systems. Unlike classical dynamical systems, the coordinate transformation used in this variant requires to be in a specific class of transformations due to the physical laws of quantum mechanics.[1]

See also

External links

Notes and References

  1. Zhang. Guofeng. Grivopoulos. Symeon. Petersen. Ian R.. Gough. John E.. February 2018. The Kalman Decomposition for Linear Quantum Systems. IEEE Transactions on Automatic Control. 63. 2. 331–346. 10.1109/TAC.2017.2713343. 1558-2523. 10397/77565. 10544143 . free.