Beruflich Dokumente
Kultur Dokumente
It is possible to handle problems occurring in the field The most general problem in state and parameter
of state and parameter estimation techniques in a estimation technique consists of qualitatively modelling
variety of ways. Basically this is due to the inverse the system, measurement, process and measurement
nature of the problem with a redundant amount of data. noise characteristics and to quantitatively determine all
Hence a large number of reasonable models and criteria the unknown parameters in the above by combining
can and have been introduced and the solutions the information in the model output with the
obtained. Further in the above process many times it is measurement in some suitable optimal sense2 to 10. A
necessary and possible to make simplifying general nonlinear continuous system model with time t
assumptions to reach a solution. A perusal of many and a discrete measurement model can be described by
publications shows that it would be highly worthwhile
to provide much more information than what is X = F(X, U, 0, t) + w(t); X(0) = X0
presently provided. At times even with a generalised
program to handle any estimation problem it turns out Z = G(X, U, 0, tu) + v(tk); k =1,2,......N
to be difficult to repeat the computations of others and
compare the performance of the algorithms, and the where X, Z, 0, U, w, and v denote the states,
results. For example using the Method of measurements, unknown parameters, control inputs,
Maximum Likelihood Estimation (MMLE) approach1 state and measurement noise matrices of appropriate
order. The measurements at a time step are denoted by
* Department of Aerospace Engineering, Indian a subscript. The process and measurement noise are
Institute of Science, Bangalore, 560 012, INDIA. assumed to be zero mean with covariance Q and R
** Hindustan Aeronautics Limited, Bangalore, respectively. The time evolution of the estimate and
560 017, INDIA. Non Members. covariance of state variable X in terms of the transition
Copyright © 2001 by Ananthasayanam and Gemson. matrices $ and \|/ obtained by suitable local
Published by the American Institute of Aeronautics and linearisation are
Astronautics, Inc with Permission.
1
American Institute of Aeronautics and Astronautics
(c)2001 American Institute of Aeronautics & Astronautics or Published with Permission of Author(s) and/or Author(s)' Sponsoring Organization.
One can commence with the modelling. In estimation The final step in ET is the consistency checking of the
almost every problem has to be more or less modelled results. Due to the presence of random process and
based on the modeller's understanding or the need of measurement noise in general there is bound to be some
the situation. The models could range anywhere from statistical fluctuation or uncertainty in the results and
the true (which is rarely known!), best, acceptable, or the confidence level at which these can be accepted is
adequate and mostly the last one. In fact soon after once again subjective! In fact only an extra statistical
solving a problem a consistency check can be fruitfully considerations can provide appropriate values for all
carried out for model adequecy a situation which rarely such quantities. The consistency check can be applied
exists in fluid dynamical problems at least in such a to the matching of the model output with the
strong way. measurements, behaviour of the residuals, the variation
of the sample estimates with their predicted
uncertainties by the algorithm. The last one is a very processing to be converted to sequential processing the
desirable feature since no estimate is worth it unless it use of cost function appeared to have slowed faded!
is accompanied by an uncertainty as well both of which
are probabilistic anyway! Though the basic problem was still the optimisation,
in order to get quick solutions the tunable parameters in
Hence one may note that in almost every conceivable the Kalman filter (mentioned in an earlier section on an
stage of solving a problem through an estimation introduction to ET) namely X0, P0, ©, R and Q were
algorithm there lies in general a scope and necessity for generally manually adjusted to ensure that the filter
introducing subjectivity. It is this aspect that calls for a worked without divergence. There were further
careful, clear, and complete statement of the problem problems to be addressed such as inaccurate or
and the sequence of steps to be unambiguously stated. unknown modelling, and inputs to be handled which
were given more attention in order to implement the
A perusal of the literature in ET shows that in a large filter for practical applications. It might come as a
number of publications such a clear situation does not surprise that if one looks at the large number of well
appear to exist. The next section provides a desirable known publications using Kalman filter, the filter
sequence of steps useful for the above requirements. equations are written out very elaborately but in many
cases the values for the above tunable quantities and
THE ROLE OF COST FUNCTION IN much less the cost function to be tracked and specified
ESTIMATION THEORY is not at all reported in the work. Even in adaptive
filtering techniques wherein the above tuning
Before discussing the presentation of the results in ET parameters are adjusted it is based on mostly whitening
we consider the important role played by the cost the residuals. However the whiteness property of the
functions introduced in solving the problems. One of residuals appear to be a weak indicator for the closeness
the earliest cost functions introduced in ET is the sum of the solution to the optimum. More often than not the
of the squares of the departure of the data points from whiteness test behaves more like a necessary condition
the fitted model of the system. This leads to the well but not as a sufficient condition in many applications.
known least squares solution which is a deterministic
approach without any assumption regarding the In order to see the situation more clearly it appeared
characteristics of the noise. The probabilistic approach that among Xo, PO, ©, R and Q the last one is most
introduces assumption about the noise characteristics in difficult to handle as well as estimate but recently it has
both across the ensemble as well as over time. The been shown that with the usual finite amount of data
usual assumption corresponding to the above is that the even the choice of P0 is quite important to get accurate
noise is Gaussian distributed and white. The Method of rather than notational or formal results. Such a situation
Maximum Likelihood Estimation (MMLE) provided a demands an analyst to try and make a sensitivity studies
natural extension of the deterministic least squares to a of the results by varying each one of the above tuning
probabilistic approach. But the operational feature of parameters and satisfy that the results are acceptably
MMLE is once again the minimisation of the cost accurate. Some good examples of such studies have
function. been reported12'13.
In the earliest aeronautical applications of ET to the But the above kind of approach carrying out sensitivity
determination of the airplane stability and control studies can provide some results that are useful but they
derivatives the above cost function was tracked all cannot not ensure these results are the best or optimum
through the procedures proposed to solve the problem. that could be extracted from the available data. It is thus
During the earliest period generally problems with only necessary to solve the optimisation as best as possible.
measurement noise was considered. This feature Obviously the effort to be put in minimising J cannot
continued even when more involved situations be escaped! The Kalman filter tuning varies from ad
including the occurrence of process noise was handled. hoc, through heuristic to rigorous methods. The first is
But such techniques were more suitable for off-line arbitrary and can lead to inaccurate results. The third
applications due to the iterative nature to obtain the could be time consuming to the extent of solving the
minimum of the cost function which is a nonlinear whole problem. It appears that heuristic approaches to
function of the unknowns be it a parameter or the minimise the cost and with the final consistency check
statistics of the noises. Subsequently with the arrival of on the behaviour of the residuals are quite appealing.
the Kalman filter approach that enabled the batch
HEURISTIC APPROACH TO TUNE KALMAN when suitably scaled with the measurement noise
FILTER PARAMETERS BASED ON covariance R.
MINIMISATION OF THE COST FUNCTION
Philip and Ananthasayanam16 have introduced another
The present authors and their associates have applied a cost function S called as the scaled parameter error with
'heuristic' tuning procedure to minimise the cost the suffixes 'true' and 'est' denoting respectively the
function J in a number of applications involving true and estimated parameter values
airplanes11'12'13, missiles14, and satellites15. In each one
of these problems it has been shown that it is possible S = - eest)
to tune the filter parameters and thereby obtain much
better results by way of more accurate estimates than is which is of the order of the number of unknown
possible otherwise. parameters and particularly useful for simulation
studies. For real data the change in 0est from one
In the case of an airplane it has been shown that even if iteration to another can be used instead of the above
a proper nonlinear aerodynamic model is used that true and estimated values. As an example if a certain
unless a proper P0 is chosen based on the inverse of bias exists in the data and is not recognised, modelled,
the information matrix then the nonlinear term cannot and estimated, the estimates of other quantities
estimated properly. A similar situation exists even for deteriorate. In such a situation even the autocorrelation
the estimation of the linear aerodynamic parameters of test cannot indicate the deficiency. Further the Cramer-
a missile. In a study of the relative orbit determination Rao bound also does not indicate the uncertainty
of geostationary satellites using range, azimuth, and properly due to the modelling error and in such cases
elevation measurements the use of notional values for the above S when quite different from the number of
the tuning parameters provides improvement over that unknowns is a pointer to the modelling inadequacy. It
obtainable from regular orbit determination accuracy. has been noticed at times the convergence of the scaled
However the cost function was not around 3 which parameter error S due to unknown parameters weakly
denote the number of measurements but much less than affecting the dynamics of the system is slower than the
3! But when the filter tuning parameters are estimated convergence of the usual cost function J. It can thus
based on the minimisation of the cost function which be profitably used to estimate parameters that do not
led to a value close to 3 then much a higher accuracy strongly affect the system dynamics.
has been obtained. The above demonstrates that even
while working with filter equations it is advantageous Similar to the above for parameters, Philip and
to keep track of the cost function J. Further it should Ananthasayanam have introduced another cost function
be noted that many more cost functions can be that is useful to study the effects of inadequate
introduced by an analyst based on the difference or modelling in state estimation problems which is very
balance of satisfying the state equations, the difference common in Kalman filter studies. This is defined as
between the ideal and achieved autocorrelation, or the
power spectral density, or similarly the pre and post N
measurement values of the state suitably scaled with = (l/N) S (x(i) - xref(i) )T - xref(i))
respect to their predicted values from the filter. The last
one denotes in another way if the filter is tuned
properly. where the suffix 'ref refers to a desired reference
trajectory to be followed, and the argument in x (.)
Thus one goes past notional or formal results, avoid the denotes the time step or point. The P is the covariance
sensitivity studies, and be close to the best possible matrix obtained with nominal values for the unknown
results that are extractable from the available data. disturbances. Now the performance of the filter under
varying conditions can be analysed as follows. If the
OTHER USEFUL COST FUNCTIONS IN ET variations or deficiencies in the modelling is beyond the
statistical fluctuations as denoted by the above
Apart from the usual cost function J it has been found covariance then cost function changes substantially and
advantageous to introduce other cost functions also indicates a degradation of the performance of the filter.
providing an appreciation of the results from the This has been successfully used to assess the filter
estimation. It may be noted that J considers only the performance under modelling deficiencies during
measurement quantities handled by any algorithm and rendezvous and docking of two spacecraft in orbit.
is of the order of the number of measurement channels
Kalman gain20, and additionally sliding gain21, if All the above steps should be such that somebody else
any. should be able to repeat, compare and check for
statistical compatibility of the results.
9. Optimization Techniques used such as Newton
Raphson (NR), DFP, Conjugate Gradient, BFGS, 13. Special remarks for being a Test Case. Perhaps
Stochastic Approximation, Simulated Annealing, considered by many in the field. Interesting due to
Genetic Algorithm, Controlled Random Search, or some dynamical features such as instability,
any other. chaotic, or other characteristics.
Each optimisation technique needs initial choice, The above features can be specified in a compact form
termination criteria and its own tunable parameters, as shown in Table B. The above does not consider
such as step sizes, number of iterations allowed and so estimation through neural network or fuzzy logic
on. In fact before concluding if a certain technique approaches. But their results can be presented with their
works or not it is necessary to ensure that its tunable special features.
parameters are about the best for the problem. For
example the gradients in NR may be based on Finally it is urged that with the availability of present
analytical or numerical differentiation. day computing hardware and software languages
Graphical User Interface be built into many programs
10. Sequence of steps in a pass through the data or that are developed to make it more user-friendly,
multiple passes. reliable to make changes in the inputs, and help analyse
a large number of cases of a given problem, or many
11. Computations. different problems rapidly and reliably thus providing
Computer : Mainframe or PC an insight22.
Word size : Number of bits
Language : FORTRAN, C, C++ CONCLUSIONS
Broadly the Main Program + Subprograms +
Number of lines of the code could also be As in fields like optimisation and CFD it is urged that
provided. Estimation Theory should evolve test cases to assess
algorithms and approaches. Based on an appreciation
12. Estimation Results. of the ET as having more subjectivity to be introduced
(i) Graphical comparison of the match of model than in CFD it is urged that more information than is
prediction with the measurements. generally provided in present day publications be made
(ii) Statistics of the estimates for the unknown available. It is stressed that in particular the cost
parameters and noise statistics and their Cramer- function that is minimised be provided at the end of
Rao bounds. For simulated data the variation of processing the measurement data after every filter pass.
(a) True-Measured Also other cost functions found useful in specific
(b) True-Filtered estimates and problems shown be given. Further other useful
(c) True-Smoothed estimates comparisons of the measurement data with the
can be provided. estimates are suggested both for simulated as well as
(iii) Plot of the innovation along with its covariance. real flight test data. Finally following this a proposal
(iv) Correlation coefficient matrix of the estimated about the way the problem, its analysis, intermediate,
unknowns. and the final results could in general be presented is
(v) Variation of the cost function J, or other cost proposed as a precursor to help evolve test cases.
such as S across the iterations or passes through
the data that is being processed.
(vi) It is not easy to follow all the details during the
intermediate steps of the algorithm. Hence the
history of the variation of the trace of the noise
statistics, and all the unknown parameters 0
through the iterations could be provided.
(vii) Any preliminary, estimate wind tunnel or earlier
flight test results available for comparison?
7
American Institute of Aeronautics and Astronautics
(c)2001 American Institute of Aeronautics & Astronautics or Published with Permission of Author(s) and/or Author(s)' Sponsoring Organization.
3. Initial flight conditions The trim conditions can Generally not perfectly trimmed.
be specified Have to be determined from the
algorithm.
12. Matching of model output and Best possible Due to unmodelable feature good
measurement. match may not be possible.
13. Consistency through ideal auto Statistically acceptable Due to unmodelable feature a good
correlation and power spectral situation exists. statistical match may not be possible.
density of the innovations.
14. In a nutshell Helps obtain insight. Throws up newer problems
PROBLEM TITLE
1. Author, Organization
and address
5. Additional Features in
solving the state equations
7. Assumptions regarding
unknown parameters or
noise statistics
11. Computations
13 Special Remarks to be a
Test Case
10
American Institute of Aeronautics and Astronautics