Abstract

Nonlinear vehicle control allocation is achieved through distributing the task of vehicle control among individual tire forces, which are constrained to nonlinear saturation conditions. A high-level sliding mode control with adaptive upper bounds is considered to assess the body yaw moment and lateral force for the vehicle motion. The proposed controller only requires the online adaptation of control gains without acquiring the knowledge of upper bounds on system uncertainties. Static and dynamic control allocation approaches have been formulated to distribute high-level control objectives among the system inputs. For static control allocation, the interior-point method is applied to solve the formulated nonlinear optimization problem. Based on the dynamic control allocation method, a dynamic update law is derived to allocate vehicle control to tire forces. The allocated tire forces are fed into a low-level control module, where the applied torque and active steering angle at each wheel are determined through a slip-ratio controller and an inverse tire model. Computer simulations are used to prove the significant effects of the proposed control allocation methods on improving the stability and handling performance. The advantages and limitations of each method have been discussed, and conclusions have been derived.

1. Introduction

In recent years by rapid emergence of electronic control devices, employing all available actuators, or individual tire forces, for ground vehicle control has become possible [1]. The vehicle motion is governed by tire forces which are constrained based on friction circle notion. Thus, tire saturation constraints must be taken into account for a proper control design. The problem of optimal actuators selection to execute a control task, while minimizing effort and satisfying constraints, is known as Control Allocation (CA). To tackle actuator constraints in control design of a general over-actuated nonlinear system, two approaches of Static Control Allocation (SCA) and Dynamic Control Allocation (DCA) are proposed. In SCA, the total body forces/moments of a high-level controller are allocated to available actuators by optimizing a suitable cost function at each sampling time, whereas DCA generates a dynamic update law for actuators. No optimization problem needs to be solved by DCA.

In the field of Integrated Vehicle Dynamics Control (IVDC), Optimal Distribution of tire Forces (ODF) was introduced to meet various objectives, such as maximizing longitudinal acceleration [2], minimizing total tire workload usage [3], or adaptive-optimal coordination of braking and steering [4]. Attempts to account for actuator constraints were rare in these works.

To allocate control objectives to the actuators with limited amplitude/rate, SCA methods have been subject of different studies. Algorithms using various optimization methods, such as quadratic programming [5], multiparametric nonlinear programming [6], and fixed point [1], were developed. Kou [7] proposed an SCA scheme based on the model predictive control and fixed point method. The main problem in static control allocation is its computational burden for practical applications, due to numerical solution of a constrained optimization problem at each sampling instant.

To deal with this difficulty, Johansen [8] developed a dynamic control allocation method for a particular class of nonlinear systems. In this regard, a dynamic update law leads the desired actuator efforts to converge to the solution of a definite optimization problem, without solving the optimization problem. DCA was extended for systems with unknown parameters [9] and applied to vehicle yaw control [10].

This paper addresses nonlinear vehicle CA constrained to tire saturation conditions. Referring to schematic view of IVDC structure in Figure 1, the required body lateral force and yaw moment for vehicle motion are determined by a high-level sliding mode enhanced adaptive controller. The adaptive control methodology is utilized to update the perturbation and sliding mode control gains, so that the upper bounds of uncertainties are not required to be known in advance. Then, the body force and moment, along with the driverโ€™s desired braking force, are allocated to individual lateral and longitudinal forces of each tire. Considering tires saturation induces nonlinear constraints in CA problem. To tackle this problem, we look into SCA and DCA methods for vehicle control. For static allocation purpose, the interior point is formulated and employed to solve the nonlinear inequality constrained optimization problem. To formulate dynamic allocation control for the proposed problem, a dynamic update law is derived and utilized in the IVDC scheme. The desired lateral force of each tire by CA modules is mapped into the corresponding active steering angle through an inverse tire model. In addition, the desired longitudinal forces are tracked by a low-level slip-ratio control scheme. Simulation results are conducted to evaluate the effectiveness of each method.

The rest of the paper is organized as follows. The high-level control is described next. Section 3 presents the formulation of optimal distribution of tire forces in IVDC considering nonlinear tire saturation constraints. In Section 4, the SCA is formulated based on the interior-point method. In Section 5, the DCA approach is utilized to derive an optimized dynamic update law for individual tire forces. The low-level slip-ratio controller has been addressed in Section 6. Sections 7 and 8 are devoted to simulation results and concluding remarks.

2. High-Level Sliding Mode Control with Adaptive Upper Bounds

In this section we first design a high-level controller for vehicle handling and stability based on the conventional Sliding Mode Control (SMC), then an SMC with updated upper bounds of uncertainties is considered.

2.1. Conventional Sliding Mode Control

In general, vehicle handling and stability are achieved through the control of yaw rate and side-slip angle, respectively. The design procedure is based on the 2DoF vehicle model, where the basic equations are [11]๎€ทฬ‡๎€ธ๐ผ๐‘š๐‘‰๐›ฝ+๐‘Ÿ=๐‘Œ,๐‘งฬ‡๐‘Ÿ=๐‘€,(2.1) where ๐‘š and ๐ผ๐‘ง denote the total mass and yaw moment of inertia, from which only the estimates of ๎๐‘š and ๎๐ผ๐‘ง are available, and ๐‘‰ is the vehicle velocity. ๐›ฝ and ๐‘Ÿ stand for the actual vehicle side-slip angle and the yaw rate, respectively. ๐‘€ and ๐‘Œ are sum of external moments in the yaw direction and lateral forces acting on the vehicle, respectively. To account for the unmodelled dynamics and uncertainties in modelling the actual nonlinear vehicle dynamics, the unknown, but bounded, disturbance terms, ๐œ”๐›ฝ and ๐œ”๐‘Ÿ, are embedded into each channel to get๎€ทฬ‡๎€ธ๐‘š๐‘‰๐›ฝ+๐‘Ÿ=๐‘Œ+๐œ”๐›ฝ,๐ผ(2.2)๐‘งฬ‡๐‘Ÿ=๐‘€+๐œ”๐‘Ÿ.(2.3) To design the total lateral force (๐‘Œ), for a zero desired side-slip angle, the sliding surface,๐‘ ๐›ฝ, is selected as๐‘ ๐›ฝ=๐›ฝ.(2.4) Differentiating this equation and considering (2.2),ฬ‡๐‘ ๐›ฝ=๐‘Œฮ”๐‘š๐‘‰โˆ’๐‘Ÿ+๐›ฝ๐‘š,(2.5) where the term ฮ”๐›ฝ=๐œ”๐›ฝ/๐‘‰ is assumed to be bounded by a known value ฮ”๐›ฝ:||ฮ”๐›ฝ||<ฮ”๐›ฝ.(2.6) To guarantee the sliding condition [12]๐‘ ๐›ฝฬ‡๐‘ ๐›ฝ<0,(2.7) the desired body lateral force is considered as๎€ท๐‘Œ=๐‘‰๎๐‘š๐‘Ÿ+๐‘ฃ๐›ฝ๎€ธ(2.8) in which ๎๐‘š is our estimate of ๐‘š and ๐‘ฃ๐›ฝ is to be designed. Insert (2.8) into (2.5) to get the left side of (2.7) as๐‘ ๐›ฝฬ‡๐‘ ๐›ฝ=๐‘ ๐›ฝ๐‘šโˆ’1๎€ทฮ”๐›ฝ+๐‘ฃ๐›ฝ๎€ธ+๎‚๐‘š๐‘Ÿ,(2.9) where the mass estimation error ๎‚๐‘š=๎๐‘šโˆ’๐‘š is assumed to satisfy||||=||||<๎‚๐‘š๎๐‘šโˆ’๐‘š๐‘š,๐‘š>0,(2.10) whose combination with (2.9) and (2.6) results in๐‘ ๐›ฝฬ‡๐‘ ๐›ฝโ‰ค๐‘šโˆ’1๎€ท๐‘ ๐›ฝ๐‘ฃ๐›ฝ+||ฮ”๐›ฝ||||๐‘ ๐›ฝ||+||||||๐‘ ๎‚๐‘š|๐‘Ÿ|๐›ฝ||๎€ธ<๐‘šโˆ’1๎‚€๐‘ ๐›ฝ๐‘ฃ๐›ฝ+ฮ”๐›ฝ||๐‘ ๐›ฝ||+||๐‘ ๐‘š|๐‘Ÿ|๐›ฝ||๎‚.(2.11) To achieve (2.7), ๐‘ฃ๐›ฝ is considered to be๐‘ฃ๐›ฝ=โˆ’๐‘˜๐›ฝ๎€ท๐‘ sgn๐›ฝ๎€ธ,(2.12) where sgn(โ‹…) is the signum function, and๐‘˜๐›ฝ>ฮ”๐›ฝ+๐‘š|๐‘Ÿ|+๐œ‚๐›ฝ,๐œ‚๐›ฝ>0.(2.13) By substituting (2.12) into (2.8), the desired body lateral force is attained. To mitigate the problem of chattering, the sign function is replaced by saturation function with a boundary layer thickness of ฮฆ๐›ฝ>0. Thus, the final control law becomes๎‚ต๐‘Œ=๐‘‰๎๐‘š๐‘Ÿโˆ’๐‘˜๐›ฝ๎‚ต๐‘ sat๐›ฝฮฆ๐›ฝ๎‚ถ๎‚ถ.(2.14) In order to design the body yaw moment (๐‘€), for tracking the desired yaw rate (๐‘Ÿ๐‘‘), the sliding surface,๐‘ ๐‘Ÿ, is adopted as๐‘ ๐‘Ÿ=๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ+๐œ†๐‘Ÿ๎€œ๐‘ก0๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ๐‘‘๐œ,๐œ†๐‘Ÿ>0,(2.15) where the integral term is used to mitigate the undesirable yaw angle offset and to ensure the desired vehicle heading. Differentiating (2.15) along with (2.3) leads toฬ‡๐‘ ๐‘Ÿ=๐‘€๐ผ๐‘ง+๐œ”๐‘Ÿ๐ผ๐‘งโˆ’๐œ,๐œ=ฬ‡๐‘Ÿ๐‘‘โˆ’๐œ†๐‘Ÿ๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ.(2.16) The design process of the desired body yaw moment is similar to that of (2.14):๎๐ผ๐‘€=๐‘ง๎€ทฬ‡๐‘Ÿ๐‘‘โˆ’๐œ†๐‘Ÿ๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ๎€ธโˆ’๐‘˜๐‘Ÿ๎‚ต๐‘ sat๐‘Ÿฮฆ๐‘Ÿ๎‚ถ,ฮฆ๐‘Ÿ>0,(2.17) where ๎๐ผ๐‘ง is an estimate of ๐ผ๐‘ง and๐‘˜๐‘Ÿ>ฮ”๐‘Ÿ+๐ผ๐‘ง||ฬ‡๐‘Ÿ๐‘‘โˆ’๐œ†๐‘Ÿ๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ||+๐œ‚๐‘Ÿ,๐œ‚๐‘Ÿ>0,(2.18) with ฮ”๐‘Ÿ>0 and ๐ผ๐‘ง>0 being the upper bounds for |๐œ”๐‘Ÿ| and |๎‚๐ผ๐‘ง๎๐ผ|=|๐‘งโˆ’๐ผ๐‘ง|, respectively.

