Vehicle Optimal Torque Vectoring Using State-Derivative Feedback and Linear Matrix Inequality
Vehicle Optimal Torque Vectoring Using State-Derivative Feedback and Linear Matrix Inequality
4, MAY 2013
Abstract—A controller assistant system is developed based on to the dynamics of the vehicle. This additional yaw moment is
the closed-form solution of an offline optimization problem for obtained from the differential driving/braking forces between
a four-wheel-drive front-wheel-steerable vehicle. The objective of the left and right wheels of a vehicle [1]. With the development
the controller is to adjust the actual vehicle attitude and motion
according to the driver’s manipulating commands. The controller of electric and hybrid electric vehicles, the adoption of such
takes feedback from acceleration signals, and the imposed condi- advanced stability control technologies is considerably possible
tions and limitations on the controller are studied through the con- because of the electric drive motors in such vehicles.
cept of state-derivative feedback control systems. The controller Different control algorithms for the aforementioned active
gains are optimized using linear matrix inequality (LMI) and ge- systems are available in the literature. For example, the sliding
netic algorithm (GA) techniques. Reference signals are calculated
using a driver command interpreter module (DCIM) to accurately mode control theory was used in [2] and [3] for the tracking
interpret the driver’s intentions for vehicle motion and to allow of a target yaw rate depending on the driving situation. To
the controller to generate proper control actions. It is shown that regulate the yaw rate, the brake forces were properly distributed
the controller effectively enhances the handling performance and to the wheels with a control system proposed in [2], whereas
stability of the vehicle under different road conditions and driv- the variable torque distribution technique for an all-wheel-drive
ing scenarios. Although controller performance is studied for a
four-wheel-drive front-wheel-steerable vehicle, the algorithm can vehicle was used in [3]. Using the linear–quadratic Gaussian
also be applied to other vehicle configurations with slight changes. control, a vehicle-handling assistant control system was devel-
oped in [1]. The controller utilized an independent axle torque
Index Terms—Linear matrix inequality (LMI), optimal control,
state-derivative feedback, torque vectoring. biasing technology to achieve a regulatory torque distribution.
In [4], an active steering system using the concept of potential
I. I NTRODUCTION field functions and constructive Lyapunov analysis is designed.
In [5]–[7], an adaptive technique for vehicle stabilization is
Here, Fx , Fy , and Gz are the actual longitudinal force, lateral where WE and Wdf are semipositive definite diagonal weight
force, and yaw moment acting on the CG of the vehicle. fxi , i = matrices on the CG force error vector and the control action,
1, . . . , 4 is the longitudinal tire force on each tire of the vehicle, respectively, and are defined by
whereas fyi , i = 1, . . . , 4 is the lateral tire force on each tire of ⎡ ⎤
the vehicle. Equations (3)–(5) reveal a possible way to achieve wx 0 0
the desired CG forces by controlling the tire forces. WE = ⎣ 0 w y 0 ⎦ (14)
Define the tire force vector as 0 0 wG
⎡ ⎤
f = [fx1 , fx2 , fx3 , fx4 , fy1 , fy2 fy3 , fy4 ]T . (6) wdf1 0 0 0
⎢ 0 w df2 0 0 ⎥
Wdf = ⎣ ⎦ (15)
The corresponding adjusted CG forces to make the error 0 0 wdf3 0
between the desired F ∗ and F (f ) zero can be represented by 0 0 0 wdf4
where x is the state vector, and uc shows the controller signals. x(t) = A−1 (I + BKM )ẋ(t) − B̄ ū. (25)
By defining the state vector as x(t) = [vx , vy , r]T , the lin-
earized dynamics of the vehicle system around an operating Substituting (25) in (23), one obtains
point with a given wheel steering angle can be represented as
V̇ = y T x = y T A−1 (I + BKM )y − B̄ ū
follows:
= y T A−1 (I + BKM ) y − y T B̄ ū. (26)
M ẋ = Av x + Bv (uc + f )
y = ẋ Since (I + BKM )−1 A is Hurwitz, A−1 (I + BKM ) is also
Hurwitz [21]. Therefore, H1 = A−1 (I + BKM ) < 0.
uc = K(R − M y) (20) By defining H1 = −H1 , H2 = −B̄u, and c ≥ 0, one has
λi (H1 ) = −λi (H1 ), where λi stands for the eigenvalue of
where Av is the linearized model of the vehicle, and Bv is
the matrix H1 . In addition, a = min(λi (H1 )) ≥ 0 and b =
the input matrix. y = [v̇x v̇y ṙ]T is the vector of the output
H2 ≥ 0. Then
(measured) signals, and R = F ast is the vector of the reference
inputs. Rt is the wheel radius. Thus, using (20), the dynamics V̇ = − y T H̃1 y + y T H̃2 ū ≤ −y T H̃1 y + y T H̃2 ū + cūT ū
of the closed-loop vehicle system becomes
≤ − ay22 + bū2 y2 + cū22
−1 −1
ẋ(t) = (I + BKM ) Ax(t) + (I + BKM ) (BK)R(t) 1 b2 a
=− (bū2 − ay2 )2 + ū22 − y22 + cū22
+ (I + BKM )−1 Bf (t) (21) 2a 2a 2
b2 + 2ac a
where A = M −1 Av , and B = M −1 Bv . ≤ ū22 − y22 ⇒ V̇
2a 2
The conditions given in the following may apply to the
2
aforementioned dynamic system for stability and performance b + 2ac a
analysis [18], [19]: ≤ ū22 − y22 . (27)
2a 2
1) The closed-loop system is well posed if (I + BKM ) is
nonsingular (det(I + BKM ) = 0). Integrating over [0, τ ] one has
2) The pair of (A, B) is controllable. τ τ
b2 +2ac
3) If det(A) = 0, then the system cannot be stabilize. V̇ dt ≤ ū(t)22 dt
0 2a 0
4) If (I + BKM )−1 A is Hurwitz, the linear system is
asymptotically stable. a τ
− y(t)22 dtV (x(τ ))−V (x(0))
First, condition 1 for the controller is investigated. Since Bv 2 0
in (20) is the input matrix related to the total longitudinal forces, b2 +2ac a
it is equivalent to ∇F . Thus, according to (18), one has < (ūτ L2e )2 − (yτ L2e )2 . (28)
2a 2
T
BKM = ∇F Wdf + (∇F T WE )∇F (∇F T WE )M. With consideration of V (x(τ )) > 0 and taking the square
(22) roots, one arrives at
Since WE , Wdf , and M are semipositive definite diagonal b2 + 2ac
matrices, BKM is also semipositive definite. Accordingly, yτ L2e < ūτ L2e + 2V (x(0)) /a (29)
a
(I + BKM ) is strictly positive definite, and the matrix is
not singular. Conditions 3 and 4 are studied by the following According to the definition of L2e stability given in [22],
proposition. system (21) is L2e stable.
Authorized licensed use limited to: ITA - Instituto Tecnológico de Aeronáutica. Downloaded on May 02,2024 at 17:02:30 UTC from IEEE Xplore. Restrictions apply.
1544 IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 62, NO. 4, MAY 2013
IV. ROBUSTNESS AND G AIN O PTIMIZATION By defining θ as the vector of the uncertain and time-varying
parameters, dynamic system (21) may be rewritten as
LMI is a powerful approach that solves control problems by
defining a convex constraint on the state vector x. Here, a stabil- ẋ(t) = Ã(θ)x(t) + B̃(θ)R (39)
ity constraint is formulated for the controller gain optimization
using the LMI technique and the concept of L2 gain theory for where
linear systems based on the method described in [23]. Since the
reference trajectory performance is the primary concern of this Ã(θ) = [I + B(θ)KM ]−1 A(θ) (40)
analysis, it is assumed that the driver torque input vector is zero B̃(θ) = [I + B(θ)KM ]−1 B(θ)K. (41)
(f = 0), according to the superposition principle.
To analyze this type of uncertainty, the polytopic technique
The L2 gain of the dynamic system (21) is defined as the
is used as described in the following.
following quantity:
Polytopic Technique: The linear differential equation (21)
y2 belongs to a subset of Rn , i.e., Ω, as follows:
sup . (30)
R2 =0 R2
ẋ ∈ Ωx. (42)
The supremum is taken over all nonzero trajectories of the When Ω is a polytope, viz., the convex hull of a finite set of
system (21), starting from x(0) = 0. Now, suppose there is a model parameters (vertices), the linear differential equation is
quadratic function V (ς) = ς T P ς and γ ≥ 0, such that for all t, called polytopic [24], [25]. In this case, we have
we have
d Ã(θ), B̃(θ) ∈ Co (Ã1 , B̃1 ), . . . , (ÃN , B̃N ) (43)
V (x) + y T y − y 2 RT R ≤ 0. (31)
dt
where Co{(Ã1 , B̃1 ), . . . , (ÃN , B̃N )} is the convex hull of
Then, the L2 gain of the linear system from output y to the (Ãi , B̃i ), i = 1, . . . , N .
input R is less than γ [23]. Definition: For any subset S of a linear vector space X, the
By defining convex hull Co(S) is convex and consists precisely of all convex
combinations of the elements S.
à = [I + BKM ]−1 A (32)
Thus, it is possible to write (Ã(θ), B̃(θ)) as a convex combi-
−1
B̃ = [I + BKM ] BK (33) nation of the vertices of the polytope as follows:
then one has Ã(θ), B̃(θ) = α1 (Ã1 , B̃1)+α2 (Ã2 , B̃2 )+· · ·+αN (ÃN + B̃N)
d (44)
V (x) = ẋT P x + xT
dt where {(Ã1 , B̃1 ), (Ã2 , B̃2 ), . . . , (ÃN , B̃N )} are known matri-
T T T T
P ẋ = x [Ã P + P Ã]x + R B̃ P x + x P B̃R T
(34) ces, and α1 , . . . , αN are positive scalars that satisfy
T T
y y = [Ãx + B̃R] [Ãx + B̃R]
N
αi = 1. (45)
= xT ÃT Ãx + xT ÃB̃R + RT B̃ T Ãx + RT B̃ T B̃R. i=1
Problem: Considering control signal δf = K(R − M ẋ), needs to satisfy stability requirements. If the controller gains
the gain matrix K is found, such that the closed-loop system satisfy the stability conditions, then the minimization problem
(21) is asymptotically stable, and the L2 gain from the output (48) is solved by the LMI solver, and the resulting γ is assigned
vector y(t) to the reference input R(t) is minimized. Thus, the as the value of the cost function of the GA. Otherwise, if the
following optimization problem requires to be solved: closed-loop system is unstable or if the feasible solution of the
LMI cannot be found, a large number is considered for the cost
min γ (48) function.
For the stability condition, the closed-loop vertex subsystems
subject to and the closed-loop nominal system must be strictly Hurwitz.
Therefore, the minimization loop is as follows [31]:
ÃTi P + P Ãi + ÃTi Ãi (P + Ãi )T B̃i
≤0
B̃iT (P + Ãi ) B̃iT B̃i − γ 2 I Call gains (wx , wy , wG ) from MATLAB GA Toolbox
If Remax {λ(ÃN )} < 0
i = 1, . . . , N
If max{Remax (λ(ÃN ))} < 0 i = 1, 2
P > 0 and γ > 1. (49) Solve the optimization problem (48)
Else
Remark: In this paper, we have tried to minimize the up- Assign a large number to the cost function
per bound on L2 gain between output and input signals to End
have a better performance. In other words, controller gains End
(wx , wy , wG ) need to be calculated such that they guarantee
the minimum value of γ. In addition, the constraint y > 1 is Here, λ is the eigenvalue function. Ãi denotes the closed-
added since the upper bound that is less than 1 can deteriorate loop vertex subsystem, whereas ÃN = (I + BΣ K1 )−1 AΣ
the performance. is the closed-loop nominal system, r=2 in which AΣ =
Since Ã1 is a function of K [see (40)], the optimization (1/r) r=2i=1 Ãi and B Σ = (1/r) i=1 B̃i stand for the
problem given earlier is bilinear due to the multiplication of nominal system matrix and the nominal input vector,
the optimization parameters P and K. Some important results respectively. The given algorithm continues until the minimum
about the solution of such control problems in special cases of the cost function γ is found, and consequently, an acceptable
are available in the literature [26]–[28]. However, there is no controller gain is achieved.
general analytical solution to this optimization problem because
the dynamics of the control system subject to polytopic uncer-
tainties cannot be reduced to a convex optimization problem V. S IMULATION
[29]. Hence, the GA is adopted to find the optimization solution
A. Bicycle Model
according to the GA stochastic search capability.
Here, a combination of the LMI and the GA is employed to For stability analysis and optimization problem, a bicycle
find the optimized controller gain by minimizing the L2 gain of model is used to accord with the objective of this paper. The
the system. The approach proposed in [30] and [31] is adopted bicycle model represents the vehicle dynamics in the linear
to find an optimized gain for the controller with the minimized region accurately and is suitable for the study of the proposed
L2 gain of the system. controller. Assuming that the tires are in their linear region, the
It is noted that if the controller gain K is known, the functions, defined in (19) for a front-wheel-steerable vehicle
inequalities in (49) are linear and can be solved easily by an bicycle model, are given in (50)–(52), shown at the bottom of
LMI solver. Moreover, controller gain K is a function of wx , the page, where i = 1 corresponds to the front wheel, whereas
wy , and wG . Thus, using the GA, a random set of controller i = 2 shows the rear wheel. ms and Iz are the mass of the
gains (wx , wy , wG ) is selected. Each set of controller gains vehicle and its yaw moment of inertial around the z axis,
⎡ ⎤
ms 0
0
M=⎣ 0 0⎦
ms (50)
⎡ 0 0
Iz ⎤
−μC1 δ − tan−1 y vx 1
v +L r
sin(δ) + ms rvy
⎢ ⎥
⎢ v −L r ⎥
g(x, δ) = ⎢ μC1 δ − tan−1 y vx 1 cos(δ) − μC2 tan−1 y vx 2 − ms rvx ⎥
v +L r
(51)
⎣ ⎦
v −L r
μC1 δ − tan−1 y vx 1 cos(δ)L1 + μC2 tan−1 y vx 2 L2
v +L r
⎡ ⎤
(f1 cos(δ) + f2 )
h(f, δ) = μ ⎣ f1 sin(δ) ⎦ (52)
f1 sin(δ)L1
Authorized licensed use limited to: ITA - Instituto Tecnológico de Aeronáutica. Downloaded on May 02,2024 at 17:02:30 UTC from IEEE Xplore. Restrictions apply.
1546 IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 62, NO. 4, MAY 2013
γ = 29.08
respectively. Li is the distance from the vehicle CG, and μ VI. D RIVER C OMMAND I NTERPRETTER M ODULE
represents the road surface coefficient. Ci is the tire stiffness
coefficient. The dynamic equations (50)–(52) are highly non- Usually, this module has been defined as an upper controller
linear. Thus, they are linearized around an operating point as that generates the desired signals to keep the vehicle in stable
(vxo , vyo , ro ) = (50 km/h, 0 km/h, 0.5171 rad/s) and for δ = regions. However, this concept may result in over-restricting the
5π/180 rad. This results in (53) and (54), shown at the bottom driver in emergency cases. In these cases, the controller may
of the page. keep the vehicle in the stable region at the cost of overriding
control capability on the vehicle, leading to avoidable accidents.
Furthermore, to have the vehicle stable within the limitations
B. Gain Optimization of both the vehicle and the road, the reference signals should
allow the vehicle to be reactive to the commands of the driver.
Here, the optimization problem (48) is solved using the
To address these issues, the objective of DCIM is to generate
proposed GA/LMI algorithm for the bicycle vehicle model,
target signals based on commands provided by the driver under
assuming small values for δ. Next, the optimized gains are
normal driving conditions.
applied to a full vehicle model in CarSim. In the optimization
A driver typically manipulates the vehicle through the steer-
problem (48), the surface road coefficient μ is considered to
ing wheel and the gas/brake pedal to achieve his/her intended
be an uncertain parameter. The parameters considered for the
directional motion. The objective of the controller is to provide
analysis of the system are shown in Table I.
the driver with the similar driving feel to what he/she would
The eigenvalues of the linearized system are λ = (−0.1985,
experience on dry road conditions, while tires have normal
−3.9672 + 0.3300i, −3.9672−0.3300i). Hence, det(A) = 0,
characteristics. As such, it is assumed that, in DCIM, the road
and the system is well posed and stabilizable. Additionally, pair
surface coefficient μ is equal to 1 and that the tire characteristics
(A, B) is full rank and controllable.
are not subject to aging and wearing. Efficiency and accuracy
For optimization purposes, the lower and upper bounds on
are two conflicting objectives that have to be considered when
the optimization variables are defined as
developing DCIM. The module should be computationally
0 ≤ wx ≤ 100, 0 ≤ wy ≤ wdf , 0 ≤ wG ≤ 2000. efficient enough for real-time implementation and be accurate
enough to avoid overestimating/underestimating the driver’s
Remark: The lateral motion can be modified slightly by the intent. Considering the physical limitations, a nonlinear vehicle
proposed controller since adjustments can only be made to bicycle model is utilized to map the driver manipulation signals
longitudinal forces. Thus, to reduce the transfer of the error of to controller reference signals F ∗ while maintaining reasonable
the lateral motion to other directions, it is recommended that limits to the controller reference signals. The controller gener-
0 ≤ wy ≤ wdf . This constraint is mathematically investigated ates the proper control actions based on these data, as needed.
for a bicycle vehicle system in the Appendix. Accordingly, reference signals are calculated from functions
The lower and upper bounds on wx and wG are defined given in (51) and (52) with the assumption of μ = 1 and perfect
based on the eigenvalue analysis of the system. The bounds on tire conditions as follows:
the uncertain parameter are 0.5 ≤ μ ≤ 1, whereas wdfi is set
equal to 1. F ∗ = g(x, δ)μ=1 + h(f, δ)μ=1 . (55)
For the calculation of F ∗ , the tire forces fxi and fyi are
calculated using a nonlinear combined slip tire model proposed
in [32], i.e.,
φx (αi , Ki ) = 1 − λyi sec h(γyi ∗ Ki ) tanh(βyi ∗ αi )2 (61)
v − rωi
Ki = (62)
max(v, rωi )
v + Li r
αi = δi − tan−1 − Crolli φi (63)
u
Fig. 6. Applied torque on vehicle wheels.
mg
Fzi = . (64)
2
In the given equations, c1xi , c2xi , c3xi , c1yi , c2yi , c3yi , λxi ,
γxi , βxi , λyi , γyi , and βyi are tire constant values. Fzi is the
vertical tire force. Croll stands for the roll steering coefficient.
In (63), the slip angle relation is modified by adding the effect
of roll angle as proposed in [33]. The roll angle can be estimated
by a single degree of freedom roll dynamic model, i.e.,
1
φ̈ = −mHRC (v̇+ru)+mgHRC φ−Kφ φ−Cφ φ̇+Ixz ṙ
Ix
(65)
where φ, HRC , Kφ , and Cφ are the roll angle, the height of the
roll center, the roll stiffness, and the roll damping, respectively. Fig. 7. Driver’s wheel steering input.
In addition, the dynamics of wheels are modeled as
value, the upper bound will be considered to be the target value.
1 Fig. 5 shows the DCIM block, whereas Fig. 2 shows the overall
ω̇i = (Qi − fxi Rt ) (66)
Iw block diagram of the system.
where, ωi is the angular velocity of the wheel, and Qi is the
applied torque on each wheel. Iw shows the wheel inertial VII. S IMULATIONS
moment. Based on the tire/road conditions, defining an upper
bound on desired forces calculated by (55) are required to avoid Here, a full-vehicle model in CarSim is used to investigate
generating an excessive side and longitudinal slips. In a steady the accuracy of DCIM, followed by a study into the perfor-
state and in stable conditions, the upper bound are defined as mance of the controlled system shown in Fig. 2 for some
follows [2], [34]: scenarios. For simulation purposes, the driver’s torque input
and steering wheel angle shown in Figs. 6 and 7 are applied.
2 The signals include sharp wheel steering and hard braking
∗ Qi
Fx ≤ μ and accelerating conditions, which are important for control
i=1
Ri
performance evaluation. In addition, it is assumed that the
Fy∗ ≤ μmg initial velocity is 100 km/h.
μg
G∗z ≤ − .
vx A. DCIM Verification
It is noted that road surface coefficient μ needs to be es- The function of DCIM is to provide reasonably accurate
timated from an estimation module. However, its estimation estimation of CG forces to the controller subject to perfect
procedure is beyond the scope of this paper. In cases where any road/tire contact and stable conditions. Assuming dry road
of the target signals calculated by (55) are greater than the upper conditions, the CG forces obtained from CarSim are compared
Authorized licensed use limited to: ITA - Instituto Tecnológico de Aeronáutica. Downloaded on May 02,2024 at 17:02:30 UTC from IEEE Xplore. Restrictions apply.
1548 IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 62, NO. 4, MAY 2013
Fig. 14. Control actions (torque adjustments) on rear wheels. Fig. 17. Error of yaw moments on CG.
A PPENDIX
Lateral motion can be slightly modified by the proposed
controller since only the longitudinal forces can be adjusted.
To have a stable system, it is recommended that 0 ≤ wy ≤
wdf . The above constraint is mathematically investigated for a
bicycle vehicle system in the following.
Assuming the case that wy and wG are set to zero, the control
actions are
wx
δfxf = Ex (I.1)
(2wx + wdf )
wx
δfxr = Ex . (I.2)
Fig. 20. Adjusted torque on front-left wheel. (2wx + wdf )
wy δ
δfxf = Ey (I.5)
(wy δ 2 + wdf )
δfxr = 0. (I.6)
Barış Fidan received the B.S. degrees in electri- Bakhtiar Litkouhi received the B.Sc. degree in
cal engineering and mathematics from Middle East mechanical engineering, the M.Sc. degree in applied
Technical University, Ankara, in 1996; the M.S. mathematics, and the Ph.D. degree in systems sci-
degree in electrical engineering from Bilkent Univer- ence, specializing in controls.
sity, Ankara, in 1998; and the Ph.D. degree in elec- He was an Assistant Professor with Oakland Uni-
trical engineering from the University of Southern versity, Rochester, MI. He was the Acting Director
California (USC), Los Angeles, in 2003. with the Electrical and Controls Integration Labo-
In 2004, he was with USC as a Postdoctoral Re- ratory, Global Research and Development Center,
search Fellow. From 2005 to 2009, he was with the General Motors Company, Warren, MI. He was a
National ICT Australia and with the Research School Program Manager for several large-scale projects on
of Information Sciences and Engineering, Australian intelligent vehicle systems, human–machine faces,
National University, Canberra, Australia. He is currently an Assistant Professor systems engineering, and integrated vehicle control, where he has made many
with the Department of Mechanical and Mechatronics Engineering, University contributions through numerous patents, publications, and presentations. He
of Waterloo, Waterloo, ON, Canada. His research interests include autonomous is currently the Manager of perception and vehicle control systems with the
multiagent dynamical systems, sensor networks, cooperative target localization, Global Research and Development Center. He is also a Program Manager
adaptive and nonlinear control, switching and hybrid systems, mechatronics, with the General Motors–Carnegie Mellon University Autonomous Driving
and various control applications, including vehicle and transportation control, Collaborative Research Laboratory and a member of the Board of Directors
high-performance and hypersonic flight control, semiconductor manufacturing with the Waterloo Center for Automotive Research.
process control, and disk-drive servo systems. Dr. Litkouhi is a board member of the Intelligent Transportation Society of
Michigan.
Authorized licensed use limited to: ITA - Instituto Tecnológico de Aeronáutica. Downloaded on May 02,2024 at 17:02:30 UTC from IEEE Xplore. Restrictions apply.