Publication Cover
Vehicle System Dynamics
International Journal of Vehicle Mechanics and Mobility
Volume 62, 2024 - Issue 6
1,299
Views
0
CrossRef citations to date
0
Altmetric
Research Articles

An integrated path-tracking and control allocation method for autonomous racing electric vehicles

, , , , &
Pages 1517-1540 | Received 04 Mar 2022, Accepted 21 Jul 2023, Published online: 08 Aug 2023

Abstract

In recent years, path-tracking controllers for autonomous passenger vehicles and Control Allocation (CA) methods for handling and stability control have both received extensive discussion in the literature. However, the integration of the path-tracking control with CA methods for autonomous racing vehicles has not attracted much attention. In this study, we design an integrated path-tracking and CA method for a prototype autonomous racing electric vehicle with a particular focus on the maximising the turning speed in tight cornering. The proposed control strategy has a hierarchical structure to improve the computational efficiency: the high-level path-tracking Model Predictive Control (MPC) based on a rigid body model is designed to determine the virtual control forces according to the desired path and desired maximum velocity profile, while the low-level CA method uses a Quadratically Constrained Quadratic Programming (QCQP) formulation to distribute the individual control actuator according to the desired virtual control values. The proposed controller is validated in a high-fidelity simulation vehicle model with the computational time of the optimisation controller presented to demonstrate the real-time control performance.

1. Introduction

The autonomous vehicle has been considered as the next generation vehicle and has received increased attention in the recent literature. A vital part of the control architecture of an autonomous vehicle is around the path following control, which includes two parts: the high-level motion planner, which uses environmental sensing and perception techniques to determine a desired path and speed profile, and the low-level path-tracking controller which is designed to track the desired path with desired speed and maintain the vehicle dynamics stability. In this study, we focus on the low-level path-tracking controller.

Many of earlier studies about the path-tracking used a driver model to determine the steering control input [Citation1–5], then the study on path-tracking for driver model has been switched to autonomous passenger vehicle application recently [Citation6–11]. In order to track the desired path and minimise the lateral tracking error, Attia et al. utilised a Nonlinear Model Predictive Control (NMPC) to determine the control input of steering angle [Citation6]. In another study, based on the lateral tracking error, the H-infinity technique was applied to design the lateral tracking controller [Citation7]. Tagne et al. proposed a higher-order Sliding Mode Controller (SMC) for the reference path-tracking control, since the robustness of SMC can be beneficial to overcome the nonlinear terms of the vehicle model [Citation9].

In recent years, the independent wheel control in an over-actuated vehicle has been widely discussed in the vehicle dynamics and control literature. The independent wheel control provides redundant control actuators and is becoming popular due to the possibility of enhancing the performance of existing controller through the carefully design of Control Allocation (CA) strategy [Citation12]. It is also suggested that CA can improve the cornering response by shaping the under-steer characteristics and ensuring stability in limited-handing condition [Citation13]. Thus, integrating the CA strategy with path-tracking controller can greatly improve path-tracking and vehicle dynamics performance of autonomous vehicle with in-wheel motor, which has become a very attracting research area.

CA was originally used to control and allocate traction or brake toque of individual tire for the vehicle handling and stability control of traditional human-driving passenger vehicles [Citation14–18]. In recent years, quite a few approaches integrate path-tracking with CA based on Direct Yaw Control (DYC) for autonomous passenger vehicles [Citation19,Citation20]. Guo et al. proposed a Linear Time Varying (LTV) based MPC as the path-tracking controller to determine the steering angle and required yaw moment, then a low-level CA law is applied to distribute the individual wheel torque to achieve the required yaw moment [Citation19]. Wang et al. developed a modified Composite Nonlinear Feedback (CNF) controller to track the desired yaw rate and lateral velocity and then the required yaw moment control value is distributed to longitudinal tire force of individual wheel [Citation20]. In [Citation13], a hierarchical structure and a holistic structure of path-tracking controller is suggested and integrated with torque vectoring controller. In the above studies, a distribution of the DYC command on the individual wheel torque (also called torque vectoring) is applied. However, the CA problem can be extended to the distribution of the steering angle, motor driving torque, motor regenerating brake torque and hydraulic brake torque on the individual wheel. In this way, the redundant vehicle control actuators can be fully utilised to achieve the best control performance, but CA problem becomes more complex and requires a carefully designed CA strategy. In our previous study [Citation21], the hierarchical control structure is proposed by including high-level PID based path-tracking controller and low-level CA approach. The CA method can optimally distribute the individual wheel torque and front wheel steering angle. Nevertheless, the simple PID path-tracking controller can only track the desired path with fixed longitudinal speed, which cannot optimise the path-tracking with maximum cornering speed in racing scenario (without the help of MPC). Furthermore, the CA method still has not fully considered the control allocation of front and rear wheel steering angle, motor driving torque, motor regenerating brake torque and hydraulic brake torque of individual wheel.

MPC has been widely applied in the path-tracking control of autonomous passenger vehicles since the control performance can be greatly improved by MPC through the preview of the future road profile [Citation19,Citation22–27]. However, there are limited studies on the path-tracking control of the autonomous racing vehicles. Alcala et al. proposed a linear parameter varying (LPV) MPC for autonomous racing vehicles [Citation28]. The validation of the controller is based on the scaled electric vehicle and the vehicle speed is relatively low. It is questionable if the proposed controller can achieve good control performance for the high-speed full-sized autonomous racing vehicle. Similarly, Liniger et al. proposed a linearised MPC for the path-tracking of autonomous racing vehicle and an integrated MPC contouring control to achieve the combined path planning and path-tracking control, where the nonlinear bicycle model considering the longitudinal and lateral friction forces is modified as the LTV model [Citation29]. In order to improve the internal model accuracy of the MPC, the learning based MPC approaches are proposed in [Citation30]. The internal MPC model includes a nominal simple vehicle model and a self-learning model to improve the vehicle model accuracy. The major issue of this data-driven self-learning approach is the uncertain stochastic internal model will render the predicted state a random variable. This uncertainty will propagate throughout the whole prediction horizon, and the prediction model system may be unstable with a longer prediction horizon. Furthermore, the Gaussian Process Regression has been applied to train the self-learning model and the large number of training data points will significantly increase the computational burden.

In summary, in the current literature, the path-tracking controller design for autonomous racing vehicles is mainly based on the linearised MPC approach with simple internal model to improve the computational efficiency and guarantee the controller reliability. Although the self-learning MPC approach has been tried to improve the internal model accuracy, the reliability of this approach is questionable. Although CA and MPC approaches have been extensively applied in the path-tracking control for passenger vehicles, the integration of the path-tracking control and maximum speed control in tight cornering for the racing vehicle is less focused. The optimisation of redundant steering and driving actuators can greatly enlarge the working envelope of racing vehicles and push the racing vehicles close to the friction limit.