2.2. Sliding Mode Control with Adaptive Upper Bounds

From (2.13) and (2.18) it can be observed that the selection of the SMC gains ๐‘˜๐›ฝ and ๐‘˜๐‘Ÿ depends on upper bounds of uncertainties in vehicle dynamics and body mass and inertia, that is, ฮ”๐‘Ÿ,ฮ”๐›ฝ, ๐‘š, and ๐ผ๐‘ง. In practice, uncertainties and disturbances depend primarily on the highly nonlinear dynamics of vehicle and tire which are not completely known, and one cannot determine their exact bounds too. Therefore, no universal method is available yet to tune the controller gains and these gains should be tuned by trial and error approach in practical implementations. In this regard, the controller tends to be overconservative, which may induce poor tracking performance as well as undesirable oscillations in control signal. To overcome this drawback, adaptive control methodology with control parameters updated online is a promising approach. In this section, we use the adaptive control technique to attain a sliding mode controller with adaptive upper bounds. To design sliding mode controls with variable gains, the following modified control laws are established:๎€ท๎€ทฬ‚๐‘˜๐‘Œ=๐‘‰๎๐‘š๐‘Ÿโˆ’๐›ฝ1+ฬ‚๐‘˜๐›ฝ2๎€ธ๎€ท๐‘ |๐‘Ÿ|sgn๐›ฝ๎๐ผ๎€ธ๎€ธ,(2.19)๐‘€=๐‘ง๎€ทฬ‚๐‘˜๐œโˆ’๐‘Ÿ1+ฬ‚๐‘˜๐‘Ÿ2๎€ธ๎€ท๐‘ |๐œ|sgn๐‘Ÿ๎€ธ,(2.20) where๐œ=ฬ‡๐‘Ÿ๐‘‘โˆ’๐œ†๐‘Ÿ๎€ท๐‘Ÿโˆ’๐‘Ÿ๐‘‘๎€ธ(2.21) and the varying controller gains are updated as follows:ฬ‡ฬ‚๐‘˜๐›ฝ1=๐›พโˆ’1๐›ฝ1||๐‘ ๐›ฝ||,๐›พ๐›ฝ1ฬ‡ฬ‚๐‘˜>0,(2.22)๐›ฝ2=๐›พโˆ’1๐›ฝ2|||๐‘ ๐‘Ÿ|๐›ฝ||,๐›พ๐›ฝ2ฬ‡ฬ‚๐‘˜>0,(2.23)๐‘Ÿ1=๐›พโˆ’1๐‘Ÿ1||๐‘ ๐‘Ÿ||,๐›พ๐‘Ÿ1ฬ‡ฬ‚๐‘˜>0,(2.24)๐‘Ÿ2=๐›พโˆ’1๐‘Ÿ2||๐‘ |๐œ|๐‘Ÿ||,๐›พ๐‘Ÿ2>0.(2.25) Assume that there are positive constants๐‘˜๐‘‘๐›ฝ1,๐‘˜๐‘‘๐›ฝ2, ๐‘˜๐‘‘๐‘Ÿ1, and ๐‘˜๐‘‘๐‘Ÿ2 that satisfy๐‘˜๐‘‘๐›ฝ1>||ฮ”๐›ฝ||,๐‘˜๐‘‘๐›ฝ2>||||๐‘˜๎‚๐‘š,(2.26)๐‘‘๐‘Ÿ1>||ฮ”๐‘Ÿ||,๐‘˜๐‘‘๐‘Ÿ2>||๎‚๐ผ๐‘ง||.(2.27) It should be noted that we need only to assure that such constants exist without acquiring the knowledge of these upper bounds to use in control laws. Also, considerฬƒ๐‘˜๐›ฝ1=ฬ‚๐‘˜๐›ฝ1โˆ’๐‘˜๐‘‘๐›ฝ1,ฬƒ๐‘˜๐›ฝ2=ฬ‚๐‘˜๐›ฝ2โˆ’๐‘˜๐‘‘๐›ฝ2ฬƒ๐‘˜,(2.28)๐‘Ÿ1=ฬ‚๐‘˜๐‘Ÿ1โˆ’๐‘˜๐‘‘๐‘Ÿ1,ฬƒ๐‘˜๐‘Ÿ2=ฬ‚๐‘˜๐‘Ÿ2โˆ’๐‘˜๐‘‘๐‘Ÿ2.(2.29) Then, the stability of the considered adaptive-sliding mode control laws can be shown through Lyapunov candidates:๐‘‰๐›ฝ=๐‘š2๐‘ 2๐›ฝ+12๐›พ๐›ฝ1ฬƒ๐‘˜2๐›ฝ1+12๐›พ๐›ฝ2ฬƒ๐‘˜2๐›ฝ2,๐‘‰(2.30)๐‘Ÿ=๐ผ๐‘ง2๐‘ 2๐‘Ÿ+12๐›พ๐‘Ÿ1ฬƒ๐‘˜2๐‘Ÿ1+12๐›พ๐‘Ÿ2ฬƒ๐‘˜2๐‘Ÿ2.(2.31) To prove the stability of side-slip angle under (2.19) with adaptation laws (2.22) and (2.23), first insert (2.19) into (2.5) so that๐‘šฬ‡๐‘ ๐›ฝ=๎€ท๎‚๐‘š๐‘Ÿ+ฮ”๐›ฝโˆ’๎€ทฬ‚๐‘˜๐›ฝ1+ฬ‚๐‘˜๐›ฝ2๎€ธ๎€ท๐‘ |๐‘Ÿ|sgn๐›ฝ๎€ธ๎€ธ.(2.32) Then, differentiate (2.30) to getฬ‡๐‘‰๐›ฝ=๐‘š๐‘ ๐›ฝฬ‡๐‘ ๐›ฝ+๎‚€๐›พ๐›ฝ1ฬƒ๐‘˜๐›ฝ1ฬ‡ฬƒ๐‘˜๐›ฝ1+๐›พ๐›ฝ2ฬƒ๐‘˜๐›ฝ2ฬ‡ฬƒ๐‘˜๐›ฝ2๎‚.(2.33) Replacing (2.32) in (2.33) and considering (2.28), we have thatฬ‡๐‘‰๐›ฝ=๎€ท๎‚๐‘š๐‘Ÿ+ฮ”๐›ฝโˆ’๎€ทฬ‚๐‘˜๐›ฝ1+ฬ‚๐‘˜๐›ฝ2๎€ธ๎€ท๐‘ |๐‘Ÿ|sgn๐›ฝ๐‘ ๎€ธ๎€ธ๐›ฝ+๎‚€๐›พ๐›ฝ1ฬ‡ฬ‚๐‘˜๐›ฝ1ฬ‚๐‘˜๐›ฝ1+๐›พ๐›ฝ2ฬ‡ฬ‚๐‘˜๐›ฝ2ฬ‚๐‘˜๐›ฝ2๎‚โˆ’๎‚€๐›พ๐›ฝ1ฬ‡ฬ‚๐‘˜๐›ฝ1๐‘˜๐‘‘๐›ฝ1+๐›พ๐›ฝ2ฬ‡ฬ‚๐‘˜๐›ฝ2๐‘˜๐‘‘๐›ฝ2๎‚.(2.34) Using adaptation laws (2.22) and (2.23) in (2.34) and considering (2.26) results inฬ‡๐‘‰๐›ฝ=๎€ท๎‚๐‘š๐‘Ÿ+ฮ”๐›ฝ๎€ธ๐‘ ๐›ฝโˆ’๐‘˜๐‘‘๐›ฝ1||๐‘ ๐›ฝ||โˆ’๐‘˜๐‘‘๐›ฝ2||๐‘ |๐‘Ÿ|๐›ฝ||โ‰ค๎€ท||||||ฮ”๎‚๐‘š|๐‘Ÿ|+๐›ฝ||๎€ธ||๐‘ ๐›ฝ||โˆ’๐‘˜๐‘‘๐›ฝ1||๐‘ ๐›ฝ||โˆ’๐‘˜๐‘‘๐›ฝ2||๐‘ |๐‘Ÿ|๐›ฝ||=๎‚€||||๎‚๐‘šโˆ’๐‘˜๐‘‘๐›ฝ2๎‚||๐‘ |๐‘Ÿ|๐›ฝ||+๎‚€||ฮ”๐›ฝ||โˆ’๐‘˜๐‘‘๐›ฝ1๎‚||๐‘ ๐›ฝ||<0,(2.35) where we use ๐‘ ๐›ฝsgn(๐‘ ๐›ฝ)=|๐‘ ๐›ฝ|. Accordingly, the convergence of ๐‘ ๐›ฝ to zero and also boundedness of ฬƒ๐‘˜๐›ฝ1 and ฬƒ๐‘˜๐›ฝ2 are resulted by Barbalatโ€™s lemma [12].

