Abstract

This paper develops an extended ellipsoidal outer-bounding set-membership estimation (EEOB-SME) algorithm with high accuracy and efficiency for nonlinear discrete-time systems under unknown-but-bounded (UBB) disturbances. The EEOB-SME linearizes the first-order terms about the current state estimations and bounds the linearization errors by ellipsoids using interval analysis for nonlinear equations of process and measurement equations, respectively. It has been demonstrated that the EEOB-SME algorithm is stable and the estimation errors of the EEOB-SME are bounded when the nonlinear system is observable. The EEOB-SME decreases the computation load and the feasible sets of EEOB-SME contain more true states. The efficiency of the EEOB-SME algorithm has been shown by a numerical simulation under UBB disturbances.

1. Introduction

State estimation of dynamical systems from disturbances observations is one of the fundamental problems in control and signal processing. Based on the Bayesian theory, traditional state estimation algorithms are commonly solved under statistics assumptions of process and measurement disturbances, which have been extensively studied in last decades. The most common approach in recursive estimation is Kalman Filter (KF) [1], and the corresponding stochastic state estimators are the extended Kalman Filter (EKF) [2, 3], unscented Kalman Filter [4], and particle filter [5] for nonlinear systems. However, traditional state estimation algorithms, which aim to construct the posterior density of the estimated state, estimates of the variance with stochastic disturbances under the stochastic framework, sometimes give biased results when statistical assumptions are not satisfied. In many real-time engineering applications, the probabilistic distribution assumptions of the process or measurement disturbances are often insufficient and cannot be determined precisely with a few system input and output records.

Under the assumption of unknown-but-bounded (UBB) disturbances, the set-membership estimation (SME) algorithm is considered to be an attractive alternative for state estimation [6]. Set-membership methods with deterministic noise assumptions have been largely investigated in the past 40 years in systems state or parameter estimation literatures. Unlike probabilistic approaches, the only assumptions of process and measurement disturbances are UBB and there are not any assumptions in the deterministic bounded disturbances. The solution of the set-membership estimation is a feasible set rather than the posterior density of state variables. The feasible set is a complex convex set in the state space, which is consistent with the system model, the input and output data, and UBB disturbances. The centre of the feasible set is used as a point estimate. Because of the complicated shape of the true feasible set, the key problem in set-membership estimation is to use simple convex geometric set, such as ellipsoid [7], interval [8], and zonotope [9], to reduce the complexity of algorithms. As the intuitive mathematical derivation and computational efficient algorithm, ellipsoidal set methods are claimed to be much better in many situations.

The first ellipsoidal set method for set-membership state estimation was established in [6] and developed to optimal control problem with parametric families of ellipsoids in [10]. The optimal bounding ellipsoid for parameter identification is proposed in [11]. Under the minimum-volume and minimum-trace criteria, optimal ellipsoidal state-bounding algorithms were introduced in [1214]. With selective measurement update scheme [15], a set-membership state estimation algorithm was proposed by minimizing the upper bound on a Lyapunov function of the estimation error in observation update [16] and was developed with the nonincreasing property of the estimation errors in [17]. The multi-input multioutput situation was developed in [18]. By maximizing the decrease of a Lyapunov function of the estimation error in the worse noise case, an input-to-state stable (ISS) set-membership state estimation was presented in [19]. Recently, with lower computation load than the set-membership state estimation algorithm in [19], the ellipsoidal state-bounding-based set-membership estimation (ES-SME) is proposed [20].

There are relatively fewer results to be available to deal with nonlinear cases for SME algorithms. A set-valued observer for nonlinear systems was produced in [21]. An extended set-membership filter for dynamic nonlinear systems was proposed with interval analysis and the convergence of the filter was proved in [22]. A UD factorization-based set-membership filter with suboptimal bounding ellipsoids to improve the numeric stability was presented in [23]. Based on DC programming, a set-membership state estimation algorithm for nonlinear discrete-time systems with tight bounds was developed in [24]. Using the Takagi-Sugeno fuzzy model, the set-membership fuzzy filtering was established for nonlinear discrete-time systems [25]. The ellipsoidal state-bounding algorithms for nonlinear systems were used in flight control [26], neural networks training [27], tracking [28], and power system dynamic state estimation [29].

For nonlinear systems, the extended Kalman filter linearizes the state trajectory about the current state estimate and the EKF is known to give biased estimates. Using similar linearization technologies to EKF, nonlinear set-membership filters had been explored with predetermined explicit assumptions of linearization error bounds in [22, 23]. Due to the complexity of nonlinear transformation of feasible sets and the lack of accurate bounding information, the nonlinearity of the system may seriously degrade the performance of the above mentioned state estimation algorithms. There are still several challenges to estimate the state for nonlinear system with UBB disturbances.

