Nonlinear filtering and identification algorithms for correlation-extremum dynamic systems with random structure

Tatiana Kolosovskaya1

1Moscow Aviation Institute (National Research University), Moscow, Russia

1Corresponding author

Vibroengineering PROCEDIA, Vol. 8, 2016, p. 531-537.
Received 7 September 2016; accepted 13 September 2016; published 7 October 2016

Copyright © 2016 JVE International Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Creative Commons License
Abstract.

The problem of adaptive estimation using spatial-time-varying filtering in dynamic systems with random structure is investigated. The proposed approach of the extension of state estimation in the classical stochastic dynamic systems with deterministic structure to the case of signal processing and parameter identification in stochastic systems with random structure or with switching parameters using the correlation-extremum methods and the theory of Markov processes provides the system operation in varying and uncertain external conditions.

Keywords: signal processing, filtering, identification, Markov processes, optimization of stochastic systems with random structure.

1. Introduction

In many practical cases the state estimate of the observable object coordinates cannot be obtained using the optimal filtering algorithms. In particular, this relates to the case of radar tracking of an airborne target when the vehicle dynamics is described by nonlinear differential equations. The known nonlinear filtering algorithms are based on the assumption of linearization of the nonlinear functions in the state and measurements equations relative to estimation errors. These algorithms remain true when the estimation errors are small enough to satisfy a linearization.

Some previous work has already dealt with the linearization problem in the case of great estimation errors. One of the first approaches was taken in [1], where the two-feedback filtering system with changing operating conditions depending on the estimation error value of the observable object coordinates was suggested. But the estimation method discussed in [1] was not a result of a rigorous solution of such system synthesis problem that did not allow the two-feedback system to be considered as an optimal one.

The other filtering problems to be solved are connected with the moving objects parameters estimation, particularly, in the cases of discontinuous jump of the estimated process features, abrupt increasing of the measurements noise, informative signal interruption, and etc.

In most practical applications of filtering theory the uncertain parts of the dynamic system model are sometimes represented by an unknown parameter vector and the variations of these parameters and their identification play an important role.

Many scientific researches have been performed in the class of adaptive filtering scheme of the state vector estimation together with parameter identification (for example, [2, 3]). In [2] the problem of state estimation for discrete systems with parameters which may be switching within a finite set of values was considered for the general case and for the Markov parameter case. The approach to unknown parameters estimation taken in [3] was based on the numerical differentiation method with B0 splines to assure better noise-resistance.

In the known earlier researches the theory of Markov processes and systems with random structure has been developed for signal processing when the observable signal has been considered only as a function of time and the correlation-extremum methods have not been used. This limitation did not allow the system with random structure to use the information of spatial-time-varying signals of different physical nature (obtained by radar, optical, infrared and other image sensors).

The solution of the above-mentioned problems applied to the spatial-time-varying signals processing was originally proposed in [4] where the correlation-extremum systems theory was extended to systems with random structure and the new suboptimal filtering algorithms were derived. The case when the change of the structure is supposed to be Markov process with two states is considered in this paper and the solution of the linearization problem based on the derived filtering algorithm is proposed, particularly, for the case of great estimation errors.

There are a number of potential military and civil application areas of the above proposed [4] nonlinear information processing algorithms. In this paper the solution for a target tracking system (TTS) is considered as an example.

The problem of target tracking is under consideration since many previous researches (see, for example, [5], where the treatment was based on a closed-form quasi-linearized solution of the proportional navigation (PN) equations followed by the small-angle approximation only to line of sight (LOS) angle rate). In [5] only the dynamic system state model without noise and measurements was discussed, and the state estimation problem was not solved. The other solutions of the state estimation problem for target tracking systems are based on Kalman filtering schemes (linear or suboptimal extended one) which can process only time-varying signal functions.

A new approach of the extension of Kalman filter adaptive estimation using the theory of Markov processes and systems with random structure or with switching parameters was proposed in [6] to the case of signal processing and parameter identification in stochastic magnetic navigation systems, where the parameters to be identified are the Poisson's coefficients.