In an identical way, the stability of the yaw motion can be demonstrated, first, by combining (2.16) and (2.20) so that๐ผ๐‘งฬ‡๐‘ ๐‘Ÿ=๎‚๐ผ๐‘ง๐œ+ฮ”๐‘Ÿโˆ’๎€ทฬ‚๐‘˜๐‘Ÿ1+ฬ‚๐‘˜๐‘Ÿ2๎€ธ๎€ท๐‘ |๐œ|sgn๐‘Ÿ๎€ธ.(2.36) Differentiate (2.31) and replace (2.36) for ๐ผ๐‘งฬ‡๐‘ ๐‘Ÿ to getฬ‡๐‘‰๐‘Ÿ=๎‚€๎‚๐ผ๐‘ง๐œ+ฮ”๐‘Ÿโˆ’๎€ทฬ‚๐‘˜๐‘Ÿ1+ฬ‚๐‘˜๐‘Ÿ2๎€ธ๎€ท๐‘ |๐œ|sgn๐‘Ÿ๎€ธ๎‚๐‘ ๐‘Ÿ+๎‚€๐›พ๐‘Ÿ1ฬ‡ฬ‚๐‘˜๐‘Ÿ1ฬ‚๐‘˜๐‘Ÿ1+๐›พ๐‘Ÿ2ฬ‡ฬ‚๐‘˜๐‘Ÿ2ฬ‚๐‘˜๐‘Ÿ2๎‚โˆ’๎‚€๐›พ๐‘Ÿ1ฬ‡ฬ‚๐‘˜๐‘Ÿ1๐‘˜๐‘‘๐‘Ÿ1+๐›พ๐‘Ÿ2ฬ‡ฬ‚๐‘˜๐‘Ÿ2๐‘˜๐‘‘๐‘Ÿ2๎‚.(2.37) Using adaptation laws (2.24) and (2.25) as well as the inequalities in (2.27), we have thatฬ‡๐‘‰๐‘Ÿ=๎‚€๎‚๐ผ๐‘ง๐œ+ฮ”๐‘Ÿ๎‚๐‘ ๐‘Ÿโˆ’๐‘˜๐‘‘๐‘Ÿ1||๐‘ ๐‘Ÿ||โˆ’๐‘˜๐‘‘๐›ฝ2||๐‘ |๐œ|๐‘Ÿ||โ‰ค๎‚€||๎‚๐ผ๐‘ง||||ฮ”|๐œ|+๐‘Ÿ||๎‚||๐‘ ๐‘Ÿ||โˆ’๐‘˜๐‘‘๐‘Ÿ1||๐‘ ๐‘Ÿ||โˆ’๐‘˜๐‘‘๐‘Ÿ2||๐‘ |๐œ|๐‘Ÿ||=๎‚€||๎‚๐ผ๐‘ง||โˆ’๐‘˜๐‘‘๐‘Ÿ2๎‚||๐‘ |๐œ|๐‘Ÿ||+๎€ท||ฮ”๐‘Ÿ||โˆ’๐‘˜๐‘‘๐‘Ÿ1๎€ธ||๐‘ ๐‘Ÿ||<0.(2.38) Thus, according to the Barbalatโ€™s Lemma, the system state can be driven to the sliding surface ๐‘ ๐‘Ÿ and the controller gains ฬƒ๐‘˜๐‘Ÿ1 and ฬƒ๐‘˜๐‘Ÿ2 will be bounded. Furthermore, to tackle the chattering problem saturation function is used to derive the final adaptive control laws๎‚ต๎€ทฬ‚๐‘˜๐‘Œ=๐‘‰๎๐‘š๐‘Ÿโˆ’๐›ฝ1+ฬ‚๐‘˜๐›ฝ2๎€ธ๎‚ต๐‘ |๐‘Ÿ|sat๐›ฝฮฆ๐›ฝ,๎๐ผ๎‚ถ๎‚ถ๐‘€=๐‘ง๎€ทฬ‚๐‘˜๐œโˆ’๐‘Ÿ1+ฬ‚๐‘˜๐‘Ÿ2๎€ธ๎‚ต๐‘ |๐œ|sat๐‘Ÿฮฆ๐‘Ÿ๎‚ถ.(2.39)

