Set-Membership Filtering for Discrete-Time Systems With Nonlinear Equality Constraints

In this technical note, the problem of set-membership filtering is considered for discrete-time systems with nonlinear equality constraint between their state variables. The nonlinear equality constraint is first linearized and transformed into a state linear equality constraint with two uncertain quantities related to linearizing truncation error and base point error. S-procedure method is then applied to merge all inequalities into one inequality and the solution to the unconstrained set-membership filtering problem is provided. The set-membership filter with state constraint is finally derived from projecting the unconstrained set-membership filter onto the constrained surface by using Finsler's Lemma. A time-varying linear matrix inequality optimization based approach is proposed to design the set-membership filter with nonlinear equality constraint. A recursive algorithm is developed for computing the state estimate ellipsoid that guarantees to contain the true state. An illustrative example is provided to demonstrate the effectiveness of the proposed set-membership filtering with nonlinear equality constraint.

[1]  Karolos M. Grigoriadis,et al.  A unified algebraic approach to linear control design , 1998 .

[2]  J. Norton,et al.  State bounding with ellipsoidal set description of the uncertainty , 1996 .

[3]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[4]  J. Speyer,et al.  Target tracking problems subject to kinematic constraints , 1990 .

[5]  B. Anderson,et al.  Optimal Filtering , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[6]  H. Witsenhausen.  Sets of possible states of linear systems given perturbed observations , 1968 .

[7]  Hendrik Van Brussel,et al.  A Smoothly Constrained Kalman Filter , 1997, IEEE Trans. Pattern Anal. Mach. Intell..

[8]  F. Schweppe.  Recursive state estimation: Unknown but bounded errors and system inputs , 1967 .

[9]  Stergios I. Roumeliotis,et al.  A Multi-State Constraint Kalman Filter for Vision-aided Inertial Navigation , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[10]  A. Kurzhanski,et al.  Ellipsoidal Calculus for Estimation and Control , 1996 .

[11]  Lang Hong,et al.  Reliable road vehicle collision prediction with constrained filtering , 2006, Signal Process..

[12]  Boris Polyak,et al.  Multi-Input Multi-Output Ellipsoidal State Bounding , 2001 .

[13]  Mark Campbell,et al.  Online nonlinear guaranteed estimation with application to a high performance aircraft , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[14]  Chun Yang,et al.  Kalman Filtering with Nonlinear State Constraints , 2009 .

[15]  Darryl Morrell,et al.  Set-values filtering and smoothing , 1991, IEEE Trans. Syst. Man Cybern..

[16]  Alexandre Megretski,et al.  A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  Joseph J. LaViola,et al.  On Kalman Filtering With Nonlinear Equality Constraints , 2007, IEEE Transactions on Signal Processing.

[18]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[19]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[20]  David Zhang,et al.  Improved robust H2 and Hinfinity filtering for uncertain discrete-time systems , 2004, Autom..

[21]  A. Megretski.  H-infinity model reduction with guaranteed suboptimality bound , 2006, 2006 American Control Conference.

[22]  I. Petersen,et al.  Recursive state estimation for uncertain systems with an integral quadratic constraint , 1995, IEEE Trans. Autom. Control..

[23]  Henry Leung,et al.  Constrained unscented Kalman filter based fusion of GPS/INS/digital map for vehicle localization , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[24]  Giuseppe Carlo Calafiore,et al.  Robust filtering for discrete-time systems with bounded noise and parametric uncertainty , 2001, IEEE Trans. Autom. Control..

[25]  Fuwen Yang,et al.  Robust Kalman filtering for discrete time-varying uncertain systems with multiplicative noises , 2002, IEEE Trans. Autom. Control..

[26]  Howard E. Doran,et al.  Constraining Kalman Filter and Smoothing Estimates to Satisfy Time-Varying Restrictions , 1992 .

[27]  W. Ra,et al.  Set-valued estimation approach to recursive robust H filtering , 2004 .

[28]  W. Stirling,et al.  Set-valued Filtering And Smoothing , 1988, Twenty-Second Asilomar Conference on Signals, Systems and Computers.

[29]  Stephen P. Boyd,et al.  Semidefinite Programming , 1996, SIAM Rev..

[30]  D. Bertsekas,et al.  Recursive state estimation for a set-membership description of uncertainty , 1971 .

[31]  Y. Hung,et al.  Robust mixed H/sub 2//H/sub /spl infin// filtering with regional pole assignment for uncertain discrete-time systems , 2002 .

[32]  A. Rantzer.  On the Kalman-Yakubovich-Popov lemma , 1996 .

[33]  Ali H. Sayed,et al.  A survey of spectral factorization methods , 2001, Numer. Linear Algebra Appl..

[34]  Dan Simon,et al.  A game theory approach to constrained minimax state estimation , 2006, IEEE Transactions on Signal Processing.

[35]  Fuwen Yang,et al.  Robust H/sub 2/ filtering for a class of systems with stochastic nonlinearities , 2006, IEEE Transactions on Circuits and Systems II: Express Briefs.

[36]  R. Freund.  Model reduction methods based on Krylov subspaces , 2003, Acta Numerica.

[37]  Ian R. Petersen,et al.  Robust state estimation and model validation for discrete-time uncertain systems with a deterministic description of noise and uncertainty , 1998, Autom..

[38]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[39]  D. Simon,et al.  Kalman filtering with state equality constraints , 2002 .

[40]  W. Blair,et al.  Use of a kinematic constraint in tracking constant speed, maneuvering targets , 1993, IEEE Trans. Autom. Control..

[41]  Eric Walter,et al.  Ellipsoidal parameter or state estimation under model uncertainty , 2004, Autom..

[42]  Jeff S. Shamma,et al.  Set-valued observers and optimal disturbance rejection , 1999, IEEE Trans. Autom. Control..