Abstract
An observer design methodology that is applicable to a general class of non-linear stochastic system and measurement models is given. It is proved that, under the conditions given, discrete- and continuous-time state estimation is possible with guaranteed exponential rate of convergence. The superior performance of the observer is illustrated with two examples.