3. Control Allocation in Vehicle System

The total body lateral force and yaw moment, as well as the braking acceleration command by driver, are generated by longitudinal and lateral forces of each tire. In this paper, a 4-wheel vehicle system with each wheel being braked/derived and steered independently is considered. Such a full tire-actuated vehicle can be available through X-by-wire systems [1, 13]. Thus, the overall control system contains eight actuators and only three control objectives, raising an overactuated control system. A general approach to resolve redundancy is to optimize a cost function for specific performance. The well-accepted cost function in IVDC is the sum of work load of four wheels:๐‘“=4๎“๐‘–=1๐ด๐‘–๐‘‹2๐‘–+๐‘Œ2๐‘–๎€ท๐œ‡๐‘–๐‘๐‘–๎€ธ2,(3.1) where ๐‘– denotes wheel number, ๐‘‹๐‘– and ๐‘Œ๐‘– stand for desired values of longitudinal force, ๐น๐‘ฅ๐‘–, and lateral force, ๐น๐‘ฆ๐‘–, ๐‘๐‘– is the vertical load, all defined in the vehicle body fixed coordinate system, as shown in Figure 2, ๐ด๐‘– is the weighting coefficient and ๐œ‡๐‘– is the friction coefficient, of the ๐‘–th tire. Defining the 8 ร— 1 actuator vector of ๐ฎ as๎€บ๐‘‹๐ฎ=1๐‘‹2๐‘‹3๐‘‹4๐‘Œ1๐‘Œ2๐‘Œ3๐‘Œ4๎€ป๐‘‡,(3.2) the cost function is written in matrix form๐‘“(๐ฎ)=๐ฎ๐“๐–๐ฎ(3.3) in which ๐–๐Ÿ–ร—๐Ÿ– is a diagonal weighting matrix. To get ๐‘Œ and ๐‘€, by assuming small steering angles in Figure 2, individual tire forces must satisfy the equality constraints:๐‘Œ=4๎“๐‘–=1๐‘Œ๐‘–,(3.4)๐‘€=2๎“๐‘–=1๎€ท๐ฟ๐‘“๐‘Œ๐‘–โˆ’๐ฟ๐‘Ÿ๐‘Œ(๐‘–+2)๎€ธ+๐‘‘22๎“๐‘–=1๎€ท๐‘‹(2๐‘–)โˆ’๐‘‹(2๐‘–โˆ’1)๎€ธ.(3.5) Also, the longitudinal acceleration, ๐‘Ž๐‘ฅ, by driver is generated by longitudinal forces๐‘‹=๐‘š๐‘Ž๐‘ฅ=4๎“๐‘–=1๐‘‹๐‘–.(3.6) Equations (3.4)โ€“(3.6) can be expressed in linear matrix form as๐€๐ฎ=๐ฏ,(3.7) where ๐€โˆˆโ„œ3ร—8 is a constant matrix and the vector of generalized forces/moment, ๐ฏ, is given by[]๐ฏ=๐‘‹๐‘Œ๐‘€๐‘‡.(3.8) On the other hand, the resultant force of each tire is constrained to friction circle๎€ท๐œ‡๐‘–๐‘๐‘–๎€ธ2โˆ’๎€ท๐‘‹2๐‘–+๐‘Œ2๐‘–๎€ธโ‰ฅ0(๐‘–=1,โ€ฆ,4).(3.9) Using (3.2), (3.9) can be written as๎€ท๐œ‡๐‘–๐‘๐‘–๎€ธ2โˆ’๎€ท๐‘ข2๐‘–+๐‘ข2๐‘–+4๎€ธโ‰ฅ0(๐‘–=1,โ€ฆ,4).(3.10) or๐‚๐ˆ(๐ฎ)โ‰ฅ๐ŸŽ,(3.11) where ๐‚๐ˆ is a 4 ร— 1 vector with the ๐‘–th component๐ถ๐ผ๐‘–๎€ท๐‘ข๐‘–๎€ธ=๎€ท๐œ‡๐‘–๐‘๐‘–๎€ธ2โˆ’๎€ท๐‘ข2๐‘–+๐‘ข2๐‘–+4๎€ธ(๐‘–=1,โ€ฆ,4).(3.12) The optimization problem is summarized as follows:minimize๐‘“(๐ฎ)=๐ฎ๐“๎‚ป๐–๐ฎ,subjecttolinearequalityconstraints,๐€๐ฎ=๐ฏ,nonlinearinequalityconstraints,๐‚๐ˆ(๐ฎ)โ‰ฅ๐ŸŽ.(3.13)

4. Static Control Allocation: Application of Interior-Point Method

SCA solves the optimization problem (3.13) at each sampling instant. A powerful approach for nonlinear programming is the set of interior-point (IP) methods. A benefit of such methods is that the distance from the optimum is always known, so that one can terminate the optimization algorithm when the solution reaches within desired tolerance. Convergence is also uniform toward the optimal solution. The description of IP algorithm in this paper is an excerpt from [14, 15].

4.1. Karush-Kuhn-Tucker Conditions

At the outset to avoid infeasible solutions, the equality constraints are embedded in cost function to get๐ฝ=๐œŒ๐ฎ๐“๐–๐ฎ+(๐€๐ฎโˆ’๐ฏ)๐“(๐€๐ฎโˆ’๐ฏ),๐œŒ>0,(4.1) which is written in the quadratic form1๐ฝ=2๐ฎ๐“๐†๐ฎ+๐œ๐“๐ฎ+๐ก,(4.2) where๎€ท๐†=2๐œŒ๐–+๐€๐“๐€๎€ธ,๐œ=โˆ’2๐€๐“๐ฏ,๐ก=๐ฏ๐“๐ฏ.(4.3) IP methods use barrier logarithmic functions to satisfy the inequality constraints. In this regard, the optimization problem turns into1minimize๐ฟ=2๐ฎ๐“๐†๐ฎ+๐œ๐“๐ฎ+๐กโˆ’๐œ‚4๎“๐‘–=1๎€ท๐ถlog๐ผ๐‘–๎€ธ๎‚ป๐‚,๐œ‚>0,subjectto๐ˆ(๐ฎ)โˆ’๐ฉ=๐ŸŽ,๐ฉโ‰ฅ๐ŸŽ.(4.4) Applying KKT formulation [16] to (4.4), the optimality conditions can be expressed as follows,๐†๐ฎ+๐œ+๐€๐“๐ˆ๐€=๐ŸŽ,๐€๐ˆ(๐ฎ)=โˆ’โˆ‡๐‚๐ˆ(๐ฎ),๐‚๐ˆ[](๐ฎ)โˆ’๐ฉ=๐ŸŽ,๐๐€โˆ’๐œ‚๐ž=๐ŸŽ,๐ž=1111๐‘‡,๐ฉ>0,๐€>0,(4.5) where ๐€ is the vector of Lagrange multipliers and ๐ is a 4 ร— 4 diagonal matrix whose diagonal elements are the components of the vector ๐ฉ.

4.2. Primal-Dual Path-Following Method Steps

The Primal-dual path-following IP method steps for IVDC are as follows:

