11.6.1 Kalman Filtering

This section covers the most successful and widely used example of a derived I-space that dramatically collapses the history I-space. In the special case in which both and are linear functions, and , , and are Gaussian, all probabilistic I-states become Gaussian. This means that the probabilistic I-space, , does not need to represent every conceivable probability density function. The probabilistic I-state is always trapped in the subspace of that corresponds only to Gaussians. The subspace is denoted as . This implies that an I-map, , can be applied without any loss of information.

The model is called *linear-Gaussian* (or *LG*). Each Gaussian density on
is fully
specified by its -dimensional mean vector and an
symmetric covariance matrix, . Therefore,
can
be considered as a subset of
in which
. For example, if
, then
, because two independent parameters specify the mean
and three independent parameters specify the covariance matrix (not
four, because of symmetry). It was mentioned in Section
11.4.3 that moment-based approximations can be used in
general; however, for an LG model it is important to remember that
is an *exact* representation of
.

In addition to the fact that the collapses nicely, is a sufficient I-map, and convenient expressions exist for incrementally updating the derived I-states entirely in terms of the computed means and covariance. This implies that we can work directly with , without any regard for the original histories or even the general formulas for the probabilistic I-states from Section 11.4.1. The update expressions are given here without the full explanation, which is lengthy but not difficult and can be found in virtually any textbook on stochastic control (e.g., [95,564]).

For Kalman filtering, all of the required spaces are Euclidean, but they may have different dimensions. Therefore, let , , and . Since Kalman filtering relies on linear models, everything can be expressed in terms of matrix transformations. Let , , , , and each denote a matrix with constant real-valued entries and which may or may not be singular. The dimensions of the matrices will be inferred from the equations in which they will appear (the dimensions have to be defined correctly to make the multiplications work out right). The subscript is used to indicate that a different matrix may be used in each stage. In many applications, the matrices will be the same in each stage, in which case they can be denoted by , , , , and . Since Kalman filtering can handle the more general case, the subscripts are included (even though they slightly complicate the expressions).

In general, the state transition equation, , is defined as

in which the matrices , , and are of appropriate dimensions. The notation is used instead of , because the Kalman filter works even if is different in every stage.

(11.76) |

The general form of the sensor mapping is

(11.77) |

in which the matrices and are of appropriate dimension. Once again, is used instead of because a different sensor mapping can be used in every stage.

So far the linear part of the model has been given. The next step is to specify the Gaussian part. In each stage, both nature actions and are modeled with zero-mean Gaussians. Thus, each has an associated covariance matrix, denoted by and , respectively. Using the model given so far and starting with an initial Gaussian density over , all resulting probabilistic I-states will be Gaussian [564].

Every derived I-state in can be represented by a mean and covariance. Let and denote the mean and covariance of . The expressions given in the remainder of this section define a derived information transition equation that computes and , given , , , and . The process starts by computing and from the initial conditions.

Assume that an initial condition is given that represents a Gaussian density over . Let this be denoted by , and . The first I-state, which incorporates the first observation , is computed as and

(11.78) |

in which is the identity matrix and

(11.79) |

Although the expression for is complicated, note that all matrices have been specified as part of the model. The only unfortunate part is that a matrix inversion is required, which sometimes leads to numerical instability in practice; see [564] or other sources for an alternative formulation that alleviates this problem.

Now that and have been expressed, the base case is completed. The next part is to give the iterative updates from stage to stage . Using , the mean at the next stage is computed as

in which will be defined shortly. The covariance is computed in two steps; one is based on applying , and the other arises from considering . Thus, after is applied, the covariance becomes

(11.81) |

After is received, the covariance is computed from as

(11.82) |

The expression for is

To obtain , substitute for in (11.83). Note that to compute using (11.80), must first be computed because (11.80) depends on , which in turn depends on .

The most common use of the Kalman filter is to provide reliable estimates of the state by using . It turns out that the optimal expected-cost feedback plan for a cost functional that is a quadratic form can be obtained for LG systems in a closed-from expression; see Section 15.2.2. This model is often called LQG, to reflect the fact that it is linear, quadratic-cost, and Gaussian. The optimal feedback plan can even be expressed directly in terms of , without requiring . This indicates that the I-space may be collapsed down to ; however, the corresponding I-map is not sufficient. The covariances are still needed to compute the means, as is evident from (11.80) and (11.83). Thus, an optimal plan can be specified as , but the derived I-states in need to be represented for the I-map to be sufficient.

The Kalman filter provides a beautiful solution to the class of linear
Gaussian models. It is even successfully applied quite often in
practice for problems that do not even satisfy these conditions. This
is called the *extended Kalman filter*. The success may be
explained by recalling that the probabilistic I-space may be
approximated by mean and covariance in a second-order moment-based
approximation. In general, such an approximation may be
inappropriate, but it is nevertheless widely used in practice.

Steven M LaValle 2020-08-14