The purpose of this paper is to present the solutions of the problem of nonlinear filtering and identification algorithms synthesis and analysis for correlation-extremum systems, based on Markov processes and the theory of optimization of stochastic systems with random structure for military and civil applications.

1.1. Problem statement

The problem under consideration is nonlinear estimation for the dynamic state process described by a stochastic differential equation (Eq. (1)):

(1)
Λ ˙ t =   F l Λ , u ,   t +   W l t ,         Λ ( t 0 )   =   Λ ,             l   =   1 ,   p ¯ ) ,

where Λ(t) is the state vector, which contains the random, unknown, and time-varying parameters vector aT=(a1, ,aq), ut is the known control vector, which may depends on the state vector components, l(t) is a stationary Markov process taking values in the set {1, 2,..., p} (number of the state). Here Λ(t) is n-dimensional vector, in general case, with initial Gaussian value Λ(t0), F(l)(Λ,u, t) is the nonlinear deterministic vector function Fl(Λ,u, t)=fi(l)(Λ,u, t),(i= 1,n¯) which satisfies Lipschitz conditions. W(l)t is a vector process of the state Gaussian white noise with diagonal intensity matrix Q(l)t=qi(l)(t), (i= 1,n¯).

The observable signal rx, y, t is the m-dimensional spatial-time-varying process described by the following measurement equation (Eq. (2)):

(2)
r x ,   y ,   t =   S l x ,   y ,   Λ , t +   N l x ,   y ,   t ,             l   =   1 ,   p ¯ ,

where x, y are the space variables – space coordinates at any point – xX=[x0,xX], yY=[y0,yY], t is the time variable tT=[t0,tT], S(l)x, y, Λ,t is the vector of spatial-time-varying signals of different physical nature, N(l)x, y, t is the spatial-time-varying vector process of the measurements Gaussian white noise with diagonal intensity matrix C0(l) and correlation function h(Δx,Δy,Δt)=C0(l)δ(Δx,Δy,Δt), δ is the delta function.

The signal position on the image plane XOY can be determined by parameters vector:

λ x t = φ x Λ , t ,           λ y t = φ y Λ , t .

Then the signal may be represented as S(l)(x, y, Λ,t)=S(l)x-λx, y-λy,t. The suboptimal estimator in this case represents a tracker system. The estimation errors are formed by receiving the derivatives of the cross-correlation function of the observed spatial-time-varying signal r(x, y, t) and the reference image Sl(x, y, Λ^,t).

The changes of the structure are supposed to be Markov process with p -finite states and the transition intensities νjlt and νlt, where j, l= 1,p¯. The behavior of the system may be explicated as follows. The system begins in a particular mode of operation, say l(t)=1, then at a random time the system jumps to one of the other (p-1) possible modes of operation and may or may not remain in this state. The model has an interpretation as a problem of a maneuvering target tracking interruption or a case of great estimation errors.

The nonlinear filtering or estimation problem defined above for Eqs. (1-2) is to find the finite-dimensional dynamical system whose output is the best minimum variance estimate of the joint Markov process (Λt,lt)T, for t0 given the observed data r(x, y, t).

1.2. Solution of the algorithms synthesis problem

The synthesis of the filtering algorithms for correlation-extremum systems with random structure [4] was based on the generalized Fokker-Plank-Kolmogorov-Stratonovich equation for the evolution of joint conditional probability density of the state dynamics Λ(t) and the system structure l(t)ω^(Λ,l,t)=ω^(l)(Λ,t) (Eq. (3)):

(3)
  ω ^ l Λ , t t = -   d i v   π ^ l Λ , t
            -     1 2   ω ^ ( l ) Λ , t   Φ ( l ) Λ , r , t - - Φ ( l ) z , r , t ω ^ ( l ) z , t d z  
            + j = 1 j l p   ν j l ( t ) P ^ j   ( t ) P ^ l   ( t )     ω ^ ( j ) Λ , t - ω ^ ( l ) Λ , t ,         ω   ( Λ 0 ,   t 0 ) ,         l =   1 , p ¯ ,    

where π^lΛ,t is the probability density flow vector:

π ^ ( l ) Λ , t = K 1 ( l ) Λ , t ω ^ ( l ) Λ , t -   1 2 d i v   K 2 ( l ) Λ , t ω ^ ( l ) Λ , t   ,