(1) Newtonโ€™s Step Direction
In each iteration, the step direction {ฮ”๐ฉ,ฮ”๐ฎ,ฮ”๐€} is obtained by applying Newtonโ€™s method to KKT conditions (4.5): ๐ซ๐œ+๎€ท๐†+๐šฒ๐Ÿ๎€ธ๐šซ๐ฎ+๐€๐“๐ˆ๐ซ๐šซ๐€=๐ŸŽ,๐›โˆ’๐€๐ˆ๐ซ๐šซ๐ฎโˆ’๐šซ๐ฉ=๐ŸŽ,๐ฌ+๐๐šซ๐€+๐šฒ๐šซ๐ฉ=๐ŸŽ,(4.6) where the residuals ๐ซ๐œ, ๐‘Ÿ๐›, and ๐‘Ÿ๐ฌ are obtained as ๐ซ๐œ=๐†๐ฎ+๐œ+๐€๐‘‡๐ˆ๐€,๐ซ๐›=๐‚๐ˆ(๐ฎ)โˆ’๐ฉ,๐ซ๐ฌ๎€ท๐‘=๐๐€โˆ’๐œ‚๐ž,(4.7)๐=diag1,๐‘2,๐‘3,๐‘4๎€ธ๎€ท๐œ†,๐šฒ=diag1,๐œ†2,๐œ†3,๐œ†4๎€ธ,๐šฒ๐Ÿ=2diag(๐šฒ,๐šฒ).(4.8) Equation (4.6) is solved to achieve the step directions ๎€ทฮ”๐ฎ=๐†+๐šฒ๐Ÿ+๐€๐“๐ˆ๐โˆ’๐Ÿ๐šฒ๐€๐ˆ๎€ธโˆ’1๎€ท๐€๐“๐ˆ๐โˆ’1๎€ท๐ซ๐ฌ+๐šฒ๐ซ๐›๎€ธโˆ’๐ซ๐œ๎€ธ,ฮ”๐€=โˆ’๐โˆ’1๎€ท๐ซ๐ฌ+๐šฒ๐ซ๐›๎€ธ+๐โˆ’1๐šฒ๐€๐ˆฮ”๐ฎ,ฮ”๐ฉ=๐ซ๐›โˆ’๐€๐ˆฮ”๐ฎ.(4.9)