The aim of our study is to design an integrated path-tracking and CA method for a prototype autonomous racing electric vehicle in limited handling scenario, with the proposed method being able to satisfy the requirement for real-time implementation. The prototype vehicle under consideration has independent front- and rear-wheel steering, two hub motors with driving/regenerating braking capabilities on the two rear wheels, and one motor on the front axle that through an open differential equally distributes the driving/regenerating torque among the two front wheels. In addition, there are two independent hydraulic brake channels, one on the front axle and one on the rear axle of the vehicle, which is shown in Figure . Motivated by the above shortcomings in current literature, a hierarchical control structure of integrated path-tracking and CA method is presented in this study. In the high-level controller, a path-tracking MPC is proposed based on a rigid body vehicle model including the virtual control inputs of the total longitudinal, lateral force and yaw moment on the vehicle, while individual tire friction force and tire model are considered in the low-level controller and decoupled from high-level to improve the computational efficiency. This way a modular strategy is achieved, which can be easily modified and applied to most of the existing actuator structures of an electric vehicle.

Figure 1. The structure diagram of the complete control system.

Figure 1. The structure diagram of the complete control system.

The major contribution of this study can be summarised as follows. First, the proposed hierarchical controller applies the virtual forces and moment to performance high-level path-tracking motion and effectively move the effect of the actual friction tire forces in the lower CA level which also accounts for the various actuators. Secondly, the path-tracking MPC with prediction horizon is proposed based on a rigid body vehicle dynamics model, and the tire friction circle and maximum yaw moment constraints are included in the high-level MPC to guarantee the feasibility of the computed commands to be passed on the low-level CA. Furthermore, a two-layer CA method is proposed to control and allocate the various steering and driving actuators: the upper layer CA optimally distributes the individual longitudinal tire force and steering angle according to the desired virtual control values from the path-tracking controller, formulated as a Quadratically Constrained Quadratic Programming (QCQP) problem to improve the computational efficiency, while the lower layer rules-based method is designed to distribute the required individual longitudinal tire force into the individual motor and hydraulic brake torques. Finally, the time-efficient solver generated by Forces Pro is used to solve the high-level path-tracking MPC and optimisation problem of CA in low-level in this study, which can satisfy the requirement for real-time path-tracking control [Citation31]. It is noted that our study only focuses on the high-level path-tracking and low-level CA algorithm, and the detailed actuator model of the powertrain system is out of the scope and not considered in our study. The major novelty of our study can be suggested: (1) the path-tracking control and maximum speed control in tight cornering (through the offline pre-calculation of maximum cornering speed and the online speed control in MPC prediction horizon) are integrated together for the autonomous racing vehicle; (2) through more powerful in-wheel motor system and the potent racing tire (tire-road friction coefficient > 1), the proposed controller can fully utilise the potential of the racing vehicle and reach the acceleration limit; (3) in the high-level MPC path-tracking controller, the virtual total desired tyre force and yaw moment (yaw moment constraint is not well addressed in the literature) are constrained so that the low-level CA can successfully allocate individual actuators.

This paper is organised as follows: the high-level path-tracking MPC is presented in section II, then low-level CA strategy is introduced in section III, and finally simulation examples are used to validate the effectiveness of the proposed integrated control method in section IV.

2. High-level path-tracking MPC design

The proposed hierarchical controller includes the high-level path-tracking controller and low-level CA method. The high-level path-tracking MPC method tracks the desired path and velocity profile and sends the required virtual control forces into the low-level CA to distribute the individual control actuator value to the vehicle. Vehicle measurements are also used to feed back the necessary vehicle state values to the high-level and low-level controllers. The detailed structure of the complete control system is presented in Figure .

Figure 2. The structure diagram of the complete control system.

Figure 2. The structure diagram of the complete control system.

2.1 Vehicle dynamics model for high-level path-tracking MPC

In this section, a three degrees-of-freedom (DOF) rigid-body nonlinear dynamics model considering the combined longitudinal, lateral and yaw dynamics is used to design the path-tracking MPC. The virtual control inputs of total longitudinal tire force, lateral tire force and yaw moment are utilised to simplify the vehicle dynamics model. In addition, the yaw angle error and lateral tracking error are also included in the vehicle model to present the path-tracking performance [Citation20]. The 3 DOF vehicle model is presented by the following equations: (1a) v˙x=vyr+Fxdm(1a) (1b) v˙y=vxr+Fydm(1b) (1c) r˙=MzdIz(1c) (1d) ψ˙e=rκvx(1d) (1e) Y˙e=vxsinψe+vycosψe(1e) where vx,vy,r represent the vehicle longitudinal velocity, lateral velocity, and yaw rate, respectively, Iz and m are the moment of vehicle inertia in terms of yaw axis and vehicle mass, Fxd,Fyd,Mzd are total longitudinal tire force, lateral tire force and yaw moment, Ye and ψe are the vehicle lateral deviation and yaw angle error from the reference path and κ is the curvature of desired path.

2.2 The design of high-level path-tracking MPC

The general formulation of a nonlinear MPC can be presented as following equations by selecting the best control input to satisfy the cost function J: minx,uk=0N1J(xk,uk,pk)Subject to: xk+1=f(xk,uk,pk) (2a) k=0,1,N1(2a) (2b) xkXk=1,N1(2b) (2c) x0=x(t)(2c) where N is the horizontal number of predicted time steps, xk is the predicted vehicle state in the prediction horizon and uk is the predicted control input, f(xk,uk,p) in equation (2a) is the nonlinear system prediction model, which is the discrete formulation of nonlinear dynamics system (1) and is formulated in (4) and p is the external changing parameters determined outside of MPC. The boundary constraints of vehicle states are presented in (2b) while the initial values x0 can be determined by the measured feedback state values at current time t.

  1. External parameters p

The external parameters of MPC include the curvature of desired path p1=κ and desired longitudinal velocity of vehicle in the body-fixed coordinate system p2=vxd. Since this study only focuses on the path-tracking controller design, it can be simply assumed the desired path and the curvature of desired path are already known. The desired longitudinal velocity is determined by an optimal velocity profile which can be pre-calculated offline or online as part of the motion planning algorithm. Note that the optimal velocity profile calculated offline and applied in this study can make the autonomous vehicle travel along the desired path with maximum acceleration and minimum time [Citation32].

The MPC design has N steps prediction horizon, determined as: (3) κk=κ(Xd(t)+vxkTs)k=0,1,N1(3) where Xd(t) is the vehicle current time (t) travelling distance along the desired path. vx is the feedback vehicle velocity and Ts is the sampling time of discrete-time vehicle model (2a).

  1. Nonlinear prediction model