where K1lΛ,t is the local rate vector, K2lΛ,t is the diffusion matrix, P^l(t) is the a posteriori probability of the lth state, ωΛ0, t0 is the initial value of probability density of the state dynamics Λ(t0), Φ(l)(Λ,r,t) is the derivative of the likelihood function logarithm in the lth state (z is the variable zΛ, the sign ^ means the a posteriori function value).

The a posteriori probability density for the whole dynamics process is determined as:

ω ^ Λ , t = l = 1 p P ^ l   t ω ^ l Λ , t .

The suboptimal estimate of Markov process Λ(t) on the assumption of mean square loss function is the conditional mathematical expectation. The optimal estimate of discrete process l(t) by the a posteriori probability criterion will be such a value of l that makes the value of P^lt maximum.

The estimate of the state is the probabilistically weighted average Λ^(t)=l=1pP^l tΛ^(l)t.

The main distinction of signal processing in systems with the random structure consists in the presence of the state probability estimate equations (Eq. (4)) in the filtering algorithms and in the relation between these equations:

(4)
d   P ^ l   ( t ) d t   = -   ν l ( t ) P ^ l   ( t ) + j = 1 j l p ν j l t P ^ j   ( t )
            +   1 2 P ^ l t - Φ l z , r , t ω ^ l z , t d z   -   k = 1 p P ^ k   t - Φ k z , r , t ω ^ k z , t d z   .

The a priori state probabilities Pl(t) can be found according to Kolmogorov equations.

In [4] the solution of the problem was obtained in Gaussian approximation of the a posteriori probability density. In the algorithms synthesis it was supposed that the signal or image position along one of the axes (e.g., in y direction) was known to simplify the derivation, denoting the signal Sl(x, Λ,t)=Sl(x-λx,t), and the state parameter λx without index λx=λ.

For the case when the parameters changes form Markov process with two states (l= 1,2¯) and the transition intensity ν(t) the solution of nonlinear filtering problem for systems with random structure derived in [4] is presented by the following correlation-extremum algorithms for computing the a posteriori probabilities of state (Eq. (5)), the state estimates (Eq. (6)), and the covariance (Eq. (7)).

The differential equation for the a posteriori probabilities of state is:

(5)
d P ^ 1   t d t = - ν - 1 -   P ^ 1   t   C X 1 k 1 + B 1 Δ λ 1 + 1 2 σ 1 2 t 2 B 1 Δ λ 1 Δ λ 1 2   P ^ 1 t
            + ν -   P ^ 1   ( t )   C X 2 k 2 + B 2 Δ λ 2 + 1 2 σ 2 2 t 2 B 2 Δ λ 2 Δ λ 2 2   1   - P ^ 1   ( t ) ,
P ^ 2 t = 1 -   P ^ 1 t ,

