in order to generate the heterarchical distributed
structures, as here discussed.
The parallelizations of the Kalman filter equations
are achieved for one or more of the different stages:
1) parallelism at the prediction stage; 2) parallelism
at the correction stage; and 3) parallelism via
segmentation.
Another interesting technique to parallelize the
Kalman filter was developed in (Travassos,1980), in
which the prediction and correction equations are
simultaneously processed. The forced decoupling
between these stages is maintained for the interval of
one iteration during the whole history of the filter.
However, the filter proposed is suboptimal, in the
Kalman sense, as proved in (Hashemipour &
Laub,1988), through the analysis of the estimation
error covariance matrix. This technique will not be
considered in this work, and remains open for future
investigation.
The principal drawback of the hierarchical
structures, usually resides in the fact the coordinator
or centralizer module, though undone, still requires
great computational and communication efforts for
its implementation in a distributed environment.
Hierarchical structures present a low performance
from the point of view of communication and
synchronization requirements, mainly when the
number of partitioned subsystems increases. The
bottleneck in processing for hierarchical structures is
caused by the centralizer or by the coordinator
fusion of the information originating in the lower
levels.
As recently commented, though these fusion
modules coordinator as well as centralizer can be
decomposed, e.g., by strictly computational
procedures, generally, they still can generate fully
connected structures with equal or great
communication and computational requirements
than the ones of the original structures. In addition to
this, the gain achieved with respect to the
communication and synchronization requirements
through e.g., merely computational procedures, is
not significant, as shown in (Quirino et al.,1988).
In order to minimize the effects of these
restrictions we must reflect about the following
question: How the proposal of partitioning the
subsystems can improve the consistency of the
distributed local estimates? It is because, depending
on the used partitioning proposal the distributed
local estimates could result from almost purely or
purely local data implying in different performances
of these distributed local estimators.
Within this context, there are controversies on the
above mentioned questions: e.g., why the inherently
hierarchical structures, yet do not present a good
performance, if: a) The global estimate derived from
local estimates can locally preprocess more data
without any loss of global performance?; b) Local
filtering may reduce the required bandwidth for
transmission of information to a centralizer or
coordinator processor?; c) For local models with
dimension smaller than for the global models
potential advantages can be achieved, e.g., the local
processor can be made far less complex than the
global processor?
Discussions about these points have been made,
e.g., in (Chong,1979; Hashemipour & Laub, 1987,
1988; Hassan et al., 1978; Mutambara, 1995;
Quirino et al., 1998; Quirino & Bottura, 2001;
Sanders et al., 1978; Shah, 1971; Speyer, 1979;
Tackers et al., 1980; and Willsky et al., 1982).
In principle, (7) and (10) can be seen as global
solutions to the hierarchical state estimation problem
based on the dichotomy among the information filter
and the state space Kalman filter representations.
Using (7) and (10) as starting points, a synthetic
diagram proposed as support to the development of
distributed structures is shown in Fig. 2.
The fully connected topologies resulting from the
strictly computational heterarchization of the
Kalman filter, as investigated in (Mutambara, 1995)
and (Quirino et al., 1998), produce optimal
distributed state estimators, due either to the
distribution of the coordinator task into the
subsystems at the lower level in the hierarchy, class
4 of Fig. 2., or to the complete transfer of the whole
coordinator task to the lower level in the hierarchy,
class 3 of Fig. 2., respectively.
Such procedures of heterarchization are
characterized by being merely derived from the
computational distribution of the hierarchical
algorithm on the distributed environment.
In spite of not providing significant gain, the
distributed topologies achieved by purely
computational procedures present important
comparative characteristics to be analyzed and
compared as scalability, communication,
computation, and vulnerability to losses of
communication channels.
DECOMPOSITIONS OF HIERARCHICAL STATE ESTIMATION STRUCTURES - Problems and Strategies
129