To improve the estimation accuracy and reduce the computation load, this paper extends the ES-SME algorithm to nonlinear discrete-time systems and proposes an extended ellipsoidal outer-bounding set-membership estimation (EEOB-SME) algorithm. The paper is presented as follows. The ES-SME algorithm is introduced in Section 2. In Section 3, the ES-SME is extended to nonlinear system with interval analysis and the EEOB-SME algorithm is proposed. Section 4 analyses the stability of the proposed EEOB-SME. The effectiveness of the EEOB-SME is demonstrated through a numerical simulation in Section 5. Section 6 concludes the paper.

2. Ellipsoidal Outer-Bounding SME for Linear System

2.1. Recursive Structure of the ES-SME

Definition 1. An ellipsoid set is given by the set , where is the centre of the ellipsoid and called the shape-defining matrix of ellipsoid is a symmetric positive definite matrix which defines the shape and orientation of the ellipsoid. The variable is a scalar variable.
Consider the linear discrete-time system in state space form where is the state vector and is the observation vector at time . and are known matrices. The disturbance and are UBB disturbances in the time and measurement equations, which are confined to the following ellipsoid sets: where and are known positive definite matrices. It is assumed that the initial state belongs to a known ellipsoid setwhere is the estimation result of at the initial time.
The recursive structures of ellipsoidal outer-bounding set-membership estimation are time update and measurement update, which are similar to the Kalman Filter. Assume at time , the ellipsoid contains the state vector . From (1) and (3), the priori state estimation lies in the vector sum of the linear transform ellipsoid and ellipsoid ,Generally, the vector sum of two ellipsoids is not an ellipsoid; we find an ellipsoid called the state prediction ellipsoid to contain the convex set of the vector sum,At time , the state lies in the intersection of the observation ellipsoid and the state prediction ellipsoid ,where the observation ellipsoid isNormally, the intersection set of two ellipsoids is not an ellipsoid. It has to find an ellipsoid called the updated state ellipsoid to contain the intersection set,

Lemma 2 (see [20]). The recursive procedures for ES-SME algorithm are the following equations.

Time Update. Assuming a known state which lies in the ellipsoid , we have ,where the value of parameter belongs to and is positive.

Observation Update. Given the observation ellipsoid and the state prediction ellipsoid , the state , where the value of parameter belongs to and is positive.

Remark 3. The covariance of the posterior estimation error in the ES-SME algorithm can be writtenAnd the gain matrix in the ES-SME algorithm has another expression

Remark 4. The scalar variable presents the upper bound of a Lyapunov function of the posteriori estimation error, which is the inequation .

Remark 5. Through the assumption of UBB disturbances, a time-varying ellipsoid set is acquired in state space which always contains the true state of linear system. The shape-defining matrices of ellipsoids, which are equal to covariance matrices in KF, represent the uncertainty of the estimate results. The estimation accuracy is evaluated by the measure of the ellipsoid set. The size of an ellipsoid is measured by its volume or trace.

2.2. Optimal Parameters Selection in the ES-SME

Commonly, the minimum-volume or minimum-trace criterion is used to compute the optimal scalar parameters and in time and measurement update. For the computation efficiency, parameter is computed under the minimum-trace criterion [14]

According to Lemma 6, the optimal parameter in measurement update is computed through minimizing the upper bound of scalar variable .

Lemma 6 (see [20]). Let the initial condition and , where , ,  , and is the maximum eigenvalue of . Minimizing parameter with respect to scalar variable , where , one can obtain the following:where parameter lies in .

Remark 7. The method in Lemma 6 avoids the complexity computation for minimum-volume or trace criterion [14] and avoids solving the equation with the same dimension of the output vector for Becis-Aubry’s set-membership estimation (BA-SME) [19].

3. Extended Ellipsoidal Outer-Bounding SME

The EKF considers the first-order terms used for time update and measurement update, and the second-order terms is defined as the Lagrange remainder. The main idea of EEOB-SME is to linearize the nonlinear systems about the current estimation and use interval mathematics to acquire the bound of the higher order terms. Then, the bound of the linearization error is combined together with the process or measurement disturbances to acquire a new disturbances ellipsoid, which can be seen as new UBB disturbances. The state prediction ellipsoid and the updated state ellipsoid can be estimated recursively by applying a linear set-membership estimation algorithm at each time step.