where P^2(t) is the a posteriori probability of the second state, Δλ(l)(t) is the state estimate error Δλlt=λt-λ^(l)(t), σ(l)2(t) is the variance of the a posteriori probability density function σ(l)2(t)=[(λ(t)-λ^(l)(t)]2, l= 1,2¯; B(l)Δλ(l),t is the spatial correlation function in the lth state Bl(Δλ(l),t)=SlT(x-λ^l,t)Sl(x-λ,t), CX(l) is the specific spectral intensity CX(l)=C0(l)/X of the spatial-time-varying noise N(l)(x, t).

The Eq. (5) has been derived using the assumption of the “unpowered” parameters. This assumption means that the integrals -XX[Sl(x-λ^(l), t)]2dx and -XXr2(x , t)dx, which represent signal energy and are explicitly independent of the estimate parameter, may be included in the k1 and k2 coefficients.

The state estimate equation (Eq. (6)) is presented below:

(6)
d λ ^ ( l ) ( t ) d t = f ( l ) ( λ ^ ( l ) , u ,   t   ) - σ ( l ) 2 ( t ) C X ( l ) B ( l ) Δ λ ( l ) , t Δ λ ( l ) + σ ( l ) 2 ( t ) C 0 ( l ) N X l
            +   ν   P ^ j   t     P ^ l   t λ ^ ( l ) ( t ) - λ ^ ( j ) ( t ) ,               λ ^ l ( t 0 ) = λ ^ 0 ( l ) ,         l , j =   1,2 ¯ ,       j l ,

where NX(l)=-XXS(l)Tx  λ^(l), tλ^(l)Nl(x, t)dx, (as a remark: in many cases the measurements signals and noises are uncorrelated). The suboptimal state estimate for the whole process can be obtained by using a weighted sum λ^(t)=P^1(t)λ^1(t)+P^2 (t)λ^2(t).

The variance equation is:

(7)
d σ ( l ) 2 ( t ) d t = 2   σ ( l ) 2 ( t )   f l ( λ ^ ( l ) , u ,   t )     λ ^ ( l ) +   σ ( l ) 4 ( t ) C X ( l ) 2 B ( l ) Δ λ ( l ) Δ λ ( l ) 2   +   q l ( t )
            + ν   P ^ j   ( t )     P ^ l   ( t ) σ ( j ) 2 ( t ) - σ ( l ) 2 ( t ) + λ ^ ( j ) ( t ) - λ ^ ( l ) ( t ) 2   ,       σ ( l ) 2 t 0   ,       l , j =   1,2 ¯     ,   j l ,

and the variance of the estimate error for the whole process is σ2(t)=P^1(t)σ12(t)+P^2(t)σ22(t). The correlation-extremum filtering algorithm with random structure for estimation of signal position along the y axis has been derived, similarly.

The proposed algorithms (Eqs. (5-7)) can be applied to the solution of the linearization problem in the case of great estimation errors and provide the estimator adaptive capability due to the extension of the correlation-extremum filtering and identification methods for systems with random structure.

The research is continuing in different areas of the proposed algorithms application and, particularly, for the systems with interrupted signal information, and for the case when the measurement noise vector Nl(x, y, t ) is the spatial-time-varying colored Gaussian-Markov process new algorithms have been derived.

1.3. Applications to TTS

A guidance kinematic scheme under consideration can be described by a system of nonlinear stochastic differential equations (Eq. (8)) for the state dynamics model:

(8)
ε ˙ ( l ) ( t ) =   1 D ( l ) ( t )   V c ( t ) sin ε ( l ) ( t ) - θ c ( l ) ( t ) - V T ( t ) sin ε ( l ) ( t ) - θ T ( l ) ( t ) + W ε ( t ) ,
D ˙ ( l ) ( t ) = - V c ( t ) c o s ε ( l ) ( t ) - θ c ( l ) ( t ) + V T ( t ) c o s ε ( l ) ( t ) - θ T ( l ) ( t ) + W D ( t ) ,
θ ˙ c l t =   N c ( l ) ε   ^ ˙ t ,             ε l t 0 = ε 0 ( l ) ,             D l ( t 0 ) =   D 0 l ,               θ c ( l ) ( t 0 ) = θ c 0 ( l ) ,

where ε(t) is a LOS angle relative to reference line, θc(t) is an angular position of an aircraft (pursuer) velocity vector Vc(t), θT(t) is an angular position of a target velocity vector VTt, D(t) is a current range from an aircraft to a target, Wε(t) and WDt are the system uncorrelated zero-mean Gaussian white noises with spectral densities qεt and qDt, respectively; ε(l)(t0), D(l)(t0), θc(l)(t0), Vc(t0), VT(t0), θT(l)(t0) are the initial values; Nc(l) is the proportional navigation law constant Nc in the lth state. As a remark, the form of the equations description (Eq. (8)) for systems with random structure is first presented in this paper.

The measurements equation (Eq. (9)) represents a spatial-time-varying signal S(x, ε, t) observed by means of a coordinator with a narrow field of view which measures small deviations relative to the boresight:

(9)
r ( x , t ) = S l ( x , ε ( l ) ,   t ) +   N ( l ) ( x , t ) ,

where N(l)x, t is the spatial-time-varying noise of white Gaussian type with spectral densities C0(l) in the case of stationary measurements noise, and C0(l)(t), in the case of nonstationary noise depending on D(l)(t). The form of the signal which is a nonlinear function of the estimated Markov process ε(t) is determined by antenna pattern with the beam width of 3°-7°. The changes of structure and the corresponding algorithms occur by the Markov process law with the two states l=1,2¯ and the transition intensities ν12(t), and ν21(t), taking into account the values of estimation errors of a LOS angle. In a special case the system changes the mode of tracking when the estimation error exceeds the threshold value and the moments of the structure changes are known. There is a special case of the ε(t) coordinate jumping disturbance, when the system noise Wεt is a function of a structure Wε(l)(t), particularly, when the disturbance is a hit.

The purpose of this part of the present scientific research is to create reliable nonlinear information processing algorithms for a target tracking system as a part of a guidance-navigation complex which provide suboptimal estimation of the range from an aircraft to a target D(t), the line of sight angle ε(t), the bearing angle, and the guidance law parameters for different cases and conditions.

The adaptive filtering schemes are considered for 1) the proposed in this paper approach considering the navigation constant Nc as a parameter to be identified, which changes its structure according to various conditions in contrast to all known previous solutions including [5] where the PN guidance law θ˙(t)=Ncε˙(t) with the traditionally used navigation constant values Nc, interpreted as the constant values received by experimental approach was applied; 2) the proposed derived guidance law, in which the navigation coefficient Nc is not a constant, (it is a function of the state estimates as an analytical expression); 3) the direct guidance law.

