Comparison of Nonlinear Receding Horizon and Kalman Filters For Longitudinal Slip Estimation
Comparison of Nonlinear Receding Horizon and Kalman Filters For Longitudinal Slip Estimation
1305
Abstract: Friction efforts are present in almost all mechanical applications, due to contact between bodies
and there are many important situations, in which they must be properly controlled. Among these, there
are tire contact forces, which is focus of many studies in autonomous vehicles and control applications on
vehicle systems, since the tire forces and moments are nonlinear and may be modelled as friction efforts.
Any control synthesis focused to optimize its performance must be associated to state estimators, since the
efforts depend on slip variables, as longitudinal slip and sideslip angle, and it is not possible to accurately
measure them. So, in this paper, two state estimation algorithms are evaluated: Extended Kalman Filter
(EKF) and Moving Horizon State Estimation (MHSE), which are applied to a quarter-car model for
longitudinal dynamics. It is presented that, for both traction and braking phases, the MHSE is more
accurate, since it takes explicitly into account the nonlinear model in the estimation process, independently
of Jacobian sensitivities to discontinuities as is the case here. So, it is demonstrated that the developed
estimator may be successfully associated to controllers with the objective of optimize tire performance in
traction and braking control.
Keywords: Extended Kalman Filter, Moving Horizon State Estimation, Tire Dynamics, Nonlinear Efforts,
Ground Vehicles
𝜔𝑟 − 𝑣 𝜔𝑟 𝑇𝑟 (1 + 𝜆) 𝑚𝑔𝑟 2
𝜆= = −1 (5) 𝜆̇ = − (𝜇(𝜆)𝑔 − 𝑐𝑣 2 ) − (𝜇(𝜆) + 𝑓𝑅 ) (10)
𝑣 𝑣 𝐽𝑣 𝑣 𝐽𝑣
We may note that during an acceleration, slip is positive, and 𝑣̇ = 𝜇(𝜆)𝑔 − 𝑐𝑣 2 (11)
during braking, it is negative and equation (5) demonstrate that 𝑣(1 + 𝜆)
λ must be on [-1,∞[. There are many formulations for the 𝜔= (12)
𝑟
relationship between µ and λ, as the Julien Theory (Lopes et
al., 2019), the Burckhardt model (Savaresi, 2005) and the For Kalman filter application, it was remarked that the
Magic Formula (Pacejka, 1992). All of them depends on many Jacobians of the nonlinear model should be defined. These
Jacobians correspond, respectively, to state and output 3. Residual covariance
matrices of a linear state space model. For longitudinal
dynamics, they are: 𝑆(𝑖 + 1) = 𝑅(𝑖) + 𝐻(𝑖)𝑃(𝑖 + 1|𝑖)𝐻(𝑖)𝑇 (20)
In a control application, it is not possible to always measure all The MHSE is most recent and have its development related to
states of the system. In these cases, an estimator must be Model Predictive Control, since there is a duality between
defined, with the objective of estimate all states in each instant, regulation and estimation processes (Alessandri, 2008). In this
based on output variables, that is, the measured ones. The method, the estimation of states in each instant of time is
existence of an estimator is conditioned to the observability of obtained by means a prediction of the states N instants before
the system, which indicates that all states may be observed by and the estimation of the states in this window of time using
means of the output variables. the dynamic model and the measured data. In this case,
continuous or discrete-time models may be used. The
In this work, two methods are explored: Extended Kalman algorithm of MHSE is:
Filter (EKF) and the Moving Horizon State Estimation
(MHSE). The Extended Kalman Filter is one of nonlinear 1. Prediction of states at t-N
applications of the Kalmar Filter, developed for linear systems
𝑥̅ (𝑡 − 𝑁|𝑡)
(Bar-Shalom et al., 2004). (27)
= 𝑓(𝑥̂(𝑡 − 𝑁 − 1|𝑡 − 1), 𝑢(𝑡 − 𝑁 − 1))
The EKF is applied to a discrete-time system, such as:
2. State estimation at t-N
𝒙(𝑖 + 1) = 𝒇(𝒙(𝑖), 𝒖(𝑖))
{ (16) 𝑥̂(𝑡 − 𝑁|𝑡)
𝑧(𝑖 + 1) = 𝒉(𝒙(𝑖 + 1))
= 𝑎𝑟𝑔𝑚𝑖𝑛 (𝜇‖𝑥̂(𝑡 − 𝑁|𝑡) − 𝑥̅ (𝑡 − 𝑁|𝑡)‖
Briefly, the algorithm for EKF is described on the sequence (28)
below, for a state estimate (𝑥̂(𝑖|𝑖)), that is the system state at 𝑡
sample i, estimated on sample i. It is important to remark that + ∑ ‖ℎ(𝑥̂(𝑖|𝑡)) − 𝑧(𝑖)‖)
the matrices P, R and Q must be initialized as diagonal types, 𝑖=𝑡−𝑁
with large traces, to assure the convergence of the filter.
3. State estimation at the horizon
1. Jacobians:
𝑥̂(𝑖 + 1|𝑡) = 𝑓(𝑥̂(𝑖|𝑖), 𝑢(𝑖)) 𝑖 = 𝑡 − 𝑁, … , 𝑡 − 1 (29)
𝜕𝑓
𝐹(𝑖) = (17) 4. State estimation at t
𝜕𝑥 𝑥=𝑥̂(𝑖 |𝑖 )
𝑇 = 𝑘𝑝 (𝑣𝑟𝑒𝑓 − 𝑣) (33)