Consider a nonlinear discrete-time state space system where and are nonlinear functions and the other variables are defined in Section 2.

Linearizing equation (24) about the current state estimate yieldswhere is the gradient of the nonlinear function . The term represents the high order terms, which are equal to the linearization error.

Define an interval vector called the state interval bound, which can take on any value over the interval where is defined. Then the state interval bound based on the ellipsoid extrema iswhere the superscripts denote the element of a matrix [22].

Considering the scalar case for simplicity, (26) can be expanded with a remainderwhere is a remainder term and is the th derivative about the estimation . Evaluating by interval mathematics [30], can be bounded by an interval, which is defined by the interval vector . The interval of the Lagrange remainder is written asConsidering the expansion of the dynamics (28) with , the remainder term can be seen as simple function of the Hessian of the nonlinear dynamicsand (28) can be written asThe expression for the general multistate case is shownwhere is the Hessian matrix of nonlinear function [22].

The interval of the Lagrange remainder can be bounded using an ellipsoid [12]. Minimizing the volume of the ellipsoid, a unique closed form solution is written aswhere the subscripts + and − denote the maximum and minimum values in the interval . Then the ellipsoid of linearization error is defined as .

Combine with the process disturbance ellipsoid and the linearization error ellipsoid into a new ellipsoid bound called the extended process disturbance ellipsoid where is a parameter to be chosen to minimize the ellipsoid .

The measurement equation should be dealt with in the same way as calculating to acquire the extended measurement disturbance ellipsoid ,

Remark 8. The specific procedures of the extended EOB-SME algorithm are summarized as follows: (i)At time , initialise ,  , and .(ii)At each time step , the state interval and the linearization error interval of process equation are given by (27) and (32). Then the extended process disturbance ellipsoid can be calculated by (35). Let and ; then the state prediction ellipsoid is computed by (11)–(13), where is replaced by .(iii)The extended measurement ellipsoid can be calculated by (36). Let and ; then the updated ellipsoid is given by (14)–(18), where is replaced by and the time index is changed to . And is .(iv)Iterate recursive updates (i)–(iii) until the program is terminated.

4. Stability Analysis

In this section, the stability analysis of the EEOB-SME is presented based on analysing linearization error dynamics. Because the shape-defining matrix of ellipsoid is similar to the estimation error covariance matrix in KF, the way to the stability analysis is the following [22, 31]. The EEOB-SME can be shown to be asymptotically stable with no disturbances and has an upper bound for the nonzero disturbances case.

Definition 9. The nonlinear observability test is satisfied ifhas rank .

Lemma 10 (see [32]). Consider the system given by (24) and (25) without process disturbances. Then there are such that and satisfy the uniform observability test if .

Lemma 11 (see [33]). If the pair is uniformly observable, then there exist two real numbers and , such that and .
Defining the estimation error LetThenwhere

Theorem 12. Consider symmetric positive shape-defining matrices and . Define and by and  ,  , and assume and exist for . Then

Proof. From (20), it is easy to obtain Taking the inverse of (44), we haveFrom (12), we haveand thenFrom (15), it is obvious thatand we obtainAccording to (45), we haveThe proof of Theorem 12 is completed.

Theorem 13. Assume the following assumptions hold:(i),  ,   ,  ,  .(ii) is invertible for all .(iii)There are positive real numbers ,  ,  , and  , such that nonlinear functions and in (39) and (40) are bounded as and for ,  , and with and , respectively.Then the EEOB-SME algorithm gives ellipsoidal estimates where the error between the centre of the ellipsoid and the true state converges to zero, when the disturbances are zero.

Proof. From (14) and (40),  . When the disturbances are zero, we haveAccording to the assumptions (i) and (iii) it is not difficult to see thatFrom (42), we obtainChoosingfor any , it is easy to verify thatLet ; we haveDefine the Lyapunov function ; from the assumption (i), we obtainWhen the disturbances are zero in (41), the estimation error is and the following can be obtainedThen (58) can be written asWe obtain thatwhere , because , choosing It follows that holds for . Then the estimation error will go to zero. The proof of Theorem 13 is completed.

Theorem 14. Under the same assumptions in Theorem 13, the estimation error of EEOB-SME algorithm will acquire an upper bound, when the disturbances are nonzero.

Proof. When the disturbances are nonzero, the estimation error is described asThen the following can be obtainedwhere . The upper bound of disturbances is defined as . Thus we obtainThenwhere and are defined appropriately, and the following is obtainedWhen , the following holds: . It means estimation errors have an upper bound. The proof of Theorem 14 is completed.