The nonlinear prediction model (2a) is determined by converting the nonlinear continuous dynamics model (1) into discrete form: (4a) vx,k+1=vx,k+Ts(vy,krk+Fxd,km)(4a) (4b) vy,k+1=vy,k+Ts(vx,krk+Fyd,km)(4b) (4c) rk+1=rk+TsMzd,kIz(4c) (4d) Fxd,k+1=Fxd,k+TsF˙xd(4d) (4e) Fyd,k+1=Fyd,k+TsF˙yd(4e) (4f) Mzd,k+1=Mzd,k+TsM˙zd(4f) (4g) ψe,k+1=ψe,k+Ts(rkp1,kvx,k)(4g) (4h) Ye,k+1=Ye,k+Ts(vx,ksinψe,k+vy,kcosψe,k)(4h) where the model states xk=[vx,k;vy,k;rk;Fxd,k;Fyd,k;Mzd,k;ψe,k;Ye,k]T, and the control inputs uk=[F˙xd,k;F˙yd,k;M˙zd,k]k. It should be noted that in (4) the control inputs have been revised as the change rate of total desired longitudinal tire force, lateral force and yaw moment to reduce the oscillation of control inputs and improve the stability of control performance.

  1. Cost function

The control targets of proposed MPC include the minimisation of yaw angle error and lateral deviation from desired path and achieving the desired target speed. The detailed mathematical presentation of the cost function can be presented as following: (5) J=k=0N1Qv(vxd,kvx,k)2+Qψ(ψe,k)2+QY(Ye,k)2+ukTQuuk+Qs1s12+Qs2s22(5) where Qv, Qψ, QY are scaling factors corresponding to the cost function terms of the longitudinal velocity tracking error, yaw angle tracking error and lateral deviation tracking error. Qu is a 3-by-3 diagonal matrix which include the relative penalties on the control effort. Qs1 and Qs2 are penalties on the soft constrains s1 and s2. In order to achieve good control performance, all the scaling factors in cost function are normalised and written in discrete-time form: (6a) Qv=qvTs(vxm)2(6a) (6b) Qψ=qψTs(ψem)2(6b) (6c) QY=qYTs(Yem)2(6c) (6d) Qu=[qu1(dFxm)2000qu2(dFym)2000qu3(dMzm)2](6d) (6e) Qs1=qs1Ts(s1m)2(6e) (6f) Qs2=qs2Ts(s2m)2(6f) where vxm, ψem and Yem are nominal values of longitudinal velocity, yaw angle error and lateral deviation, respectively. dFxm,dFym,dMzm are nominal values of change rate of desired longitudinal force, desired lateral force and yaw moment. s1m and s2m are nominal values of soft constraints. qv,qψ,qY,qu1u3,qs1s2 are scaling values of each term, which need to be tuned as the following procedure. First the weighting of penalties terms qu1u3, qs1s2 are tuned and fixed. Then qv,qψ,qY related to velocity error, yaw angle error and lateral deviation can be tuned individually based on the relative importance of individual term.

  1. Constraints

Equations (2b) suggests that states should satisfy certain constraints. Specifically, the total desired longitudinal and lateral tire force should satisfy the friction circle limit: (7) Fxd,k2+Fyd,k2s12(μmg)2(7) where μ is the tire-road friction coefficient and g is the constant of gravitational acceleration. The tyre-road friction coefficient can be assumed to be known through friction coefficient estimators [Citation33].

The desired yaw moment is also constrained by its upper and lower limit: (8a) Mzd,kMzmaxs220(8a) (8b) Mzd,kMzmins220(8b) The total desired yaw moment includes the yaw moment induced by the longitudinal force Mxz and lateral force Myz. Since longitudinal and lateral vehicle forces are coupled by friction limit, it is quite hard to determine the analytical solution of total yaw moment limit. Thus, in this study, a look-up table is built to explore the whole working envelope and determine the yaw moment limit, which is presented in Table . In Table , δsf and δsr are the searching increments of front-wheel and rear-wheel steering angle. It is also noticed the soft constraints s1 and s2 are applied in constraints (7, 8) to prevent the optimisation solver reaching an infeasible solution.

Table 1. Algorithm to calculate the yaw moment limit.

In order to improve the computational efficiency and satisfy the needs of real-time optimisation, the above ΝMPC problem can be linearised and solved using the fast NLP solver developed by Forces Pro [Citation34], the detailed solving method is explained in Appendix B.

2.3 The high-level feedback path-tracking controller

In order to have the comparative study with our proposed MPC strategy, a high-level feedback path-tracking controller is presented here to calculate the desired total tire force and yaw moment [Citation35]. The desired total longitudinal tire force can be calculated as: (9a) Fxd=m(rvy+v˙xdk1e1)(9a) where e1=vxvxd, k1>0. v˙xd is the desired longitudinal acceleration and can be assumed as zero. Since the specific longitudinal acceleration target is not set in our study, we just set the desired longitudinal acceleration as zero to minimise the velocity change and improve the comfort during the desired speed tracking. The desired total lateral tire force can be calculated as: (9b) Fyd=mcosψe[(v˙xsinψe+(rκdvx)(vxcosψevysinψe))+vxrcosψek2(vxsinψe+vycosψe)k3Ye](9b) where k2>0 and k3>0. The desired yaw moment can be calculated as: (9c) Mzd=[k4(rκdvx)k5ψe+r˙d]Iz(9c) where r˙d is the desired yaw acceleration, which is assumed as 0 to improve the yaw stability of the vehicle. k4>0 and k5>0.

3. Low-level control allocation design

After the virtual control input u=[Fxd;Fyd;Mzd] has been determined by the upper-level MPC, the low-level CA optimisation algorithm is designed to control and allocate the individual actuator to achieve the desired virtual control force. In this study, the low-level CA algorithm is designed assuming a steer-by-wire and brake-by-wire architecture. The powertrain system includes a motor with an open differential on the front axle and two hub motors attached to the rear wheels. Two independent hydraulic brake channels are also present on the front and rear axle, respectively. Finally, the steering system can control the front- and rear-wheel steering independently.

3.1 Vehicle dynamics model for low-level CA

In this study, the design of low-level CA method are based on a two-track vehicle dynamics model. This model is more complex than the rigid-body dynamics model (1) and considers the individual wheel tire forces [Citation36]. Note that the suspension and roll and pitch dynamics are neglected, a reasonable assumption for the on-road autonomous vehicle used in this paper.

The longitudinal motion is defined by: (10a) mv˙x=mvyr+i=f,rj=l,rFxij(10a) the lateral motion: (10b) mv˙y=mvxr+i=f,rj=l,rFyij(10b) and the yaw motion: (10c) Izr˙=lf(Fyfl+Fyfr)lr(Fyrl+Fyrr)+bf2(FxflFxfr)+br2(FxrlFxrr)(10c) where Fxij and Fyij are longitudinal tire force and lateral tire force of individual wheel in the body-fixed coordinate system, ij=fl,fr,rl,rr represent the front left, front right, rear left and rear right wheels respectively, lf and lr are the front and rear wheel base lengths, while bf and br are the front and rear track widths.