(2) Step Length Calculation
To satisfy nonnegativity condition (๐ฉ,๐€)โ‰ฅ๐ŸŽ, the new iteration (๐ฎ+,๐ฉ+,๐€+) is calculated as ๐ฎ+=๐ฎ+๐›ผ๐‘ maxฮ”๐ฎ,๐ฉ+=๐ฉ+๐›ผ๐‘ max๐šซ๐ฉ,๐€+=๐€+๐›ผ๐œ†max๐šซ๐€,(4.10) where ๐›ผ๐‘ max]๐›ผ=max{๐›ผ๐œ–(0,1โˆถ๐ฉ+๐›ผฮ”๐ฉโ‰ฅ(1โˆ’๐œ)๐ฉ},๐œ๐œ–(0,1),๐œ†max]=max{๐›ผ๐œ–(0,1โˆถ๐€+๐›ผฮ”๐€โ‰ฅ(1โˆ’๐œ)๐€}.(4.11)

(3) Updating the Barrier Parameter ๐œ‚
The sequence of barrier parameters {๐œผ๐ค} converges to zero by the update law ๐œ‚๐‘˜+1=๐œŽ๐‘˜๐ฉ๐“๐ค๐€๐ค๐Ÿ’,๐œŽ๐‘˜๐œ–[]0,1,(4.12) where to update the centring parameter๐œŽ๐‘˜, first, the predictor (affine scaling) direction {ฮ”๐ฎaff,ฮ”๐ฉaff,ฮ”๐€aff} and the corresponding longest step lengths ๐›ผ๐‘ aff and ๐›ผ๐œ†affare calculated by setting ๐œ‚=0 in (4.9) and (4.11). Then the value of complementarity along the affine scaling ๐œ‚aff step is defined to be ๐œ‚aff=๎€ท๐ฉ๐ค+๐›ผ๐‘ affฮ”๐ฉaff๎€ธ๐‘‡๎€ท๐€๐ค+๐›ผ๐œ†affฮ”๐€aff๎€ธ.(4.13) The centring parameter is updated as follows: ๐œŽ๐‘˜=๎ƒฉ๐œ‚aff๐ฉ๐“๐ค๐€๐ค๎ƒช/๐Ÿ’3.(4.14)

(4) Stopping Criteria
The algorithm is terminated, when the following error function with ๐œ‚=0 has converged sufficiently close to zero ๎€ฝโ€–โ€–๐ธ(๐ฎ,๐ฉ,๐€,๐œ‚)=max๐†๐ฎ+๐œ+๐€๐‘‡๐ˆ๐€โ€–โ€–,โ€–โ€–๐‚๐ˆโ€–โ€–๎€พ(๐ฎ)โˆ’๐ฉ,โ€–๐๐€โˆ’๐œ‚๐žโ€–.(4.15) All of these steps have been summarized in Pseudocode 1. To reduce the time of control allocation, the last allocated ๐ฎ is chosen as the initial value of the control input ๐ฎ๐ŸŽ. Then, ๐ฎ๐ŸŽ is modified (reduced) to satisfy tire saturation constraints.

Given A, W , and v
โ€ƒCompute G, c, and h in (4.2).
โ€ƒChoose the allocated control input of the previous sample time as the initial value ๐ฎ ๐ŸŽ
โ€ƒIf each entry of ๐ฎ ๐ŸŽ violates the inequality (3.9), reduce it to satisfy(3.9)
โ€ƒCompute initial values for ๐ฉ 0 and ๐€ 0 .
โ€ƒCompute the initial value for barrier parameter ๐œ‚ .
โ€ƒCompute residuals ๐ซ ๐œ , ๐ซ ๐› , and ๐ซ ๐ฌ given in(4.7)
โ€ƒSelect error tolerance ๐œ€ and set ๐‘˜ โ† 0 .
repeat until ๐ธ ( ๐ฎ , ๐ฉ , ๐€ , 0 ) โ‰ค ๐œ€
โ€ƒCompute step direction from equation (4.9),
โ€ƒCompute step size to satisfy nonnegativity conditions using (4.11),
โ€ƒUpdate the variables ๐ฎ , ๐ฉ , and ๐€ using (4.10),
โ€ƒCompute affine scaling ๐œ‚ a f f step from (4.13) and ๐œŽ ๐‘˜ according to (4.14),
โ€ƒUpdate the barrier parameter ๐œ‚ ๐‘˜ + 1 based on (4.12),
โ€ƒCompute residuals ๐ซ ๐œ , ๐ซ ๐› , and ๐ซ ๐ฌ from (4.7),
โ€ƒSet ๐‘˜ โ† ๐‘˜ + 1
end

5. Dynamic Control Allocation

DCA uses an optimizing update law for system inputs. Since it is not required to solve the optimization problem at each sampling time, the main advantage of DCA is its computational efficiency. In what follows, the procedure explained in [8] is applied to the proposed integrated vehicle control scheme. However, the interested reader might refer to [8, 9] for convergence study and detailed analysis.

5.1. Dynamic Control Allocation Applied to IVDC

DCA is formulated by introducing the following Lagrangian based on (3.13):โ„“=๐ฎ๐“๐–๐ฎ+(๐ฏโˆ’๐€๐ฎ)๐“๐€dynโˆ’๐œ”dyn4๎“๐‘–=1๎€ท๐ถlog๐ผ๐‘–๎€ท๐‘ข๐‘–,๐‘ข๐‘–+4๎€ธ๎€ธ(5.1) with ๐œ”dyn>0and๐€dyn being a 3-component vector of Lagrange multipliers. DCA updates ๐ฎ and ๐€dyn in the form of the Newton-like update lawโŽกโŽขโŽขโŽฃฬ‡๐ฎฬ‡๐€dynโŽคโŽฅโŽฅโŽฆ=โˆ’๐›พdyn๎€ทโ„๐‘‡โ„+๐œ€dyn๐ˆ๎€ธโˆ’1โ„โŽกโŽขโŽขโŽขโŽขโŽฃ๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ+โŽกโŽขโŽขโŽฃ๐œป๐“โŽคโŽฅโŽฅโŽฆ,(5.2) where ๐›พdyn>0 and ๐œ€dynโ‰ฅ0, and for our problem โ„ is written asโŽกโŽขโŽขโŽขโŽฃ๐œ•โ„=2โ„“๐œ•๐ฎ2โˆ’๐œ•(๐€๐ฎ)๐“โˆ’๐œ•๐ฎ๐œ•(๐€๐ฎ)๐ŸŽโŽคโŽฅโŽฅโŽฅโŽฆ๐œ•๐ฎ.(5.3) In (5.2) the feedforward-like terms ๐œป and ๐“ are chosen so that the following scalar algebraic equation holds:๐œถ๐“dyn๐œป+๐œท๐“dyn๐“+๐›ฟdyn=0(5.4) withโŽกโŽขโŽขโŽฃ๐œถdyn๐œทdynโŽคโŽฅโŽฅโŽฆโŽกโŽขโŽขโŽขโŽขโŽฃ=โ„๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ,๐›ฟdyn=โˆ’(๐€๐ฎโˆ’๐ฏ)๐‘‡ฬ‡๐ฏ.(5.5)

Assume that the stability of the high-level control could be shown through a Lyapunov function๐‘‰0(๐‘ก,๐‘Ÿ,๐›ฝ), then, by the Lyapunov function๐‘‰dyn๎€ท๐‘ก,๐‘Ÿ,๐›ฝ,๐ฎ,๐€dyn๎€ธ=๐œŽdyn๐‘‰01(๐‘ก,๐‘Ÿ,๐›ฝ)+2๎‚ต๐œ•โ„“๐‘‡๐œ•๐ฎ๐œ•โ„“+๐œ•๐ฎ๐œ•โ„“๐‘‡๐œ•๐€dyn๐œ•โ„“๐œ•๐€dyn๎‚ถ,๐œŽdyn>0,(5.6) global exponential convergence to optimality conditions is achieved.

5.2. Discussion and Modification

Consider the equality-constrained optimization problem with the Lagrangian (5.1). Then the optimizing conditions areโŽกโŽขโŽขโŽขโŽขโŽฃ๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ=๐ŸŽ.(5.7) Applying Newtonโ€™s conditions to (5.7) results in optimizing Newtonโ€™s steps ฮ”๐ฎ and ฮ”๐€dynโŽกโŽขโŽขโŽขโŽขโŽฃ๐œ•2โ„“๐œ•๐ฎ2๐œ•๐œ•๐€dyn๎‚€๐œ•โ„“๎‚๐œ•๐ฎ๐‘‡๐œ•๎‚ต๐œ•๐ฎ๐œ•โ„“๐œ•๐€dyn๎‚ถ๐œ•2โ„“๐œ•๐€๐ŸdynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆโŽกโŽขโŽขโŽฃ๐šซ๐ฎ๐šซ๐€dynโŽคโŽฅโŽฅโŽฆโŽกโŽขโŽขโŽขโŽขโŽฃ=โˆ’๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ(5.8) orโŽกโŽขโŽขโŽฃ๐šซ๐ฎ๐šซ๐€dynโŽคโŽฅโŽฅโŽฆ=โŽกโŽขโŽขโŽขโŽฃ๐œ•2โ„“๐œ•๐ฎ๐Ÿโˆ’๐œ•(๐€๐ฎ)๐‘‡โˆ’๐œ•๐ฎ๐œ•(๐€๐ฎ)๐ŸŽโŽคโŽฅโŽฅโŽฅโŽฆ๐œ•๐ฎโˆ’1โŽกโŽขโŽขโŽขโŽขโŽฃ๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ=โ„โˆ’1โŽกโŽขโŽขโŽขโŽขโŽฃ๐œ•โ„“๐œ•๐ฎ๐œ•โ„“๐œ•๐€dynโŽคโŽฅโŽฅโŽฅโŽฅโŽฆ.(5.9) By setting๐œ€dyn=0, ignoring the terms ๐œป and ๐“, and considering the symmetry of โ„, it can be demonstrated that the update law (5.2) represents the solution of ฮ”๐ฎ and ฮ”๐€dyn in (5.9), that is, one Newtonโ€™s step towards the optimum point. Therefore, (5.9) can be interpreted as one Newtonโ€™s step from the solution of the control allocation problem at the current sampling time for the solution at the next instant, for which the terms ๐œป and ๐“ are to compensate time-varying optimum solution.

Despite the log-barrier term in (5.1), depending on the values of๐›พdyn and๐œ”dyn, there is no guarantee that the Newton-like step (5.2) will satisfy the inequality constraints (3.9). As the ๐‘–th inequality constraint is infringed, ๐ถ๐ผ๐‘– becomes negative andlog(๐ถ๐ผ๐‘–) and correspondingly the Lagrangian (5.1) turn meaningless. To tackle this problem, in this paper, a line search is adopted for the coefficient ๐›พdyn, so that the resulting ๐ฎ and ๐€dyn at the next sampling time satisfy the inequality constraints ๐‚๐ˆ>๐ŸŽ and๐€dyn>0. The idea of the line search approach is taken from the second step of the interior-point stages, described in the previous section.

Another problem with DCA is that (5.2) could induce a Newtonโ€™s step from an infeasible point, violating the inequality constraints (3.9), because of time-varying nature of these constraints. This arises because the term(๐œ‡๐‘–๐‘๐‘–)2 in (3.9) is time varying. Consequently, it is possible for the feasible solution at the current time to violate the inequality constraints of the next sample time. In such conditions, (5.2) needs to be modified for Newtonโ€™s steps from infeasible points [15].

After desired longitudinal and lateral forces of each tire are computed by either of the proposed control allocation algorithms, the active steering angle, ๐›ฟ๐‘–, at wheel ๐‘– can be determined as follows:๐›ฟ๐‘–๐ฟโ‰ˆ๐›ฝ+๐‘“๐‘Ÿ๐‘ฃ๐‘ฅ๐‘–โˆ’๐›ผ๐‘–๐›ฟ,๐‘–=1,2,๐‘–๐ฟโ‰ˆ๐›ฝโˆ’๐‘Ÿ๐‘Ÿ๐‘ฃ๐‘ฅ๐‘–โˆ’๐›ผ๐‘–,๐‘–=3,4,(5.10) where ๐‘ฃ๐‘ฅ๐‘– is the longitudinal velocity of the ๐‘–th tire and ๐›ผ๐‘– is the side-slip angle of the ๐‘–th tire and is obtained using the inverse of a simple tire model as๐›ผ๐‘–=โŽงโŽชโŽจโŽชโŽฉโˆ’๐‘Œ๐‘–๐ถ๐‘–,๐‘‹2๐‘–+๐‘Œ2๐‘–๎€ท๐œ‡โ‰ค๐‘›โˆ—๐‘–๐‘๐‘–๎€ธ2,0<๐‘›<1,โˆ’๐œ‡๐‘–๐‘๐‘–๎‚ต๐พโˆ—arctan๐‘–๐‘Œ๐‘–๐œ‡๐‘–๐‘๐‘–๐ถ๐‘–๎‚ถ,๐‘‹2๐‘–+๐‘Œ2๐‘–๎€ท๐œ‡>๐‘›โˆ—๐‘–๐‘๐‘–๎€ธ2,๐‘–=1,โ€ฆ,4,(5.11) in which ๐ถ๐‘– denotes the cornering stiffness of the ๐‘–th tire and ๐พ๐‘–s are chosen to approximate the saturation conditions. Longitudinal forces are fed into the low-level control unit.

6. Low-Level Slip-Ratio Control Design

The longitudinal force of each tire is related to the corresponding longitudinal slip ratio and is adjusted through slip-ratio control (SRC). The slip ratio of the ๐‘–th tire,๐œŽ๐‘–, is defined as๐œŽ๐‘–=๐‘…๐œ”๐‘–โˆ’๐‘ฃ๐‘ฅ๐‘–๐‘ฃ๐‘ฅ๐‘–๐œŽduringbraking,(6.1)๐‘–=๐‘…๐œ”๐‘–โˆ’๐‘ฃ๐‘ฅ๐‘–๐‘…๐œ”๐‘–duringacceleration,(6.2) where ๐‘… denotes the radius and ๐œ”๐‘– is the angular velocity of the ๐‘–th wheel. In the case where longitudinal slip ratio is small, the longitudinal tire force is found to be proportional to the slip ratio. Then, it gains its maximum value at a typical value of ๐œŽโˆ—, after which it starts to lessen. Experimental studies have established that the tire lateral force decreases with increasing slip ratios greater than |๐œŽโˆ—| as well [17].

6.1. Description of the SRC Scheme

In this paper, when the tire slip ratio is smaller than ๐œŽโˆ—, by neglecting the wheel rotational inertia [3], the applied braking/traction torque, ๐‘‡๐‘–, at wheel ๐‘– is obtained as๐‘‡๐‘–=๐‘…๐‘‹๐‘–.(6.3) In this case, the SRC works for Desired Longitudinal Force Generation (DLFG). However, when the demanded ๐‘‹๐‘– is too high, applying (6.3) would increase the slip ratio beyond ๐œŽโˆ—, inevitably leading to wheel lock and lateral tire force drop. In such conditions, the idea of Antilock Braking System (ABS) is employed to keep the slip ratio of tires at ๐œŽโˆ—. This idea is utilized during both braking and traction. When traction torque applies, the proposed slip-ratio control is in the Traction Control System (TCS) mode. The SRC scheme is shown in Figure 3.

6.2. The ABS/TCS Design

The ๐‘–th wheel rotational dynamics is stated as๐ผ๐œ”ฬ‡๐œ”๐‘–=๐‘‡๐‘–โˆ’๐‘…๐น๐‘ฅ๐‘–,(6.4) where ๐ผ๐œ” is wheel rotational inertia. To achieve slip-ratio differential equation when braking, by differentiating (6.1) and replacing for ฬ‡๐œ”๐‘– from (6.4) ฬ‡๐œŽ๐‘–=๐‘…๐ผ๐œ”๐‘ฃ๐‘ฅ๐‘–๎€ท๐‘‡๐‘–โˆ’๐‘Ÿ๐น๐‘ฅ๐‘–๎€ธโˆ’๎€ท1+๐œŽ๐‘–๎€ธฬ‡๐‘ฃ๐‘ฅ๐‘–๐‘ฃ๐‘ฅ๐‘–.(6.5) During decelerating, the longitudinal force can be stated as [17]๐น๐‘ฅ๐‘–=๐ถ๐œŽ๐œŽ๐‘–+ฮ”๐น๐‘ฅ๐‘–(6.6) in which the term ๐ถ๐œŽ๐œŽ๐‘– represents the linear part, with ๐ถ๐œŽ being the tire longitudinal stiffness, and ฮ”๐น๐‘ฅ๐‘– is the deviation from the linear part and is bounded by ๐น๐‘ฅ๐‘–:0<ฮ”๐น๐‘ฅ๐‘–<๐น๐‘ฅ๐‘–.(6.7) The goal of the ABS is to regulate ๐œŽ๐‘– around the constant value๐œŽโˆ—. Applying the sliding mode control design procedure to (6.5), an ABS is designed so that to get the sliding condition๐‘‘1๐‘‘๐‘ก2๐‘ 2๐œŽโ‰คโˆ’๐œ‚๐œŽ||๐‘ ๐œŽ||,๐‘ ๐œŽ=๐œŽ๐‘–โˆ’๐œŽโˆ—,๐œŽโˆ—<0,๐œ‚๐œŽ>0,(6.8) the applied braking torque at the ๐‘–th wheel is๐‘‡๐‘–=๐‘…๐ถ๐œŽ๐œŽโˆ—+๐ผ๐œ”ฬ‡๐‘ฃ๐‘ฅ๐‘–๐‘…๎€ท1+๐œŽ๐‘–๎€ธโˆ’๐ผ๐œ”๐‘ฃ๐‘ฅ๐‘–๐‘…๐‘˜๐œŽ๎‚ต๐‘ sat๐œŽ๐œ™๐œŽ๎‚ถ,๐‘˜๐œŽ>๐‘…2๐ผ๐œ”๐‘ฃ๐‘ฅ๐‘–๐น๐‘ฅ๐‘–+๐œ‚๐œŽ,๐œ™๐œŽ>0.(6.9) Furthermore, the applied torque during acceleration, by TCS, is computed as๐‘‡๐‘–=๐‘…๐ถ๐œŽ||๐œŽโˆ—||+๐ผ๐œ”ฬ‡๐‘ฃ๐‘ฅ๐‘–๐‘…๎€ท1โˆ’๐œŽ๐‘–๎€ธโˆ’๐ผ๐œ”๐‘ฃ๐‘ฅ๐‘–๐‘…๎€ท1โˆ’๐œŽ๐‘–๎€ธ2๐‘˜๐œŽ๎‚ต๐‘ sat๐œŽ๐œ™๐œŽ๎‚ถ,๐‘ ๐œŽ=๐œŽ๐‘–โˆ’||๐œŽโˆ—||.(6.10)

7. Simulation Results

The considered methods are tested in several critical maneuvers. A 9DoF nonlinear vehicle model is used for simulation purpose [4]. The vehicle behavior is probed during an open-loop maneuver, with no driver model, and two closed-loop maneuvers, including the driver model validated experimentally in [18]. The overall control scheme for simulation is shown in Figure 4. Comparison is made with a well-recognized case [3], where tire saturation conditions are ignored in ODF.

The simulations are performed by MATLAB/Simulink. For the sake of practical implementations, the time for each control allocation was computed. Using a PC based on a 2.6โ€‰GHz Intel Core 2 Duo T9500 processor, the maximum time for the total IP algorithm is about 0.002 seconds. This time can be still improved using efficient C-Programming and effective numerical techniques.

7.1. Open-Loop Cornering Maneuver on a Split-๐œ‡ Road

The vehicle behaviour is examined in an open-loop split-๐œ‡ manoeuvre, where the tire-road friction coefficients on the vehicle left and right are equal to 0.3 and 1, respectively. The vehicle is assumed to move with a velocity of 110โ€‰km/hr and to turn according to the steering angle in Figure 5. The deceleration demand is โˆ’0.1โ€‰g. In Figures 6 and 7, both Saturation Constrained ODF (SCODF) approaches, that is, SCA and DCA, have better yaw rate tracking and side-slip angle reduction. Using ODF, the allocated work load to the front-right wheel is substantially beyond its actual capacity, other tires have still margin to saturation, as Figure 8 shows. On the other hand, from Figures 9 and 10 it is seen that SCODF methods have balanced the workload distribution and managed to use the total capacity of tire forces by saturating all tires in critical conditions. Accordingly, as shown in Figures 11 and 12, these methods have generated larger lateral and longitudinal forces, compared to ODF. To compare SCA and DCA, it is noted (Figure 7) that SCA has less side slip at some points relative to DCA. This arises because DCA has failed to completely saturate the tire on rear left in this case. Furthermore, Figures 11 and 12 reveal that lateral and longitudinal forces by DCA have properly converged to the optimal solution of SCA, with minor errors in some cases.

7.2. Close-Loop Single-Lane Change Maneuver

A closed-loop high-speed Single-Lane Changing (SLC) on a slippery road with the braking acceleration of โˆ’0.5โ€‰g is considered. The vehicle initial speed is 120โ€‰km/h and the tire-road friction coefficient is set at 0.5. By Figures 13, 14, 15, 16, 17, and 18, enhanced vehicle control in terms of vehicle trajectory, yaw rate, and side-slip angle, as well as balanced work load distribution by SCODF approaches are evident. Figure 19 illustrates that the generated tire lateral forces by ODF are smaller than SCODF approaches. For the tires at the vehicle rear, this is primarily due to the smaller work load assigned to these tires by ODF. However, reduction of the lateral forces at the front tires can be described referring to longitudinal forces and slip-ratio plots in Figures 20 and 21. The ODF method has designated larger braking forces to front tires at some points, compared with SCODF approaches. According to friction circle concept, this reduces the corresponding generated tire lateral forces by ODF. Accordingly, as Figure 21 demonstrates, higher longitudinal forces by ODF have increased the slip ratio of these wheels by ๐œŽโˆ—=0.2. Then, ABS is activated by SRC to regulate the front slip ratios at ๐œŽโˆ—=0.2. On the other hand, SCA and DCA moderate the role of longitudinal forces in vehicle control and leave out the use of ABS.

7.3. Close-Loop Double-Lane Change Maneuver

Another case to evaluate the system is high-speed Double-Lane Changing (DLC) on a slippery road with driverโ€™s braking. The maneuver conditions remain unchanged with respect to SLC. In Figures 22, 23, and 24, SCODF approaches are still superior in controlling the vehicle path, yaw rate, and side-slip angle.

To increase the challenge for the control systems, DLC is repeated on a more slippery road, where the tire-road friction coefficient is 0.4. Figures 25, 26, and 27 show the results in this case. Although both SCA and DCA methods have almost the same performance of vehicle control, oscillatory yaw rate response as well as more side-slip angle by DCA are clear. These are mainly due to transient response of DCA, specifically to panic reactions of driver in both steering and braking in critical conditions. The transient response is an inherent characteristic of the dynamic update law in DCA. In this scenario, the transient response has been triggered when the DCA tries to compensate for sudden braking release demand by driver. Another reason for oscillatory response by DCA is its relatively low robustness against highly nonlinear characteristics of vehicle dynamics and tire forces which are more substantial in more critical conditions. The oscillations by DCA grow more considerable once sudden changes occur in tire/road friction coefficient, for example, when the vehicle suddenly enters an icy road. Oscillations can intensify also after an actuator fails in a specific manoeuvre, where DCA is used for actuator failure compensation, which is one of the main advantages of control allocation methods [1]. In general, oscillatory response by DCA increases as the manoeuvre conditions worsen.

8. Conclusion

Control allocation techniques can be applied effectively to enhance vehicle stability. Nonlinear vehicle motion control is split into three tasks. First, the total body lateral force and yaw moment were computed through a high-level sliding mode controller with adaptive upper bounds, where the knowledge of the upper bounds of uncertainties is not required. To allocate the vehicle high-level control objectives to saturation-constrained tire forces, static and dynamic control allocation techniques were formulated. Interior-point method was used to handle the nonlinear constrained optimization problem in SCA; a dynamic update law was derived using DCA. Simulation results were conducted, and vehicle operation under each method was evaluated and compared with a well-recognized work in the literature. It was seen that both SCA and DCA approaches manage to utilize whole capacity of tire forces more properly by offering balanced work-load distribution and rational adjustment of longitudinal and lateral tire forces. Since no optimization problem is required in DCA, the main advantage of this method is its computational efficiency for real-time implementations. Furthermore, although by DCA the set of distributed tire forces properly approaches the optimal one, that is, that of SCA, there is yet an amount of error, depending on the severity of maneuver. This error of DCA is mainly due to its transient response to panic behavior of driver and its relatively low robustness to highly nonlinear characteristics of vehicle dynamics and tire forces. Therefore, in maneuvers with more critical conditions, the performance of the vehicle control task can be degraded using DCA compared to SCA.

Nomenclature

๐‘Ž๐‘ฅ:Driverโ€™s braking acceleration
๐ด๐‘–:Weighting coefficients of ๐‘–th tire
๐ถ๐‘–:Cornering stiffness of ๐‘–th tire
๐‚๐ˆ:Vector of saturation constraints
๐ถ๐œŽ:Tire longitudinal stiffness
๐‘‘:Vehicle tread
๐‘“:Objective function
๐น๐‘ฅ๐‘–:Actual longitudinal force of ๐‘–th tire
๐…๐‘ฅ๐‘–:Maximum deviation from linear part for ๐น๐‘ฅ๐‘–
๐น๐‘ฆ๐‘–:Actual lateral force of ๐‘–th tire
๐ผ๐‘ค:Moment of inertia of each wheel
๐ผ๐‘ง:Yaw moment of inertia of vehicle
๎๐ผ๐‘ง:Estimation of yaw moment of inertia
๎‚๐ผ๐‘ง:Estimation of yaw moment of inertia error
๐ผ๐‘ง:Upper bound for ๎‚๐ผ๐‘ง
๐ฝ:Objective function in quadratic form
๐‘˜๐‘Ÿ, ๐‘˜๐›ฝ, ๐‘˜๐œŽ:Sliding mode control gain
ฬ‚๐‘˜๐›ฝ1, ฬ‚๐‘˜๐›ฝ2, ฬ‚๐‘˜๐‘Ÿ1, ฬ‚๐‘˜๐‘Ÿ2:Adaptive gains
๐‘˜๐‘‘๐›ฝ1,๐‘˜๐‘‘๐›ฝ2, ๐‘˜๐‘‘๐‘Ÿ1, ๐‘˜๐‘‘๐‘Ÿ2:Uncertainty upper bound
๐ฟ:Lagrangian
๐ฟ๐‘“,๐‘Ÿ:Distance between mass center and axle
๐‘š:Vehicle mass
๎๐‘š:Vehicle mass estimation
๎‚๐‘š:Mass estimation error
๐‘š:Upper bound for ๎‚๐‘š
๐‘€:Body yaw moment
๐‘…:Wheel radius
๐‘Ÿ:Yaw angle velocity
๐‘Ÿ๐‘,๐‘Ÿ๐‘,๐‘Ÿ๐‘ :IP residuals
๐‘ ๐‘Ÿ:Sliding surface for yaw rate
๐‘ ๐›ฝ:Sliding surface for side-slip angle
๐‘ ๐œŽ:Sliding surface for SRC
๐‘‡๐‘–:Applied torque at the ๐‘–th wheel
๐ฎ:Vector of allocated tire forces
๐‘‰:Vehicle velocity
๐‘ฃ๐‘ฅ๐‘–:Longitudinal velocity of the ๐‘–th tire
๐‘‰๐›ฝ,๐‘‰๐‘Ÿ,๐‘‰dyn,๐‘‰0:Lyapunov candidate
๐ฏ:Vector of virtual control input
๐–:Matrix of weighting coefficients
๐‘‹:Body longitudinal force
๐‘Œ:Body lateral force
๐‘‹๐‘–:Allocated longitudinal force to ๐‘–th tire
๐‘Œ๐‘–:Allocated lateral force to ๐‘–th tire
๐‘๐‘–:Vertical load of ๐‘–th tire.
Greek Letters
๐›ผ๐‘–:Side-slip angle of ๐‘–th tire
๐›ผ๐‘ max,๐›ผ๐œ†max:Newtonโ€™s step size
๐›ฝ:Side-slip angle
๐›ฟ๐‘–:Steering angle of ๐‘–th tire
ฮ”๐›ฝ, ฮ”๐‘Ÿ:Uncertainty upper bound
๐œ‚๐‘˜:Barrier parameter
ฮฆ๐›ฝ, ฮฆ๐‘Ÿ, ๐œ™๐œŽ:Boundary layer thickness
๐€:Vector of Lagrange multipliers
ฮ›:Matrix of Lagrange multipliers
๐œŽ:Centering parameter
๐œŽ๐‘–:Slip ratio of the ๐‘–th tire
๐œŽโˆ—:Reference value of slip ratio
๐œ‡๐‘–:Friction coefficient of ๐‘–th tire
๐œ”๐‘Ÿ, ๐œ”๐›ฝ:Disturbance terms
๐œ”๐‘–:Angular velocity of ๐‘–th tire.
Subscripts/Superscripts
aff:Affine scaling
๐‘“:Front
๐‘Ÿ:Rear
๐‘‘:Desired value
+:N iteration
dyn:Dynamic.
Coordinate System
(๐‘ฅ,๐‘ฆ,๐‘ง):Moving coordinate attached to vehicle centre.