Classification of finite-dimensional estimation algebras of maximal rank with arbitrary state–space dimension and mitter conjecture

In the late seventies, the concept of the estimation algebra of a filtering system was introduced. It was proven to be an invaluable tool in the study of non-linear filtering problems. In the early eighties, Brockett proposed to classify finite dimensional estimation algebras and Mitter conjectured that all functions in finite dimensional estimation algebras are necessarily polynomials of total degree at most one. Despite the massive effort in understanding the finite dimensional estimation algebras, the 20 year old problem of Brockett and Mitter conjecture remains open. In this paper, we give a classification of finite dimensional estimation algebras of maximal rank and solve the Mitter conjecture affirmatively for finite dimensional estimation algebras of maximal rank. In particular, for an estimation algebra E of maximal rank, we give a necessary and sufficient conditions for E to be finite dimensional in terms of the drift fi (x) and observation hj (x). As an important corollary, we show that the number of statistics needed to compute the conditional density of the state given the observation {y(s):0 ≤ s ≤ t} by the algebraic method is n where n is the dimension of the state.

[1]  G.-G. Hu.  Finite-dimensional filters with nonlinear drift. , 1997 .

[2]  Wen-Lin Chiou,et al.  Finite-dimensional filters with nonlinear drift XIII: Classification of finite-dimensional estimation algebras of maximal rank with state space dimension five , 2000 .

[3]  Jie Chen,et al.  Finite-dimensional filters with nonlinear drift, VI: Linear structure of Ω , 1996, Math. Control. Signals Syst..

[4]  Wing Shing Wong,et al.  On a necessary and sufficient condition for finite dimensionality of estimation , 1990 .

[5]  E. Norman,et al.  ON GLOBAL REPRESENTATIONS OF THE SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS AS A PRODUCT OF EXPONENTIALS , 1964 .

[6]  Wing Shing Wong.  On a new class of finite dimensional estimation algebras , 1987 .

[7]  Stephen S.-T. Yau,et al.  Classification of four-dimensional estimation algebras , 1999, IEEE Trans. Autom. Control..

[8]  Wing Shing Wong,et al.  Structure and classification theorems of finite-dimensional exact estimation algebras , 1991 .

[9]  Xi Wu,et al.  Hessian matrix non-decomposition theorem , 1999 .

[10]  S. Marcus.  Algebraic and Geometric Methods in Nonlinear Filtering , 1984 .

[11]  R. E. Kalman,et al.  New Results in Linear Filtering and Prediction Theory , 1961 .

[12]  Jie Chen,et al.  Finite-Dimensional Filters with Nonlinear Drift VII: Mitter Conjecture and Structure of $\eta$ , 1997 .

[13]  Yong-Yan Cao,et al.  A counterexample of "Comments on 'Stability margin evaluation for uncertain linear systems'" , 1997, IEEE Trans. Autom. Control..

[14]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[15]  Jie Chen,et al.  Finite-Dimensional Filters with Nonlinear Drift VIII: Classification of Finite-Dimensional Estimation Algebras of Maximal Rank with State-Space Dimension 4 , 1996 .

[16]  R. E. Kalman,et al.  A New Approach to Linear Filtering and Prediction Problems , 2002 .

[17]  Roger W. Brockett,et al.  Nonlinear Systems and Nonlinear Estimation Theory , 1981 .

[18]  Mitter.  On the analogy between mathematical problems of non-linear filtering and quantum physics. Interim report , 1980 .

[19]  Wen-Lin Chiou,et al.  Finite-Dimensional Filters with Nonlinear Drift II: Brockett's Problem on Classification of Finite-Dimensional Estimation Algebras , 1994 .

[20]  Steven I. Marcus,et al.  An Introduction to Nonlinear Filtering , 1981 .

[21]  D. Ocone.  Topics in Nonlinear Filtering Theory. , 1980 .

[22]  Roger Brockett.  Classification and equivalence in estimation theory , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[23]  D. Michel,et al.  Des resultats de non existence de filtre de dimension finie , 1984 .

[24]  Mark H. A. Davis.  On a multiplicative functional transformation arising in nonlinear filtering theory , 1980 .

[25]  A. Makowski.  Filtering formulae for partially observed linear systems with non-gaussian initial conditions , 1986 .

[26]  Wing Shing Wong.  Theorems on the structure of finite dimensional estimation algebras , 1987 .