The longitudinal and lateral tire force of individual wheel can be determined by the following equations: (11a) Fxij=FtijcosδijFsijsinδij(11a) (11b) Fyij=Ftijsinδij+Fsijcosδij(11b) where Ftij and Fsij are tire traction/brake force and side force of individual wheel in the wheel-centred coordinate system. For the front and rear wheel independent steering vehicle, δfl=δfr=δf and δrl=δrr=δr. The individual lateral tire force can be calculated by the following equations: (12a) Fsfl=Cαfαfl=Cαf[δftan1(lfr+vyvx0.5bfr)](12a) (12b) Fsfr=Cαfαfr=Cαf[δftan1(lfr+vyvx+0.5bfr)](12b) (12c) Fsrl=Cαrαrl=Cαr[δr+tan1(lrrvyvx0.5brr)](12c) (12d) Fsrr=Cαrαrr=Cαr[δr+tan1(lrrvyvx+0.5brr)](12d) where Cαf and Cαr are cornering stiffness of front tire and rear tire, respectively. The individual longitudinal tire force can be determined by the wheel dynamics equation, assuming the wheel acceleration is zero: (13) Ftij=TijRω(13) where Rω is the wheel radius and Tij is the traction or brake torque of each wheel.

3.2 Low-level CA design

The proposed low-level CA includes two layers: in the first layer, the individual longitudinal force and steering angle are optimally distributed according to desired virtual control input; in the second layer, the distributed individual longitudinal tire forces are mapped to individual motor torque and hydraulic brake torque. When the vehicle is braking, in terms of the energy saving, we would like to try to use the negative motor torque as much as possible. After the negative motor torque reaches the maximum value, the friction brake is used to compensate the remaining required negative brake torque. This mapping strategy in the second layer can be easily achieved by a simple rule-based method. We designed this hierarchical structure to separate the first layer QCQP optimisation and the second layer rule-based method to improve the computational efficiency.

  1. The first layer of CA method

According to the total virtual control force and based on the vehicle dynamics model (10)-(13), the CA equation can be presented as followings: (14a) i=1,2,3ui=Fxd(14a) (14b) Cαf(2u4αfldαfrd)+Cαr(2u5+αrld+αrrd)=Fyd(14b) (14c) 12bru2+12bru3+lfCαf(2u4αfldαfrd)lrCαr(2u5+αrld+αrrd)=Mzd(14c) where the allocated control actuator input u1=Ftf, u2=Ftrl, u3=Ftrr, u4=δf and u5=δr. It can be noticed from Equation (Equation13) that the steering angle in tire force mapping Equation (Equation10) is considered as very small value, so FxiFti and FyiFsi. αfld,αfrd,αrld,αrrd can be determined from (11): (15) αid=f(δf,δr,vxd,vyd,rd)(15) where vyd is the desired lateral velocity and is assumed zero to minimise the undesired side-slip angle and vxd and rd are the desired longitudinal and yaw rate, as determined in the high-level MPC.

In addition, the control actuation input u15 should also satisfy the actuation constraints. First, the individual control actuator has its physical constraint, which is mathematically presented as follows: (16a) u13TdmaxRω(16a) (16b) θminu4θmax(16b) (16c) θminu5θmax(16c) where Tdmax represents the maximum driving toque of the individual motor, and θmin, θmax are the minimum and maximum steering angle respectively. Then the friction circle constraint should also be considered to show the maximum available friction force of each tire: (17a) 0.25u12+Cαf2(u4αfld)2(μFzfl)2(17a) (17b) 0.25u12+Cαf2(u4αfrd)2(μFzfr)2(17b) (17c) u22+Cαr2(u5+αrld)2(μFzrl)2(17c) (17d) u32+Cαr2(u5+αrrd)2(μFzrr)2(17d) where Fzfl, Fzfr, Fzrl, Fzrr are the vertical loads on the wheels. Considering load transfer effects, the vertical load of each wheel can be estimated by the following equations [Citation37]: (18a) Fzfl=mlf+lr(12glr12(v˙xvyr)hlrbf(v˙y+vxr)h)(18a) (18b) Fzfr=mlf+lr(12glr12(v˙xvyr)h+lrbf(v˙y+vxr)h)(18b) (18c) Fzrl=mlf+lr(12glf+12(v˙xvyr)hlfbr(v˙y+vxr)h)(18c) (18d) Fzrr=mlf+lr(12glf+12(v˙xvyr)h+lfbr(v˙y+vxr)h)(18d) where h is the distance of the vehicle Centre of Gravity (CG) from the ground. It is noted that the accelerations v˙x and v˙y and yaw rate r can be obtained from an Inertial Measurement Unit (IMU), and the measurement signals of vx and vy are available through the Global Positioning System (GPS) unit.

In order to solve the CA problem (14-18), the optimisation problem can be designed to minimise the virtual input error and the cost of using the control actuators: (19a) minui(for i=1,2,3,4,5)J=(τRHSBu(k+j))TQ1(τRHSBu(k+j))+u(k+j)TQ2u(k+j)(19a) The cost function (19a) can be re-written in the following QCQP form: (19b) minui(for i=1,2,3,4,5)Ju(k+j)T(BTQ1B+Q2)u(k+j)+(2BQ1τRHS)u(k+j)(19b) s.t. (19c) [u1u4]T[0.2500Cαf2][u1u4]+[02αfldCαf2][u1u4](μFzfl)2(Cαfαfld)2(19c) (19d) [u1u4]T[0.2500Cαf2][u1u4]+[02αfrdCαf2][u1u4](μFzfr)2(Cαfαfrd)2(19d) (19e) [u2u5]T[100Cαr2][u2u5]+[02αrldCαr2][u2u5](μFzrl)2(Cαrαrld)2(19e) (19f) [u3u5]T[100Cαr2][u3u5]+[02αrrdCαr2][u3u5](μFzrr)2(Cαrαrrd)2(19f) where uT=[u1u2u3u4u5],B=[111000002Cαf2Cαr00.5br0.5br2lfCαf2lrCαr] τRHS=[FxFy+Cαf(αfld+αfrd)Cαr(αrld+αrrd)Mz+lfCαf(αfld+αfrd)+lrCαr(αrld+αrrd)],

