Kalman decomposition

From testwiki
Revision as of 00:07, 23 February 2024 by imported>Mr.Karhi
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description 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:

A^=TAT1,
B^=TB,
C^=CT1,
D^=D,

where T1 is the coordinate transformation matrix defined as

T1=[TroTroTroTro],

and whose submatrices are

  • Tro : a matrix whose columns span the subspace of states which are both reachable and unobservable.
  • Tro : chosen so that the columns of [TroTro] are a basis for the reachable subspace.
  • Tro : chosen so that the columns of [TroTro] are a basis for the unobservable subspace.
  • Tro : chosen so that [TroTroTroTro] 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 T1=Tro, making the other matrices zero dimension.

Consequences

By using results from controllability and observability, it can be shown that the transformed system (A^,B^,C^,D^) has matrices in the following form:

A^=[AroA12A13A140Aro0A2400AroA34000Aro]
B^=[BroBro00]
C^=[0Cro0Cro]
D^=D

This leads to the conclusion that

  • The subsystem (Aro,Bro,Cro,D) is both reachable and observable.
  • The subsystem ([AroA120Aro],[BroBro],[0Cro],D) is reachable.
  • The subsystem ([AroA240Aro],[Bro0],[CroCro],D) 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

References

Template:Reflist