5. Numerical Simulation

The following discrete-time Van der Pol equation within ellipsoidal bounds is to evaluate the performance of EEOB-SME with EKF, BA-SME [19], and AESMF [23]:which was studied in [21]. The initial conditions are ,  ,  ,  , and . The process and measurement disturbances are uniformly distributed in inside bounding ellipsoids, which have shape-defining matrix and . Simulation contains Monte Carlo steps with independent noise sequences and recursive updates in each Monte Carlo step. The geometric centre of ellipsoid is considered as the point estimation result and used the trace criterion to compute parameter in both SME algorithms. The averaged root mean square error (RMSE) is defined as ,  .

Figure 1 shows the UBB noises in ellipsoid bound for process noises. First, observation noises with uniform distribution are generated. Then an ellipsoid is plotted according to the corresponding shape-defining matrix. The process noises which are contained in the ellipsoid are used as UBB disturbances.

After 100 Monte Carlo simulations, the averaged root mean square errors (RMSE) between true states and estimated states are shown in Figure 2. The point estimation accuracy of EEOB-SME is better than AESMF and KF. The RMSE of EEOB-SME for state are larger than BA-SME at the initial stage but are gradual close to the BA-SME, which are the most time consuming algorithm. For state , the RMSE of EEOB-SME is equal to BA-SME and lower than AESMF and KF.

Plots in Figure 3 show averaged guaranteed bounds in each state variable. The bounds of EEOB-SME and BA-SME are close to AESMF for state but are lower than AESMF for state . Notice that the bound of ellipsoids will not vanish and estimated results will not converge to single points with steps increasing.

Figure 4 shows the trends of scalar variable with recursive updates. The scalar variable of EEOB-SMF monotonous decreases exponentially from initial value 1 to values less than 0.1. The decline speed of EEOB-SME is faster than BA-SME, and the average run time of EEOB-SME is equal to AESMF. The shape-defining matrix of ellipsoid will be reduced when the bounds of scalar variable are decreasing. Notice that the smaller the value of scalar variable , the smaller the volume of ellipsoids, which can be seen from Figure 5. The values of scalar variable in AESMF change a little after decreasing initial stage.

In Figure 5, states are the horizontal axis and states are the ordinate axis. As the direct result of remainder terms, the state uncertainty ellipsoid for EEOB-SME and AESMF algorithms decreases with recursive updates. Although ellipsoid feasible sets of EEOB-SME are larger than AESMF at the initial stage, with the decreasing of scalar variable , the volumes of ellipsoid feasible sets for EEOB-SME are equal to AESMF. Near the states , ellipsoid feasible sets of AESMF do not contain true states of the system, but the ellipsoid feasible sets of EEOB-SME always contain true states. Because of larger linearization errors, ellipsoid feasible sets of EEOB-SME and AESMF do not contain true states of nonlinear system, which can be seen at .

The average RMSE and run time of EEOB-SME, BA-SME, AESMF, and Kalman Filter are summarized in Table 1. To pay at the cost of computing time, the RMSE of BA-SME algorithm is minimal. The average RMSE of EEOB-SME is larger than BA-SME but the computing time of EEOB-SME is lower than BA-SME. The most time consuming algorithm is BA-SME, which is more than 2 ms at each recursive step. The average rum time of EEOB-SME, AESMF, and Kalman Filter is less than 0.6 ms and suitable for real-time application.

6. Conclusion

Based on UBB disturbances, this paper proposes an EEOB-SME algorithm for nonlinear discrete-time systems. The nonlinear equations of process and measurement equations are linearized with the first-order terms about current state estimations. Using interval analysis, the high order terms, which are equal to linearization errors, are bounded by ellipsoids. The bounds of the linearization errors are combined together with process or measurement disturbances as new UBB disturbances. If the nonlinear process and measurement equations are observable, the EEOB-SME algorithm is stable and the estimation errors of the EEOB-SME are bounded. Simulations results show that the EEOB-SME has better RMSE performance compared to Kalman Filter under UBB disturbances, and the computation time of EEOB-SME is lower than BA-SME. In addition, the feasible sets of EEOB-SME contain more true states than AESMF. Thus, the real-time application of set-membership state estimation is improved by the EEOB-SME algorithms. Actually, the EEOB-SME algorithm makes a balance between the estimation accuracy and computational efficiency. However, the EEOB-SME does not acquire the minimal point estimation results, which is the future research direction.

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

This work has been supported in part by the National Natural Science Foundation of China under Grant no. 61233005 and National 973 Project under Grant no. 2014CB744200.