Note also that the boundary constraint (16) should be satisfied. Q1 and Q2 are the diagonal weighting matrices on the virtual control error and control effort respectively. Q1=diag[q11;q12;q13], q11>0,q12>0,q13>0, where q11 is the weighting factor for achieving the desired total longitudinal tire force, q12 is the weighting factor for achieving the desired total lateral tire force, q13 is the weighting factor for achieving the desired yaw moment; Q2=diag[q21;q22;q23;q24;q25], q21>0, q22>0, q23>0, q24>0, q25>0, where q21 is the weighting factor for penalising the allocated total front tire longitudinal force, q22 is the weighting factor for penalising the allocated rear left tire longitudinal force, q23 is the weighting factor for penalising the allocated rear right tire longitudinal force, q24 is the weighting factor for penalising the allocate front wheel steering angle, q25 is the weighting factor for penalising the allocate rear wheel steering angle. In order to achieve the good control performance, the weightings of q11,q12,q13 are set as much bigger than the weightings of q21,q22,q23,q24,q25.

In order to improve the computational efficiency and satisfy the needs for real-time CA optimisation, the above QCQP problem can be solved by the time-efficient solver based on Primal Dual Interior Point (PDIP) method in Forces Pro [Citation38] in appendix A.

  1. The second layer of CA method

In the second layer of CA, the allocated individual longitudinal force from first layer is mapped into the individual motor torque or hydraulic brake torque. The mapping strategies of front axle and rear axle are presented in Figure (a,b), respectively. The main idea of the mapping strategy is trying to use the electric motor as much as possible (as electric motor can generate both traction torque and regenerated brake torque). If the electric motor cannot generate enough brake torque, the hydraulic brake will compensate the brake torque. In Figure (a), Tmf and Tbf represent the electric motor torque and hydraulic brake torque on the front axle respectively. Tmfmin and Tmfmax are the motor torque limit. In Figure (b), Tmrl and Tmrr are electric motors of rear left and rear right wheel and Tbr is the hydraulic brake torque on the rear axle. Tmrlmin,Tmrlmax, Tmrrmin and Tmrrmax are the motor torque limits. It is noted that constraints (16a) in first layer of CA has guaranteed u1TmfmaxRω, u2TmrlmaxRω and u3TmrrmaxRω, which is the precondition in Figure .

Figure 3. The allocation of motor torque and hydraulic brake toque (a) front axle (b) rear axle.

Figure 3. The allocation of motor torque and hydraulic brake toque (a) front axle (b) rear axle.

4. Simulation results

In this section, the proposed hierarchical path-tracking controller is validated using a high-fidelity vehicle dynamics model in CarMaker. The vehicle model is built based on an autonomous test platform developed by Delta Motorsport Limited. Specifically, the software simulation environment to test the optimisation control strategy is the jointed simulation of Matlab Simulink, Forces Pro optimisation solver and IPG CarMaker. The vehicle plant model and simulation environment (road and surrounding environment) are implemented in IPG CarMaker, and the high-level MPC controller and low-level control allocation method are implemented based on Matlab Simulink and Forces Pro optimisation solver (a Simulink optimisation code package). The IPG CarMaker based vehicle plant model and Simulink based optimisation strategy are integrated together through the CarMaker-Simulink co-simulation. The computer hardware to run the simulation is a IBM Thinkpad laptop (Intel(R) Core(TM) i7-5500U CPU @ 2.40 GHz and 8 GB RAM).

The simulation scenario chosen on the Silverstone racetrack, and the autonomous vehicle is trying to track the road center-line. The velocity profile with minimum-time solution along the whole racetrack is pre-calculated offline. Both the desired path and velocity profile are inputted into the hierarchical controller, and the controller distributes the steering and driving control inputs into the CarMaker vehicle model. The CarMaker model also provides the necessary information on the state values which can be then fed back to the hierarchical controller. The main vehicle parameters are presented in Table .

Table 2. Main parameters of Carmaker model.

A particular s-curve section of Silverstone track is selected to present the control performance of proposed controller. In order to find out the best sampling time and prediction horizon of the proposed high-level path-tracking MPC, the sensitivity analysis on different sampling time and prediction horizons (sampling time = 0.05, 0.075 s; prediction time = 2s, 4s, 6s) is carried out by comparing the path-tracking performance and velocity-tracking performance. When sampling time and prediction time are 0.05 and 2 s. respective, the best control performance can be achieved. Thus, the simulation results below are presented by using sampling and prediction time of 0.05 and 2 s. The control performance of the proposed CA (‘MPC + CA’) in the low-level is compared with two other, simpler vehicle configurations: the CA method without rear-wheel steering is simply presented as ‘MPC + CA without RS’ and the CA method without torque vectoring is presented as ‘MPC + CA without TV’. It is noted that for the ‘MPC + CA without RS’, the weighting value related to rear-wheel steering angle in Q2 is adjusted to disable the rear-wheel steering in (19). For the ‘MPC + CA without TV’, the B matrix is adjusted to assume the motor torque is equally distributed among two rear wheels in (19). In order to show the advantage of proposed high-level MPC, the simulation results of a high-level feedback path-tracking controller in (8) and proposed low-level CA method are also presented as ‘FB + CA’ in following figures. Figure (a) shows the desired path. Figure (b) presents the path-tracking performance and Figure (c) shows velocity tracking performance of different methods. According to Figure (b), ‘MPC + CA’ has the smallest lateral tracking error compared with ‘MPC + CA without TV’, ‘MPC + CA without RS’ and ‘FB + CA’. Figure (c) demonstrates that ‘MPC + CA’ and ‘FB + CA’ can fast track the desired longitudinal velocity profile though the online optimisation and achieve the maximum cornering speed, while other two methods both show a certain level of delay. Figure shows the total normalised acceleration, which is calculated by the following equation: (20) a¯=ax2+ay2μg(20) where ax and ay are actual longitudinal and lateral acceleration, respectively. It can be observed from Figure that the ‘MPC + CA’ and the ‘MPC + CA without TV’ have larger normalised acceleration than ‘MPC + CA without RS’, which means that CA and CA without TV can take greater usage of tire force to achieve the limit-handling performance. The normalised acceleration of ‘FB + CA’ shows big spike, which causes the sudden increase of tracking error in Figure (b) and suggests the less stability of high-level feedback controller compared with MPC. It should be noted that the normalised acceleration limit is larger than 1 in this study because a more ‘potent’ tire model is assumed.

Figure 4. The tracking performance in the simulation (left) desired path (middle) lateral path-tracking error (right) velocity-tracking performance.

Figure 4. The tracking performance in the simulation (left) desired path (middle) lateral path-tracking error (right) velocity-tracking performance.

Figure 5. The normalised acceleration in the simulation.

Figure 5. The normalised acceleration in the simulation.

In Figure , the simulation results of robustness analysis on proposed ‘MPC + CA’ controller are presented. First, it is assumed that the friction coefficient can not be estimated accurately. Figure compares the path-tracking error and longitudinal velocity tracking error when the estimated friction coefficient is 1 and 0.7, respectively (the actual value is 1). When the friction coefficient is wrongly estimated as 0.7, the path-tracking error is relatively larger. This is because the actual total acceleration is larger than the wrongly estimated friction limit in low-level CA and the control allocation performance is compromised. Nevertheless, the path-tracking error is still acceptable as it is smaller than 0.5 m. Secondly, the measurement white noise of the longitudinal acceleration (variance is 0.03 m/s2), lateral acceleration (variance is 0.06 m/s2) and yaw rate (variance is 0.0003 rad/s) are considered in the simulation and the control performance is similar as the results when the measurement noise is not considered. In general, Figure suggests that the proposed ‘MPC + CA’ controller has good robustness performance.