The estimate of the bearing angle was obtained for its state dynamics as a constant value and in the presence of noise.

The behavior of the system has been investigated with comparison for different first proposed conditions: 1) with adaptive switching from one to the other mode of operation using the information artificial aging techniques on the required parts of the trajectories (when the moment of the structure change depends on the estimation errors value); 2) with changes of the corresponding guidance law parameters, and 3) with switching from one guidance law to the other during tracking.

The adaptation mechanism of the proposed estimation algorithms represents an effective means of switching the field of view of a radar tracker or an optical (infrared image) tracker, and ensures the system operation, particularly, for a wide dynamic range of target maneuvers.

2. Conclusions

The proposed algorithms in comparison with the traditional estimation algorithms first show a relationship between the a posteriori probability density maximum criterion, the covariance matrix minimum criterion, and the cross-correlation function maximum criterion.

The proposed expansion of mathematical description based on the nonlinear filtering theory of processes and the systems with random structure optimization provides adaptive features for the correlation-extremum systems by generating the probabilistically weighted average of the state estimates. The correlation-extremum methods combined with the theory of Markov processes and systems with random structure ensure the stochastic dynamic systems reliability and operation in different conditions and under environment influences.

These algorithms allow to solve the filtering and identification problems for complex stochastic dynamic systems equipped with image sensors (e.g., radar, optics, and etc.) using information of spatial-time-varying signals of different nature fields.

Acknowledgements

The author would like to thank the mentioned authors [1-3], [5] for their researches that stimulate further investigations.

References

  1. Baklitski V., Yuriev A. Correlation-Extremum Methods in Navigation. Radio and Communication, Moscow, 1982, (in Russian). [CrossRef]
  2. Chang C., Athans M. State estimation for discrete systems with switching parameters. IEEE Transactions on Electronic Systems, Vol. 14, Issue 3, 1978, p. 418-425. [CrossRef]
  3. Kaminskas V., Sakalauskas E. Identification algorithm for linear systems with distributed parameters. Engineering Cybernetics, Vol. 3, 1987, p. 184-189, (in Russian). [CrossRef]
  4. Kolosovskaya T. Spatial-time-varying signals processing algorithms in systems with random structure. Mechanical Engineering and Machine Reliability Problems, Vol. 5, 1995, p. 105-112, (in Russian). [CrossRef]
  5. Shukla U., Mahapatra P. Generalized linear solution of proportional navigation. IEEE Transactions on Aerospace and Electronic Systems, Vol. 24, Issue 3, 1988, p. 231-237. [CrossRef]
  6. Kolosovskaya T. The application of an extended Kalman filter to synthesis and analysis of estimation algorithms for magnetic navigation systems. 14-th International Conference on Aviation and Cosmonautics, Moscow, 2015, p. 306-309. [CrossRef]