A method to estimate ground reaction forces (GRFs) in a robot/prosthesis system is presented. The system includes a robot that emulates human hip and thigh motion, along with a powered (active) transfemoral prosthetic leg. We design a continuous-time extended Kalman filter (EKF) and a continuous-time unscented Kalman filter (UKF) to estimate not only the states of the robot/prosthesis system but also the GRFs that act on the foot. It is proven using stochastic Lyapunov functions that the estimation error of the EKF is exponentially bounded if the initial estimation errors and the disturbances are sufficiently small. The performance of the estimators in normal walk, fast walk, and slow walk is studied, when we use four sensors (hip displacement, thigh, knee, and ankle angles), three sensors (thigh, knee, and ankle angles), and two sensors (knee and ankle angles). Simulation results show that when using four sensors, the average root-mean-square (RMS) estimation error of the EKF is 0.0020 rad for the joint angles and 11.85 N for the GRFs. The respective numbers for the UKF are 0.0016 rad and 7.98 N, which are 20% and 33% lower than those of the EKF.
Recent advances in microelectronics and robotic technologies have enabled the development of powered prosthetic legs  that can help amputees walk up stairs and slopes because of the legs' net power contribution to gait; they are also able to adapt their behavior to various environmental conditions. The company Össur has a lower limb prosthesis called the Power Knee, which is the first commercially available knee to generate power during the gait cycle . Recent developments in powered knee and ankle prostheses are reported in Refs. [3–8].
Bulky load cells are often employed in robots and prosthetic legs to capture external forces (GRFs) and moments during walking . These data are used as feedback measurements to control the robot or prosthesis with force or impedance controls. Even when not used for feedback, force sensing is important for monitoring and evaluation of prosthesis performance and safety. However, there are several drawbacks to the use of load cells: (i) load cells are expensive; (ii) a 250-lbf load cell weighs about 1 lb, with a length of about 3 in, and thus does not easily fit in a prosthetic leg; (iii) load cell measurements tend to drift, need to be frequently offset, and are noisy and need significant signal conditioning; (iv) load cells can get damaged easily from overloading or off-axis loading; and (v) load cells consume electrical power, which is an important consideration in prosthetics.
The above-mentioned problems do not arise with angle sensors because high-resolution encoders are accurate, reliable, and inexpensive. Nevertheless, they do not measure velocity, and velocity calculated by numerical differentiation is challenging because of the difficult compromise between noise rejection and bandwidth.
There have been several methods to reduce the number of force sensors in robotics. In Ref. , a robot compliance controller based on a disturbance observer is presented, where the disturbance observer is used to estimate the external reaction forces. In Ref. , a method for force estimation of the end-effector of a Selective Compliance Assembly Robot Arm (SCARA) robot is presented, where servomotor currents and position information are used to estimate forces. In Ref. , the external force on the end-effector of a four degrees-of-freedom (DOF) robot manipulator is estimated with a combination of time delay estimation and input estimation. In Ref. , a model-based observer is used to estimate the external forces acting on a rigid body. All the aforementioned techniques depend on either the accuracy of the robot model or servomotor current data. Thus, if the accuracy of the robot model or motor current measurement degrades, force estimation can deviate from true force. In Ref. , the force estimation does not require a precise robot dynamic model, but the accuracy of estimated force may degrade in the presence of noise, since the external force is considered as an unknown input.
In this paper, we treat GRF as an unknown input with known dynamic properties and known bounds, and we use an EKF to estimate GRFs along with the states of the robot/prosthesis system. Although EKF is efficient in many applications, it has two important potential drawbacks. First, the derivation of the Jacobian matrix for linearization can be complex and can cause numerical implementation difficulties. Second, linearization can lead to cumulative errors which may affect the accuracy of the state estimation. To overcome these limitations, other nonlinear estimators could be used, such as the UKF or particle filter, where the state estimations are obtained without the need for derivatives and Jacobian calculations [14–16].
In this research, a powered (active) prosthetic leg is considered for transfemoral amputees. The prosthetic leg attached to a robotic hip/thigh emulator. The combined system includes four degrees-of-freedom: vertical hip displacement, thigh angle, knee angle, and ankle angle. This paper is an extended version of Ref. , where we designed an EKF for the online estimation of joint coordinates, velocities, and GRFs.
In this paper, we compare EKF and UKF performance in our 4DOF robot/prosthesis system. We study the EKF because it is the most commonly used nonlinear state estimator due to its versatility and simplicity of implementation. We study the UKF because it generally provides better performance than the EKF. One of the questions we study in this paper is whether the improved performance of the UKF relative to the EKF is worth the increased computational effort.
We also study the effect of various sensor sets on estimation error at different walking speeds. We start with the four main states of the robot/prosthesis system, which are hip displacement, thigh, knee, and ankle angles, as system observations to get the baseline estimation accuracy. Then, we investigate how much estimation accuracy degrades if fewer measurements are used, and we find a tradeoff between the estimation error accuracy and the number of measurements. In general, we prefer to use fewer measurements because fewer sensors mean a simpler system, less complexity, and lower cost.
Finally, we consider the stability of the EKF and boundedness of the estimation error, which are very important for prosthesis control. The stability of the EKF under various values of initial estimation error and noise covariances is explored. We analytically show that the estimation error remains bounded under certain conditions in our 4DOF robot/prosthesis system and confirm the analysis with simulation results.
This research involves the mechanical integration of a prosthesis and a test robot so that we can test the prosthesis without human trials. We will eventually need to use the Kalman filter on a prosthesis that is attached to an amputee. We develop the Kalman filter for the robot/prosthesis system  in this paper for later implementation on an amputee/prosthesis system.
The paper is organized as follows: In Sec. 2, the model of the robotic system and prosthetic leg is presented. In Sec. 3, the EKF for state estimation and GRF estimation is discussed. In Sec. 4, the EKF is analyzed by mathematically deriving its stability conditions. Section 5 compares performance between the EKF and UKF when different measurement sensors are used; also the convergence of the EKF is tested with different initial estimation errors and noise magnitudes. Section 6 concludes the paper and suggests future research.
Robotic testing of transfemoral prostheses is presented here, where motion is limited to the sagittal plane and transverse motion is not considered. Typically, only the sagittal plane is considered in transfemoral prosthesis research. Although the transverse plane is ignored here, sagittal motion captures the essential dynamics of human walking . The model of the test robot/prosthesis is based on the standard robotic framework. Figure 1 shows a diagram of the hip robot and prosthesis combination [20,21]. A general dynamic model for the system is given as follows:
where is the vector of joint displacements (q1 is vertical hip displacement, q2 is thigh angle, q3 is knee angle, and q4 is ankle angle), is the inertia matrix, is a matrix accounting for centripetal and Coriolis effects, is a nonlinear damping vector, Je is the kinematic Jacobian relative to the point of application of the external forces Fe, is the gravity vector, and u is the four-element vector of control signals . The kinematic and dynamic models of the robot/prosthesis combination are given in Refs. [23–25], where a mixed tracking/impedance controller based on passivity methods is designed . The control signals consist of hip force, and thigh, knee, and ankle torques. As Fig. 1 shows, a triangular foot with two points of ground contact is assumed. Horizontal and vertical GRFs are applied to contact points at the toe and heel. The GRFs are denoted as Fxh, Fzh, Fxt, Fzt, which represent the horizontal and vertical GRFs at the heel and toe. Thus, the external force vector Fe in Eq. (1) comprises these four GRFs.
where kb is the belt stiffness, sz is the treadmill standoff (the distance between the origin of the world coordinate system and the belt when the leg is fully extended), l2 and l3 are the lengths of link 2 (thigh) and link 3 (shank), respectively, aH and aT are the distance from the ankle joint to the heel and the toe, respectively, ah is the height of the ankle joint above the sole of the foot, and β is the friction coefficient between the treadmill belt and the foot. The vertical positions of the toe and heel in the world coordinate system are shown in Fig. 1 as zt and zh, respectively. We thus have four states for the positions and four states for the velocities of the joint displacements.
It should be noted that the forces are not states of the original system model, but are augmented here to the state vector, since we need to estimate them with a state estimator. The 12-element vector of Eq. (8) will be estimated by the state estimator.
Equations (2)–(7) are a preliminary approximation to GRF and are accurate only if the amputee (or robot in our case) walks in a highly controlled environment with a known walking surface stiffness. In future work, it will be important to study the robustness of the Kalman filter to modeling errors and particularly to errors in these GRF equations.
We should mention that there are at least two other possible approaches to obtain GRF estimates. In the first alternative approach, GRF could be considered as an unknown input with no prior assumptions about its model. In that case, the EKF would have difficulty estimating GRF, since its effect on the system would be indistinguishable from process noise. In the second alternative approach, state estimation of the robot/prosthesis system could be performed by a nonlinear observer, such as the EKF, and then the estimated states of the robot could be substituted into the GRF Eqs. (2)–(7) to obtain the GRF estimates. However, this approach would be less flexible than the approach that we are using. Augmenting the GRF states onto the original state as in Eq. (8) allows us additional tuning flexibility in the artificial process noise that is included in the augmented states, as we will see in Sec. 5.
Extended Kalman Filtering for Robot/Prosthesis State Estimation
The Stability of the Extended Kalman Filter
The analysis of the stability properties of continuous-time extended Kalman filters is complex and has been treated only for especial cases. Safonov and Athans  considered the stability of the constant and modified gain EKF. The boundedness of the EKF estimates were investigated when used as a parameter estimator for linear systems [29,30]. Reif et al. [31,32] determined that the estimation error in both the discrete and continuous-time EKF is exponentially bounded under certain conditions. They showed that the estimation error remains bounded if the initial estimation error and disturbances are sufficiently small and the nonlinear system satisfies a detectability rank condition [33,34]. Here, we extend Reif's work  to obtain the stability conditions of the state estimator of the robot/prosthesis system. The main purpose of this section is to derive the stability of the estimator in terms of initial condition errors and disturbances.
In stability theory, there are two commonly used methods to prove boundedness: supermartingales for stochastic differential equations, and Lyapunov functions for deterministic differential equations. Supermartingales can be regarded as the stochastic equivalent of Lyapunov functions in some cases . In order to analyze the error dynamics of the EKF, we first present some preliminary results [31,35]. Note that represents the spectral norm of a matrix or the Euclidian norm of a vector.
Proof of Lemma 4.1. See Appendix A.
- (i)There exist p1, p2, c1, c2, q1, q2, r1, r2 such that the following bounds hold for every :(31)(32)(33)(34)
- (ii)There exist , εx, such that the nonlinear functions in Eq. (26) are bounded by(35)for x, and with and , respectively.(36)
Proof of Theorem 4.1. See Appendix B.
If f and h are twice differentiable with respect to x for every , the spectral norm of the Hessian matrices of fi and hi are bounded, where fi and hi are the components of f and h, respectively (see Refs.  and [38, Chap. 7]). In the given robot/prosthesis system, the Hessian matrix of f is not a function of control input u.
Note that the nonlinear system has to be uniformly detectable in order to satisfy the boundedness condition of Eq. (31) [39,40]. The detectability of the nonlinear system results in the boundedness of the estimation error bounds for the solution P(t) of the Riccati differential equation (15) based on Eq. (31). We present the following definition for the detectability of nonlinear stochastic systems .
holds for all x, , where λm is the maximum eigenvalue of .
where differs from x(0) due to random initial state estimation errors, denotes the discretization step size with , Q and R represent continuous-time noise covariances, and Qd and Rd represent discrete-time noise covariances [27, Chap. 8]. The process noise represents small values of unmodeled dynamics and parameter uncertainties. The Q matrix is chosen based on prior experience with the accuracy of system dynamic modeling; the last four elements of the diagonal matrix Q are zero since the GRF model is assumed to be perfectly known. The R matrix is usually straightforward to determine on the basis of our knowledge of the accuracy of the measurement system.
Reduced Sensor Sets and Unscented Kalman Filtering.
In a real-world scenario, it would not be practical to use a hip displacement sensor on an amputee because of its invasiveness. The other sensors—thigh angle, knee angle, and ankle angle—can easily be used in the real world because they can be mounted on the prosthesis. In this paper, we use a hip displacement sensor to provide a baseline scenario for the reduced sensor sets, which we study later in this section.
More observations result in more accurate state estimation. However, our goal is to use the fewest possible number of sensors for estimation, which result in a reduction of complexity and cost in the prosthesis hardware. Here, we remove the hip displacement sensor and use only three measurements: the thigh, knee, and ankle angles. For our final test in this section, we will use only two measurements: the knee and ankle angles. Moreover, we will also compare the performance of the EKF and UKF for the state and GRF estimation. We use the same initial values for state and estimated state as used in the EKF for normal walking. We also test the performance of the filters with different gait speeds, and we will see that no extra filter tuning is needed for fast and slow walking.
The original discrete-time form of the UKF has been widely used for state estimation of discrete-time systems. However, the discrete-time UKF cannot be directly applied to continuous-time filtering problems, in which the process and measurement equations are modeled as continuous-time stochastic systems. In Ref. , the continuous-time UKF was derived from the discrete-time UKF in matrix form, and this is the algorithm that we implement here. The tuning parameters in the unscented transforms were chosen to be , β = 2, and .
Table 1 compares the accuracy of EKF state estimation in terms of the RMSE in three different gait modes (fast walk, normal walk, slow walk). The EKF works well for different walking speeds with a reduced measurement set. It can be seen, as expected, that for all three walking speeds, the estimation errors with four measurements are smaller than with three or two measurements.
Table 2 shows that the UKF achieves smaller RMS estimation errors than the EKF for almost all measurement sets and walking speeds. Table 3 summarizes the average performance of the EKF and UKF. We see that the UKF achieves 30% improvement in the average RMSE of GRFs with four measurements. Although the UKF performs better than the EKF, its computational effort is between two and three times that of the EKF in terms of the number of multiplications and additions .
Stability of the Extended Kalman Filter.
It has been shown that the estimation error in the continuous-time Kalman filter remains bounded under certain conditions. Small initial estimation errors and small noise magnitudes are required conditions to obtain error bounds. In this section, we study the stability of the state estimates of the robot/prosthesis system. First, we need to check that the Jacobian matrices in the robot/prosthesis system satisfy the uniform detectability condition of Definition 4.1. To find an appropriate , we assume that and solve for . Note that with our measurement system, is an identity matrix and is thus invertible. Therefore, the uniform detectability condition of Definition 4.1 is satisfied in the robotic/prosthesis system. To test the stability of the robotic/prosthesis EKF, the initial value and the measurement and process noise covariances R, Q are chosen as shown in Table 4, where
is a reasonably accurate initial condition for the state estimate, and we will see that it is good enough to ensure convergence of the EKF. is a significantly worse initial condition for the state estimate, and we will see that it is not good enough to ensure convergence of the EKF. The R and Q values in Table 4 have been chosen to demonstrate conditions that, respectively, ensure, or do not ensure, EKF convergence. These values for , and R and Q were chosen by trial and error to demonstrate their effect on EKF convergence.
The simulation results are presented in Figs. 5–7, where the unknown state in Eq. (8) (angular velocity of thigh), the estimated state , and its estimation error are plotted. We can see in Fig. 5 that for small initial estimation error and small noise, the estimation error is bounded. However, Figs. 6 and 7 show that for large initial estimation errors or large noise magnitudes, the estimation error is no longer bounded.
Extensive simulation tests show that boundedness of the estimation error is obtained in the numerical simulation if and . The theoretical results for ε and δ via Eqs. (B21) and (B24) from Appendix B yield smaller bounds for stability: and with . Since the estimation error does not diverge in practice even with larger initial condition errors and noise terms than those given by the theorem, we conclude that the bounds are very conservative in this system. However, we note that it is not possible to test all possible conditions that exceed the theoretical error bounds; therefore, we naturally expect the theoretical results to yield more conservative stability bounds than the simulation results.
We want the state to be estimated as accurately as possible for eventual implementation in a state-feedback controller. The controller that we used in this research is robust to estimation errors , although more accurate state estimates are always desirable in order to reduce controller errors. We have not explored the relationship between estimation error and controller error in this paper but leave it as an important area for future research.
Conclusion and Future Work
We designed an EKF and an UKF to estimate not only the states of a robot/prosthesis system but also the external forces acting on the prosthetic foot. This approach removes the need for heavy and bulky load cells that are otherwise needed for GRF estimation. We achieved satisfactory estimation errors in various gait speeds for the robot/prosthesis system using four, three, and two measurements. The average RMS estimation errors of the EKF for the thigh, knee, and ankle angles in normal walking with four measurements is 0.0033 rad, in comparison with that the UKF which is 0.0020 rad. Although the UKF outperforms the EKF, it requires more computational effort than the EKF, which will be a consideration for real-time implementation.
We proved mathematically that the estimation error in the EKF is exponentially bounded if the initial estimation errors and disturbances are sufficiently small and if the nonlinear system satisfies a detectability rank condition. In simulation tests, we verified that the estimation errors remained bounded for small initial estimation errors and small disturbances. However, the filter is unstable if the initial estimation errors or disturbances are too large.
As far as we know, the present research is the first time that GRF has been estimated for prostheses using state estimation techniques. As we noted in the introduction, some other methods have been used for external force estimation in robotics. For instance,  achieved a 1.72% estimation error for a 4DOF robot, compared to our results, which show a 1.85% error when using the EKF with four sensors during normal walking. Our results are, therefore, quantitatively similar to Ref. , although the comparison may not be fair since the robotic systems in the two approaches are much different. Other publications in the area of external force estimation do not include quantitative results [10,11,13].
Future work will include increasing and verifying the robustness of the filters, and experimental implementation and verification of the EKF and UKF, first on robotic hardware  and then in human trials.
• NSF Grant No. 1344954.
In summary, the assumptions of Lemma 4.1 Eqs. (27) and (28) are satisfied by Eqs. (B3) and (B22), where and . We conclude that the estimation error is exponentially bounded in mean square under the conditions in Eqs. (37)–(39).