Figure 6. The robustness analysis of the proposed control strategy

Figure 6. The robustness analysis of the proposed control strategy

Figure shows the tire forces and yaw moment performance for different controllers. It can be seen in Figure that the desired longitudinal force and yaw moment are tracked quite well. The desired lateral force is much smaller than actual values. This is because the desired lateral tire force is calculated based on the lateral position tracking error, the small desired lateral force suggests that the vehicle has good lateral tracking performance. Figure (a) suggests that the total longitudinal tire forces of ‘MPC + CA without RS’ are much smaller than ‘MPC + CA’ and ‘MPC + CA without TV’, which can be the reason why ‘MPC + CA without RS’ have worse longitudinal velocity tracking performance compared to the other two strategies. According to Figure (b), the ‘MPC + CA without RS’ shows smaller total lateral tire force since the vehicle can only achieve front-wheel steering and the total available lateral tire force that can be generated is reduced. Figure (d) shows that ‘MPC + CA without TV’ cannot generate additional torque-vectoring yaw moment. Figures (a,b,d) demonstrate that the total forces and the additional torque-vectoring yaw moment in the case of the ‘MPC + CA’ are larger than the other methods and consequently the overall path-tracking and velocity-tracking performance is the best amongst the controllers. The CA without TV disables the torque vectoring function and cannot generate additional controlled yaw moment when the vehicle is making the sharp turning as shown in Figure (d), so the tracking performance is compromised as shown in Figure . The CA without RS disables the rear-wheel steering function and limits the available total lateral tire force so the tracking performance is also compromised (as shown also in Figure ). Finally, Figure (a-d) suggest that tire forces and yaw moment of ‘FB + CA’ method shows big spike during the sharp turning, which cause the compromised path-tracking performance.

Figure 7. The actual tire force and yaw moment in the simulation (a) total longitudinal force (b) total lateral force (c) total yaw moment (d) torque vectoring yaw moment.

Figure 7. The actual tire force and yaw moment in the simulation (a) total longitudinal force (b) total lateral force (c) total yaw moment (d) torque vectoring yaw moment.

Figure compares the torque outputs of the three motors. The torques from two rear hub motors of ‘MPC + CA’ and ‘FB + CA’ in Figures (a,d) and ‘MPC + CA without RS’ in Figure (c) show obvious torque vectoring performance. Figure suggests that the steering angles from the ‘MPC + CA’ and ‘MPC + CA without TV’ are larger than ‘MPC + CA without RS’, which is consistent with the results for the total lateral force in Figure (b). In Figure (c), the rear wheel steering angle of ‘MPC + CA without RS’ is zero. Figure (d) shows the steering angles of ‘FB + CA’ is much bigger than other methods, which impairs the stability of the vehicle.

Figure 8. The motor torque in the simulation (a) MPC + CA (b) MPC + CA without TV (c) MPC + CA without RS (d) FB + CA.

Figure 8. The motor torque in the simulation (a) MPC + CA (b) MPC + CA without TV (c) MPC + CA without RS (d) FB + CA.

Figure 9. The wheel steering angle in the simulation (a) MPC + CA (b) MPC + CA without TV (c) MPC + CA without RS (d) FB + MPC.

Figure 9. The wheel steering angle in the simulation (a) MPC + CA (b) MPC + CA without TV (c) MPC + CA without RS (d) FB + MPC.

In order to validate the real-time performance of the proposed hierarchical controller, the solving time of high-level path-tracking MPC and low-level CA method are presented in Figure . Since the sampling time of the proposed controller is 0.05s, the solving time in Figure is smaller than 0.05 s and demonstrates that the real-time computational requirement can be satisfied. It is noted that the high-level MPC solver takes longer time to find a solution around 2, 5.5, 17, 19 and 21.5 s. The reason behind this is more iterations are required for the solver to find the optimal solution, or even the optimal solution cannot be found within the max iteration and only the sub-optimal solution is found. It is also noted that unlike the high-level MPC controller which required to solve the MPC optimisation problem in prediction steps, the low-level CA controller only need to solve the standard QCQP optimisation problem without the prediction model. So the optimisation solving time of low-level controller is much smaller than the high-level controller.

Figure 10. The solving time of CA in the simulation.

Figure 10. The solving time of CA in the simulation.

In the literature, the execution time of MPC path-tracking controller [Citation39] based on vehicle lateral dynamics is 100 ms with the prediction steps of 20. Wang et al. suggests a classic Linear-Time-Varying (LPV) MPC based on a 3 DOF nonlinear vehicle dynamics model including the Brush tyre model and the analysis on the computational efficiency is carried out [Citation40]. They set the sampling time as 50 ms (The execution time is close to 50 ms) with the time steps of 14. For our designed two-layer MPC, the execution time is around 20 ms with time steps of 40, which shows better computational efficiency compared with above two holistic MPC approaches.

5. Conclusion

In this study, a hierarchical two-level integrated path-tracking and CA controller is designed. The high-level path-tracking controller is composed by on a nonlinear rigid body dynamics model and low-level CA is designed using a QCQP formulation. The major findings can be summarised as follows:

  1. By selecting the best sampling time of 0.05 s and prediction time of 2 s, and reduce the lateral tracking error within 0.5 m with maximum cornering speed during limit handling scenario in the suggested simulation platform, and shows better performance than a benchmark feedback path-tracking controller.

  2. The proposed low-level CA method fully utilizes torque vectoring of two rear motors and front and rear-wheel independent steering, and the path-tracking and velocity-tracking performance are improved when compared with a controller without torque vectoring or a controller without rear-wheel steering.

  3. The total solving time of high-level MPC and low-level CA is smaller than the sampling time for the whole strategy, which shows that the proposed method can be implemented in real-time.

In future work, the real-time performance will be tested on a real-time target machine (such as dSpace or Speedgoat) before deploying the final solution on the autonomous test platform.

Disclosure statement

No potential conflict of interest was reported by the author(s).

Correction Statement

This article has been republished with minor changes. These changes do not impact the academic content of the article.

Additional information

Funding

This work was supported by Innovate UK through AID-CAV project.

References

  • Markkula G, Benderius O, Wolff K, et al. A review of near collision driver behavior models. Hum Factors. 2012;54(6):1117–1143. doi:10.1177/0018720812448474
  • Edelmann J, Pl¨ochl M, Reinalter W, et al. A passenger car driver model for higher lateral accelerations. Veh Syst Dyn. 2007;45(12):1117–1129. doi:10.1080/00423110701203644
  • Chatzikomis C, Spentzas KN. A path-following driver model with longitudinal and lateral control of vehicle’s motion. Eng Res. 2009;73(4):257–266. doi:10.1007/s10010-009-0112-5
  • Plochl M, Edelmann J. Driver models in automobile dynamics application. Veh Syst Dyn. 2007;45(7–8):699–741. doi:10.1080/00423110701432482
  • Sharp RS, Casanova D, Symonds P. A mathematical model for driver steering control, with design, tuning and performance results. Veh Syst Dyn. 2000;33:289–326. doi:10.1076/0042-3114(200005)33:5;1-Q;FT289
  • Attia R, Orjuela R, Basset M. Combined longitudinal and lateral control for automated vehicle guidance. Veh Syst Dyn. 2014;52(2):261–279. doi:10.1080/00423114.2013.874563
  • Roselli F, Corno M, Savaresi SM, et al. H-infinity control with look-ahead for lane keeping in autonomous vehicles. Proc. IEEE Conf. Control Technol. Appl, 2017, pp. 2220–2225.
  • Falcone P, Borrelli F, Asgari J, et al. Predictive active steering control for autonomous vehicle systems. IEEE Trans Control Syst Technol. May 2007;15(3):566–580. doi:10.1109/TCST.2007.894653
  • Tagne G, Talj R, Charara A. Higher-order sliding mode control for lateral dynamics of autonomous vehicles, with experimental validation. Proc. IEEE Intell. Veh. Symp, 2013, pp. 678–683.
  • Gao Y, Cao DP, Shen YH. Path-following control by dynamic virtual terrain field for articulated steer vehicles. Veh Syst Dyn. 2019;58:1–25. doi:10.1080/00423114.2019.1648837
  • Guo HY, Liu J, Cao DP, et al. Dual-envelop-oriented moving horizon path tracking control for fully automated vehicles. Mechatronics. 2018;50:422–433. doi:10.1016/j.mechatronics.2017.02.001
  • De Castro R, Tanelli M, Araújo RE, et al. Minimum-time path-following for highly redundant electric vehicles. IEEE Trans Control Syst Technol. 2015;24(2):487–501. doi:10.1109/TCST.2015.2458773
  • Chatzikomis C, Sorniotti A, Gruber P, et al. Comparison of path tracking and torque-vectoring controllers for autonomous electric vehicles. IEEE Trans Intell Veh. 2018;3(4):559–570. doi:10.1109/TIV.2018.2874529
  • Fujimoto H, Maeda K. Optimal yaw-rate control for electric vehicles with active front-rear steering and four-wheel driving-braking force distribution. Proc. 39th Annu. Conf. IEEE Ind. Electron. Soc., 2013, pp. 6514–6519.
  • Tjønnås J, Johansen TA. Stabilization of automotive vehicle using active steering and adaptive brake control allocation. IEEE Trans Control Syst Technol. 2010;18(3):545–558. doi:10.1109/TCST.2009.2023981
  • Wang J, Longoria RG. Coordinated and reconfigurable vehicle dynamics control. IEEE Trans Control Syst Technol. 2009;17(3):723–732. doi:10.1109/TCST.2008.2002264
  • Chen Y, Wang J. Adaptive energy-efficient control allocation for planar motion control of over-actuated electric ground vehicles. IEEE Trans Control Syst Technol. 2014;22(4):1362–1373. doi:10.1109/TCST.2013.2287560
  • Li B, Du H, Li W, et al. Integrated dynamics control and energy efficient optimization for overactuated electric vehicles. Asian J Control. 2018;20(5):1952–1966. doi:10.1002/asjc.1686
  • Guo J, Luo Y, Li K, et al. Coordinated path-following and direct yaw-moment control of autonomous electric vehicles with sideslip angle estimation. Mech Syst Signal Process. 2018;105:183–199. doi:10.1016/j.ymssp.2017.12.018
  • Wang R, Hu C, Yan F, et al. Composite nonlinear feedback control for path following of four-wheel independently actuated autonomous ground vehicles. IEEE Trans Intell Transp Syst. 2016;17(7):2063–2074. doi:10.1109/TITS.2015.2498172
  • Li B, Siampis E, Lin C, et al. A time-efficient integrated path-tracking and control allocation method for autonomous electric vehicle. 2019 IEEE 58th Conference on Decision and Control (CDC), pp.6700-6705, 2019.
  • Ji J, Khajepour A, Melek WW, et al. Path planning and tracking for vehicle collision avoidance based on model predictive control with multiconstraints. IEEE Trans Veh Technol. 2017;66(2):952–964. doi:10.1109/TVT.2016.2555853
  • Raffo GV, Gomes GK, Normey-Rico JE, et al. A predictive controller for autonomous vehicle path tracking. IEEE Trans Intell Transport Syst. 2009;10(1):92–102. doi:10.1109/TITS.2008.2011697
  • Kim W, Kim D, Yi K, et al. Development of a path-tracking control system based on model predictive control using infrastructure sensors. Veh Syst Dyn. 2012;50(6):1001–1023. doi:10.1080/00423114.2011.597864
  • Kim E, Kim J, Sunwoo M. Model predictive control strategy for smooth path tracking of autonomous vehicles with steering actuator dynamics. Int J Automot Technol. Dec, 2014;15(7):1155–1164. doi:10.1007/s12239-014-0120-9
  • Peng H, Wang W, An Q, et al. Path tracking and direct yaw moment coordinated control based on robust MPC with the finite time horizon for autonomous independent-drive vehicles. IEEE Trans Veh Technol. 2020;69(6):6053–6066. doi:10.1109/TVT.2020.2981619
  • Zhang B, Zong C, Chen G, et al. Electrical vehicle path tracking based model predictive control with a Laguerre function and exponential weight. IEEE Access. 2019;7:17082–17097. doi:10.1109/ACCESS.2019.2892746
  • Alcalá E, Puig V, Quevedo J, et al. Autonomous racing using linear parameter varying-model predictive control (lpv-mpc). Control Eng Pract. 2020;95:104270. doi:10.1016/j.conengprac.2019.104270
  • Liniger A, Domahidi A, Morari M. Optimization-based autonomous racing of 1:43 scale RC cars. Optim Control Appl Meth. 2015;36:628–647. doi:10.1002/oca.2123
  • Kabzan J, Hewing L, Liniger A, et al. Learning-Based model predictive control for autonomous racing. IEEE Robot Automat Lett. Oct. 2019;4(4):3363–3370. doi:10.1109/LRA.2019.2926677
  • Domahidi A, Jerez J. FORCES Professional. embotech GmbH, Zürich, Switzerland, Tech. Rep., Jul. 2014. [Online]. Available: http://embotech.com/FORCES-Pro.
  • Velenis E, Tsiotras P. Minimum-Time travel for a vehicle with acceleration limits: theoretical analysis and receding-horizon implementation. J Optim Theory Appl. 2008;138:275–296. doi:10.1007/s10957-008-9381-7
  • Li B, Du H, Li W. Comparative study of vehicle tyre–road friction coefficient estimation with a novel cost-effective method. Veh Syst Dyn. 2014;52(8):1066–1098. doi:10.1080/00423114.2014.920090
  • Zanelli A, Domahidi A, Jerez JL, et al. Forces NLP: an efficient implementation of interior-point methods for multistage nonlinear nonconvex programs. Int J Control. 2017;93:1–17. doi:10.1080/00207179.2017.1316017
  • Li B, Ahmadi J, Lin C, et al. Integrated path-tracking and control allocation controller for autonomous electric vehicle under limited handling condition. 2020 IEEE Intelligent Vehicle Symposium (IV), pp.547-552, 2020.
  • Boada B, Boada M, Díaz V. Fuzzy-logic applied to yaw moment control for vehicle stability. Veh Syst Dyn. 2005;43:753–770. doi:10.1080/00423110500128984
  • Zhao Y, Zhang J. Yaw stability control of a four-independent-wheel drive electric vehicle. Int J Electric Hybrid Veh. 2009;2(1):64–76. doi:10.1504/IJEHV.2009.027677
  • Domahidi A, Zgraggen A, Zeilinger MN, et al. Efficient interior point methods for multistage problems arising in receding horizon control. Conference on Decision and Control (CDC), Maui, HI, USA, December 2012, pp.668–674.
  • Xu S, Peng H. Design, analysis, and experiments of preview path tracking control for autonomous vehicles. IEEE Trans Intell Transp Syst. 2019;21(1):48–58. doi:10.1109/TITS.2019.2892926
  • Wang Z, Bai Y, Wang J, et al. Vehicle path-tracking linear-time-varying model predictive control controller parameter selection considering central process unit computational load. J Dyn Syst Meas Contr. 2019;141(5):051004. doi:10.1115/1.4042196
  • Bock H, Plitt K. A multiple shooting algorithm for direct solution of optimal control problems. Proceedings of the 9th IFAC World Congress (pp. 242–247); 1984. Budapest: Pergamon Press.

Appendices

Appendix A

The QCQP optimisation problem (19b) can be rewritten as: (A1a) minui(for i=1,2,3,4,5)J=l(ui(k+j))(A1a) The inequality constraints (19c–19f) can be rewritten as: (A1b) gj(ui(k+j))0(A1b) In order to solve the MPC optimisation problem (A1) in a time-efficient manner, a primal-dual interior point method is applied. Particularly, the computation of search direction is achieved by solving the Karush-Kuhn-Tucker (KKT) system and the details are given as followings:

  1. The formulation of KKT system

The KKT optimal condition for problem (A1) is given as: (A2a) h(ui)+J(ui)Tλ=0(A2a) (A2b) gj=1,2,3,4(ui)+s=0(A2b) (A2c) S=0(A2c) where h(ui)=∇l(ui(k+1)), gj(ui)=gj(ui(k+1)),J(ui)=blkdiag[gj(ui(k+1))]. λ is the Lagrange multiplier. s is the slack variable and S=diag(s), =diag(λ).

  1. Search direction

The Newton system is determined by linearising KKT system: (A3) [H(ui,λ)J(ui)T0J(ui)T0I0S][ΔuiΔλΔs]=[rCrIrs](A3) Where H(ui,λ)=∇h(ui)+blkdiag[2gj(ui)λk].

  1. Block elimination

Block elimination can be applied to simplify the search direction computation. It can be assumed that the elements of are strictly positive, Δs can be eliminated from (A3) by using Δs=1(rsSΔλ). The Lagrange multiplier can be rearranged as following: (A4) Δλ=S1(rI+J(ui)Δui)+S1rs(A4) Thus, the search direction equations (B3) can be simplified as: (A5) ΦΔui=rd(A5) where Φ=H(ui,λ)+J(ui)TS1J(ui), rd=rC+J(ui)TS1rI+J(ui)TS1rs. Thus, the search direction of (A5) can be solved in a time-efficient manner.

Appendix B

The nonlinear optimisation problem (2-8) can be rewritten as the followings: (B1a) minui,xjJ=k=1Nlk(zi+j(k))(B1a) subject to: (B1b) ck(zi+j(k+1),zi+j(k))=0(B1b) (B1c) hk(zi+j(k))0(B1c) The nonlinear MPC problem (B1) can be rewritten as the following linearised KKT version: (B2) [H(zi+j,yc)Jeq(zi+j)TJeq(zi+j)0Jineq(zi+j)T000Jineq(zi+j)0000ISYD][ΔzΔycΔydΔs]=[rSrCrDrN](B2) where H(zi+j,yc)=zi+j2lk(zi+j(k))+m=1r1yc,k1[m]zi+j2ck1[m](zi+j(k),zi+j(k1))+m=1ryc,k[m]zi2ck[m](zi+j(k+1),zi+j(k)). yc is the Lagrange multiplier of the equality constraints, and yd is the Lagrange multiplier of the inequality constraints. s is the slack variable and S=diag(s). Jineq is the block diagonal consisting of hk(zi+j), while Jeq is the block diagonal consisting of ck(zi+j). YD is the diagonal matrix with the elements of yd on its diagonal.

When dealing with the nonlinear MPC problem instead of convex QP problem, H is a nonlinear function of zi+j and yc, while the Jacobians of equality constraints Jeq and inequality constraints Jineq are a function of zi+j. It is important to mention that it is general difficult to ensure the KKT formulation (B2) has the desired inertial as QP problem, so additional care must be taken to solve (B2).

First, the linear system is reduced by eliminating Δs and Δyd: (B3) [ΦJeq(zi+j)TJeq(zi+j)0][ΔzΔyc]=[rdrC](B3) where Φ=H(zi+j,yc)+Jineq(zi+j)TS1YDJineq(zi+j), rd=rS+Jineq(zi+j)TS1YDrDJineq(zi+j)TS1rN.

Secondly, a more compact and symmetric system can be obtained as following equation: (B4) YΔyc=β(B4) where Y=Jeq(zi+j)Φ1Jeq(zi+j)T, β=rCJeq(zi+j)Φ1rd.

Forces NLP provides linear solver to solve the symmetric form (B3) and normal form (B4). For the QP formulation, Φ and Y can be assumed as positive definite and the problem can be easily solved by the Cholesky decomposition. However, for the nonlinear MPC formulation, the Hessian of Lagrangian is potentially indefinite and Y cannot be factorised with the Cholesky decomposition. A number of methods are applied to approximate the Hessian matrix and the positive definite can be guaranteed [Citation38,Citation41].