Eigenvalue and Eigenvector Analysis of Stability
Eigenvalue and Eigenvector Analysis of Stability
Many authors have recognized that traffic under the traditional car-following
model (CFM) is subject to flow instabilities. A recent model achieves sta-
bility using bilateral control (BCM)—by looking both forward and backward
[1]. (Looking back may be difficult or distracting for human drivers, but is
not a problem for sensors.) We analyze the underlying systems of differen-
tial equations by studying their eigenvalues and eigenvectors under various
boundary conditions. Simulations further confirm that bilateral control can
avoid instabilities and reduce the chance of collisions.
1. Introduction
Address for correspondence: Prof. Berthold K. P. Horn, Department of Electrical Engineering and
Computer Science, Massachusetts Institute of Technology, Cambridge, MA 02139, USA; e-mail:
[email protected]
DOI: 10.1111/sapm.12144 1
STUDIES IN APPLIED MATHEMATICS 00:1–30
C 2016 Wiley Periodicals, Inc., A Wiley Company
2 L. Wang et al.
the original paper [1]. We prove that bilateral control suppresses traffic
instabilities under all the different boundary conditions—infinite line, cir-
cular boundary, fixed-fixed boundaries, free-free boundaries, and fixed-free
boundaries. In contrast, the CFM is unstable for any and all of the boundary
conditions. For the CFM under the fixed boundary condition, the corre-
sponding “big matrix” of the ODE system is similar to a block Jordan form.
There are only two eigenvectors. The “big matrix” is not diagonalizable. We
analyze this interesting case and show that its performance is very similar
to the case of a circular boundary condition—in which discrete Fourier
transform (DFT) analysis can be applied. Thus, the overall car-traffic system
will become unstable and collisions will occur.
Simulation results confirm the instability of the CFM. A tiny perturbation
in an equilibrium state will soon cause a traffic jam and collisions. Bilateral
control can suppress the traffic flow instability and collision very effectively.
The traffic system soon returns to an equilibrium state, even in the case
that bilateral control is only turned on just before a traffic jam becomes
imminent.
2. Related work
into the traffic flow under bilateral control. Moreover, at least as presently
envisaged, the size of each platoon is small (several cars in general), while
bilateral control focuses on the whole traffic flow. It seems more practical to
use sensor-based control technology (e.g., bilateral control) to solve traffic
problem than to build vehicular networking infrastructure.
Mathematically, bilateral control and bi-directional platoon control use the
information of the positions of both leading and following cars for control
[11, 12]. However, bi-directional platoon control uses the velocity of the first
car (or a prespecified velocity) to adjust the states of all cars in the platoon
[11, 12]; while bilateral control uses the speed of the neighboring cars to
adjust the state of the current car.
Before the invention of bilateral control, there were attempts at using
bi-directional information. Nakayama et al. use bi-directional information
to improve the traditional optimal velocity (OV) model [16]. Treiber and
Helbing use bi-directional information to improve throughput of the traffic
system [17]. Horn pointed out that (1) the information from the leading
and following cars should contribute equally and (2) adding “dampers” will
cause traveling waves to die out [1]. He called this new model bilateral
control and proved its ability to eliminate the “phantom traffic jams” and
“stop-and-go” instabilities (caused by the CFM).
Let xi (t) be the position of the i-th car, and vi (t) = ẋi (t) be its velocity.1
The pair {xi (t), vi (t)} gives the state of the i-th car, which is adjusted
through the acceleration ai (t) = ẍi (t) commanded by the control system. For
the CFM,2
where s is known as the safe distance, kd > 0 and kv > 0 are the
proportional and derivative gains, respectively. In this model, control of car
i is based only on the relative position and relative velocity of car i − 1
immediately ahead. For the BCM,
1 1
ai = kd ((xi−1 − xi ) − (xi − xi+1 )) + kv ((vi−1 − vi ) − (vi − vi+1 )). (2)
2 2
1 Note that x
i−1 and x i denote the positions of the leading and current cars. The positive direction is
chosen as the direction in which cars are moving, thus, xi−1 − xi > 0 (see Fig. 1).
2 Here, we consider only the case where the velocity of the cars is all between zero and the speed
limit of the highway. Otherwise, the difference between the car’s current velocity and a desired
velocity, denoted by vi − vdes , should be added as a control input [1].
4 L. Wang et al.
Figure 1. Illustration of the car-following model and bilateral control model. The blocks
with “L”, “C,” and “F” denote the leading car, current car, and following car. (a)
Car-following control is based only on the state of the leading car “L”. (b) Bilateral control
uses the states of both leading car “L” and following car “F”.
Now the control of car i is based on the relative positions and relative
velocities of both car i − 1 ahead and car i + 1 behind. Figure 1 shows the
two models.
In the ideal case, all the cars are spaced the safe distance s apart and
move at the same speed v0 . In this case, all the accelerations ai in Eqs.
(1) and (2) are zero, and the traffic continues in the equilibrium state. The
important question then is whether this equilibrium is stable, meta-stable, or
unstable. If there is a small perturbation in xi (t) or vi (t), will the traffic
system return to the equilibrium state or will there be increasing departures
from the equilibrium, which ultimately lead to a traffic jam? To answer this
question, we will analyze Eqs. (1) and (2).
1 1
BCM: ÿi + kv ẏi + kd yi = kv ( ẏi−1 + ẏi+1 ) + kd (yi−1 + yi+1 ) . (5)
2 2
Now {yi (t), ẏi (t)} are the state of the i-th car in the relative reference
system (relative position and relative speed). Note that the left-hand sides of
Eqs. (4) and (5) are the same, and correspond to a spring-damper-mass
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 5
Figure 2. The second-order ODEs (4) and (5) describe a spring-damper-mass system. The
right-hand side of Eqs. (4) and (5) are the external inputs. (a) If the right-hand side of Eq.
(4) or (5) is zero, then the system is attached to a fixed wall. (b) The external inputs of
the system can be imagined as a “moving” wall. For the CFM, the state of the “moving”
wall is chosen as the state of the leading car. For BCM, the state of the “moving” wall is
chosen as the average of the states of the leading and following cars. (c) Bilateral control
obeys Newton’s third law. All the spring-damper-mass modules can be cascaded physically
as a large system. That is not the case for the CFM.
system. The right-hand sides of Eqs. (4) and (5) describe the external input
to that spring-damper-mass system. The external inputs of the system can be
imagined as a “moving” wall (see Fig. 2b). For the CFM, the state of the
“moving” wall is chosen as the state of the leading car. For BCM, the state
of the “moving” wall is chosen as the average of the states of the leading
and following cars.
First, note that the CFM does not correspond directly to a real mechanical
system, because it does not obey Newton’s third law. The state of the
leading car acts on the effective spring and damper connected to the i-th car,
while the car i − 1 does not react to changes from the following driver i.
It is as if a “buffer” device was inserted that replicates the position of the
leading car. The spring and damper would be attached to this “buffer,” not
the leading car directly. The BCM on the other hand does correspond to a
real physical system and obeys Newton’s third law. This makes it possible
to employ physical intuition for BCM. For instance, the spring-damper-mass
modules can be cascaded physically as one large system (see Fig. 2c).
Intuitively, the waves caused by perturbation of one of the masses will travel
in two opposite directions, and be damped as they travel.
d
CFM: Yi = NY i−1 + MY i , (6)
dt
6 L. Wang et al.
d 1 1
BCM: Yi = NY i−1 + MY i + NY i+1 , (7)
dt 2 2
where
yi 0 0 0 1
Yi = , N= , M= .
ẏi kd kv −kd −kv
Let Y = (· · · , Yi−1
T
, YiT , Yi+1
T
, · · · )T be the state vector containing the states
of all the cars in the traffic system. From Eqs. (6) and (7), we can build two
big ODE systems:
d d
(CFM) Y = AY and (BCM) Y = BY. (8)
dt dt
A and B are both block-constant-diagonal (or block-Toeplitz) matrices:
⎛ ⎞ ⎛ ⎞
.. .. ..
. . .
⎜. ⎟ ⎜ ⎟
⎜ .. ⎟ ⎜ . ⎟
⎜ M ⎟ ⎜ .. M N /2 ⎟
⎜ ⎟ ⎜ ⎟
A=⎜ N M ⎟ , B = ⎜ N /2 M N /2 ⎟.
⎜ ⎟ ⎜ ⎟
⎝ N M ⎠ ⎜ N /2 M
..
. ⎟
⎝ ⎠
.. .. . .
. . .. ..
3 Fora doubly infinite Toeplitz matrix A, we can define etA Y(0) = S eλ(ω)t S −1 Y(0) . Here, S −1 Y(0)
denotes the DTFT of Y(0), S( f (ω)) denotes the inverse DTFT of f (ω), and λ(ω) —called the
eigenvalue (function) of A—is the DTFT of one row of A.
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 7
In our case, M and N are both 2 × 2 matrices. One more step is needed.
The eigenvector U (ω) is the Kronecker tensor product of u(ω) and a 2 × 1
vector p(ω) = (a(ω), b(ω))T :
U (ω) = u(ω) ⊗ p(ω)
= (· · · , a(ω)wl−1 , b(ω)wl−1 , a(ω)wl , b(ω)wl , a(ω)wl+1 , b(ω)wl+1 , · · · )T , (11)
where w = e− jω as above. For CFM, the eigenvalue λ(ω) corresponding to
U (ω) can be found by solving
λ(ω) p(ω) = M p(ω) + w(ω)N p(ω).
That is, λ(ω) and p(ω) are the eigenvalue and eigenvector of the 2 × 2
matrix M + w(ω)N . The corresponding characteristic equation is
λ2 (ω) + (1 − w(ω))kv λ(ω) + (1 − w(ω))kd = 0. (12)
Note that the sum of the real parts of the two eigenvalues is smaller or equal
to zero. Thus, the real part of one of the eigenvalues must be smaller or
equal to zero. It is not as easy to determine the sign of the real part of the
other eigenvalue. However, the result is as follows:
• the real part of the other root of Eq. (12) is greater than zero, except
in the extreme case when kd = 0.
One way of seeing this conclusion is to consider the case that ω is pretty
small, such that 1 − e− jω ≈ jω. Then Eq. (12) can be approximated by
λ2 (ω) + jωkv λ(ω) + jωkd = 0.
The real part of the two roots are
√
2
2
± −ω kv + ω2 kv2 + 16ω2 kd2 .
2 2
4
The real part of both roots is zero if and only if kd = 0. Otherwise, the real
part of one root must be positive. In Appendix A, we give a rigorous proof
of the following result:
• the eigenvalues have nonpositive real part for the CFM only in the
extreme case kd = 0. Then, the control system ignores the distance to
the leading car and uses only the relative speed of the leading car.
For BCM, the eigenvectors are also of the form U (ω) = u(ω) ⊗ p(ω),
however, the eigenvalues are found by solving
1
λ(ω) p(ω) = M p(ω) + (e− jω + e jω )N p(ω)
2
= (M + N cos(ω)) p(ω).
Similarly, λ(ω) and p(ω) are the eigenvalue and eigenvector of the 2 × 2
matrix M + N cos(ω). The corresponding characteristic equation is
The sum of these two eigenvalues is −(1 − cos(ω))kv ≤ 0, and the product
of these two eigenvalues is (1 − cos(ω))kd ≥ 0. Thus, the real parts of both
eigenvalues are smaller than or equal to zero. The only case where the
eigenvalue is zero is when ω = 0, which corresponds to the equilibrium
state where the cars are spaced equally and are moving at the same speed.
The car-state mode corresponding to other eigenvectors U (ω) (with ω = 0)
will decay to zero. Thus, the traffic system goes to the equilibrium state
from an arbitrary initial state when using bilateral control. That is, bilateral
control can suppress traffic flow instabilities.
5. Boundary conditions
0.25 0.05
max Real(λ (k ,k ))
d v
0.2
0.15
0.15
0.1
k
0.05 0.2
0
0.3 0.25
0.2
0.25 0.3
0.1 0.2
0.15 0 0.05 0.1 0.15 0.2 0.25 0.3
0.1
k : from 0 to 0.3 0 0.05
v
0 kd: from 0 to 0.3 k : from 0 to 0.3
d
Figure 3. The maximum real part of the eigenvalues for the car-following model, denoted
by λmax = maxk {Real(λk (kd , kv ))}, under the circular boundary condition. Both kd and kv
are in the range from 0 to 0.3. Even when K is small enough, for example, K = 10, the
region such that λmax = 0 is still pretty small (the “white region” in (b)). The choice of kd
in the “white region” of (b) is too close to zero to be useful in real applications.
U k = u k ⊗ pk
T
= ak , bk , wk ak , wk bk , · · · , wkl ak , wkl bk , · · · , wkK −1 ak , wkK −1 bk . (14)
Now, all the eigenvalues are with negative real part. Thus, the final state is
Y(∞) = 0, that is, a special case of the equilibrium state. Note that the first
and last cars are fixed, thus, the total length of the traffic system does not
change. The final speed of the traffic system is the same as the speed of the
first car (and the last car).
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 11
5.2.2. Free-free boundary. Suppose that the state of the boundary car 0
is the same as the state of the car 1 behind (in the relative reference),
that is, y0 = y1 and ẏ0 = ẏ1 , moreover, the state of the boundary car K + 1
is also the same as the state of the car K ahead, that is, y K +1 = y K and
ẏ K +1 = ẏ K . Note that the states of the boundaries (cars 0 and car K + 1)
are changing to match the states of their neighbors, rather than fixed. Now,
the matrix B is
⎛ ⎞
M1 N /2
⎜ .. ⎟
⎜ N /2 M . ⎟
B=⎜ ⎟,
⎝ ..
.
..
. N /2 ⎠
N /2 M1
where
0 1
M1 = .
−kd /2 −kv /2
The real part of λk is less than zero for k = 1, · · · , K − 1. The only case
that λk = 0 is k = 0. The corresponding state is Y(t) = (a0 + b0 t, b0 , a0 +
b0 t, b0 , · · · , a0 + b0 t, b0 )T , when all the relative positions (and also relative
speeds) are shifted by the same amount. We can choose new relative
position and speed such that Y(t) = 0. Thus, free-free boundaries model
the traffic system from one equilibrium state to another equilibrium state
by bilateral control, during which the relative speed and the space between
the successive cars can be adjusted to match the demanded values. This
illustrates the flexibility of BCM.
u k = (sin ((k − 1/2)h) , sin ((k − 1/2)2h) , · · · , sin ((k − 1/2)K h))T ,
Now, the real part of λk is negative for all k = 1, 2, · · · , K . Thus, the final
state is Y(∞) = 0. All the cars are equally spaced and move at the same
speed. The state of the first car is fixed (used as the reference). The last car’s
state matches its leading car (i.e., what the CFM tries to implement). The
final speed of the traffic system is the same as the speed of the first car in
this case. Moreover, the total length of the traffic system can be changing
during the process of going to the equilibrium state (which is different from
the case of the fixed-fixed boundaries)
Figure 4 shows the numerical results of the real part of the eigenvalues
{λk } for the BCM under the various four boundary conditions: circular,
fixed-fixed, free-free, and fixed-free. The parameters are set as kd = kv =
0.2 and K = 100. All the eigenvalues are with nonpositive real part.4
Comparing Eq. (13) with Eqs. (16), (17), (18), and (19), respectively, we
can see that the eigenvalues of the BCM under different boundary conditions
(circular, fixed-fixed, free-free, and fixed-free) are exactly the equally spaced
sampling results of the (continuous) eigenvalues in the infinite boundary
condition (i.e., it is not necessary to consider the boundary condition), with
the step size ω chosen as 2π/K , π/(K + 1), π/K , and π/(K + 1/2),
respectively. The BCM is stable under the infinity boundary condition, thus,
it will also be stable under these four different finite boundary conditions.
4 The eigenvalues calculated by MATLAB command “eig( )” are sorted on their norm. Then, we
resort the eigenvalues by their real part.
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 13
0 0
−0.05 −0.05
−0.1 −0.1
−0.15 −0.15
−0.2 −0.2
0 50 100 150 200 0 50 100 150 200
0 0
−0.05 −0.05
−0.1 −0.1
−0.15 −0.15
−0.2 −0.2
0 50 100 150 200 0 50 100 150 200
Figure 4. The real-part of the eigenvalues of the bilateral control model under various
boundary conditions. The parameters are chosen as kd = kv = 0.2 and K = 100. All the
eigenvalues have nonpositive real part. The labels under the horizontal axis are the indices
of the eigenvalues.
In the case of BCM, if the “blocks” M and N are treated as two scalars,
then B will become a symmetric matrix for all of the three special boundary
conditions (fixed-fixed, free-free, and fixed-free). Thus, B is diagonalizable
[18], that is, there are enough eigenvectors to span the whole space.
However, for the CFM, the eigenvalue decomposition analysis does
not work for other boundary conditions. The “big matrix” A cannot be
diagonalized when M and N are treated as scalars. For instance, in the fixed
boundary condition,5 the “big matrix” A is
⎛ ⎞
M
⎜N M ⎟
⎜ ⎟
A=⎜ ⎜
N M ⎟.
⎟
⎝ .. ..
. . ⎠
N M
5 Note that the boundary condition for the CFM is just the state of the first car, rather than the
states of both of the first and last cars (as used in the BCM).
14 L. Wang et al.
6M is treated as a scalar temporarily, we will give the solution when M is a 2 × 2 matrix later.
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 15
7 Note that the numerical algorithm is not guaranteed to find the correct eigenvalues. Nevertheless,
the numerical solutions for some of the eigenvalues predict the performance of the system. Some
“eigenvalues” estimated by the numerical algorithm have positive real parts (as shown in Fig. 5b).
Thus, the corresponding components of a perturbation will be amplified very quickly when they
are multiplied by the matrix A for finite times. Thus, car-following control with fixed boundary
conditions will also lead to traffic jams (or result in collisions).
16 L. Wang et al.
0.2 0.2
0.1 0.1
0 0
−0.1 −0.1
−0.2 −0.2
Figure 5. The numerical results of the real-part of the eigenvalues of the car-following
model under various boundary conditions (kd = kv = 0.2 and K = 100). Some of the
“eigenvalues” (obtained by the numerical algorithm) have positive real parts.
100
10
circular boundary
80
10 fixed boundary
||exp(t A)||
60
10
40
10
20
10
0
10
0 200 400 600 800 1000 1200 1400
Time t: from 0 to 1400 seconds
Figure 6. The norm of etA in the circular boundary (dash line) and fixed boundary (solid
curve). In the circular boundary, ||etA || increases exponentially with time t. In the fixed
boundary, ||etA || increases approximately exponentially at the beginning, and decays only
when t is large enough.
6. Simulation results
8 Some more complicated schemes, for example, the fourth-order Runge-Kutta method, can also be
used to solve the ODEs in (8) with much higher order accuracy. However, more memory space is
needed, and the computational cost is much higher. In real application, we want the implementation
of the control system to be as simple as possible. Thus, in this paper, we use the forward Euler
method for the numerical simulations.
18 L. Wang et al.
50 50
45 45
40 40
35 35
time (second)
time (second)
30 30
25 25
20 20
15 15
10 10
5 5
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(a) yk (t) (k = 1, 2, · · · , 50) (b) ẏk (t) (k = 1, 2, · · · , 50)
Figure 7. If the traffic is stable, then all the cars will be spaced equally and move at
the same speed. The relative position yk (t) and relative speed ẏk (t) doesn’t vary with time.
Thus, yk (t) and ẏk (t) are all vertical lines. The bold lines are the state of the first car (i.e.,
boundary).
control is turned on only just before the traffic chaos caused by the
car-following system sets in.
Figure 9 shows the simulation result with small perturbations of the
relative speed of the cars, that is, a random number in the range ±1 m/s.
The CFM becomes unstable quickly and the traffic jam happens. Bilateral
control suppresses traffic instability again. The BCM is used just before the
jam caused by the CFM, and then the traffic system quickly becomes stable
again.
Even if the initial condition is the equilibrium state. Under car following
control, the tiny small oscillation in the state of the first car (boundary)
is amplified in the state of the second car, and then is amplified again
in the state of the third car, and so on. Figure 10 shows the simulation
result with small perturbations of the speed of the boundary car 0, that
is, a random number between ±1 m/s. In the beginning, yk (0) = ẏk (0) = 0
for all k = 1, 2, · · · , 50. The car-traffic system under car-following control
becomes unstable quickly. If BCM is used in time, traffic instability can be
suppressed efficiently.
7. Conclusion
50 50
45 45
40 40
35 35
time (second)
time (second)
30 30
25 25
20 20
15 15
10 10
5 5
0 0
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(a) {yk (t)} (car-following) (b) {ẏk (t)} (car-following)
70 70
60 60
50 50
time (second)
time (second)
40 40
30 30
20 20
10 10
0 0
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(c) {yk (t)} (bilateral control) (d) {ẏk (t)} (bilateral control)
Figure 8. If there is small perturbations of the space between cars, then the car-following
model (CFM) will become unstable quickly (car collisions start at about 25 seconds). If
bilateral control is used before collision, then the car-traffic system quickly becomes stable
again. The first 20 seconds results in (c) and (d) are generated by CFM, then bilateral
control (fixed-free boundaries) is used promptly. The state of the first car (boundary) is set
to be zero.
50 50
45 45
40 40
35 35
time (second)
time (second)
30 30
25 25
20 20
15 15
10 10
5 5
0 0
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(a) yk (car-following) (b) ẏk (t) (car-following)
70 70
60 60
50 50
time (second)
time (second)
40 40
30 30
20 20
10 10
0 0
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(c) yk (bilateral control) (d) ẏk (t) (bilateral control)
Figure 9. If there is small perturbation of the speed of the cars, then the car-following
model (CFM) will be unstable, and collision happens quickly (at about 22 seconds). If
bilateral control is used before collision, then the car-traffic system becomes stable quickly.
The first 18 seconds results in (c) and (d) are generated by CFM, then bilateral control
(fixed-free boundaries) is used promptly. The state of the first car (boundary) is set to be
zero.
system for the BCM all have nonpositive real part, thus, the traffic system
will become stable from arbitrary initial state when using bilateral control.
We also analyze the CFM and BCM under various boundary conditions.
“Don’t tailgate.” That is, do not come closer to the car in front of you
than the distance between you and the car behind you. This may be the big
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 21
70 70
60 60
50 50
time (second)
time (second)
40 40
30 30
20 20
10 10
0 0
0 10 20 30 40 50 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(a) yk (car-following) (b) ẏk (t) (car-following)
90 90
80 80
70 70
60 60
time (second)
time (second)
50 50
40 40
30 30
20 20
10 10
0 0
0 500 1000 1500 0 10 20 30 40 50
car index: from 0 to 50 car index: from 0 to 50
(c) yk (bilateral control) (d) ẏk (t) (bilateral control)
Figure 10. Under car following control, the tiny small oscillation in the state of the first
(boundary) car is amplified in the state of the second car, and then is amplified again in
the state of the third car, and so on. The collision happens quickly (at about 40 seconds).
If BCM is used before collision, for example, at 32 seconds, then the car-traffic system
becomes stable quickly. The initial condition is the equilibrium state.
idea behind bilateral control. It is good for the community of drivers and
provides advantages, such as freedom from traffic flow instabilities, which
can be proven mathematically.
In this paper, we only considered the simplest models—the linear
approximation of both the CFM and BCM. In real application, the speed of
22 L. Wang et al.
the car is limited to a range from vmin to vmax , and the possible acceleration
(and deceleration) of the car is also limited to some range from amin
to amax . Moreover, kd and kv need not be constant, but can be chosen
to be some functions of the relative distances and relative speeds. For
example, the feedback gains kd and kv can be made inversely proportional
to the distances and speed difference so as to provide stiffer control when
neighboring cars are near. This appears to be what drivers actually do,
mostly to avoid collisions in the car following situation.
In contrast, even the simplest linearized BCM—with both kd and kv
constants—can suppress traffic instabilities effectively. However, the BCM
can be improved beyond that simple linear version. For instance, both kd and
kv in the BCM can be made to be functions of the states of the neighboring
cars to increase the safety margin, make the system more robust to sensor
errors, increase fuel efficiency, and more aggressively damp traffic flow
instabilities. Moreover, communication between cars can be used to further
improve the safety margin and robustness of the system [15]. We plan to
work on these aspects in future.
Acknowledgment
9 Inthis paper, the square root of a complex number is chosen as the one with positive real part. (In
our case, the real part of the square root is not zero.)
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 23
ω ω
I (ω) = −e− jω sin2 kv2 − 2 jkd e− jω/2 sin
2 2
ω ω
2 ω
= 2 cos sin sin k − kd ,
2
(A3)
2 2 2 v
where { f } and { f } denote the real and imaginary part of the complex
number f . Then, we can calculate
d(ω) = R(ω) + j I (ω)
1
= ±√ R(ω) + R 2 (ω) + I 2 (ω).
2
For easy analysis, let p = sin2 (ω/2). The condition of nonpositive real part
of λ(ω) is that the inequality d 2 (ω) ≤ c2 (ω) holds for all 0 ≤ p ≤ 1, that
is,
Equation (A5) implies that kv2 /kd → ∞. Note that kv is a finite number (in
general, kv < 1). Thus, the condition kv2 /kd → ∞ means kd = 0. That is,
only the car’s speed is used by the control system, and finally all cars move
at the same speed. (Note that no guarantee of avoiding collision during this
process.)
In the case of circular boundary condition, ω is sampled as K points
{2π k/K }, and p = sin2 (ω/2) is also sampled as K points:
pk = sin2 (kπ/K ) , (k = 0, 1, 2, · · · , K − 1).
The corresponding equivalent condition of “non-positive real part for all
eigenvalues” is that Eq. (A5) holds for p chosen as all of the K sampled
points { pk }. Note that p0 = 0, the secondary smallest number is p1 . Thus,
all sample points { pk } will satisfy Eq. (A5) if and only if p1 satisfies Eq.
(A5). Now, we obtain the following condition for the stabilization of the
“car-following” model:
1
≤ sin2 (π/K ), (A6)
2 kv2 /kd + 1
24 L. Wang et al.
that is,
kv2 1 1 K2
≥ − 1 ≈ . (A7)
kd 2 sin2 (π/K ) 2π 2
As K increases, this condition will be more and more difficult to satisfy.
For the CFM with fixed boundary condition, the “big matrix” A is
⎛ ⎞
M
⎜N M ⎟
⎜ ⎟
A=⎜ ⎜
N M ⎟,
⎟
⎝ .. ..
. . ⎠
N M
where M and N are 2 × 2 matrices. We want to diagonalize both M
and N by a similarity transform. Start with the eigenvalue-eigenvector
decomposition of the 2 × 2 matrix M:
−1 λ1
M = PP = P P −1 .
λ2
Then, all blocks M in A are changed to by a simple similarity, and all
blocks N are changed to A = P −1 N P:
S−1 AS = F, (B1)
where
⎛ ⎞ ⎛ ⎞
P
⎜ P ⎟ ⎜A ⎟
⎜ ⎟ ⎜ ⎟
S=⎜ P ⎟, F=⎜ A ⎟
⎜ ⎟ ⎜ ⎟
⎝ ..
. ⎠ ⎝ ..
.
..
. ⎠
P A
and
λ1 −1 a11 a12
= , A=P NP = .
λ2 a21 a22
Now we want to change the 2 × 2 submatrices A to diagonal matrices D.
This is achieved by a second similarity transform of the big matrix F using
2 × 2 blocks C:
FW = WL, (B2)
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 25
where
⎛ ⎞ ⎛ ⎞
I
⎜C I ⎟ ⎜D ⎟
⎜ ⎟ ⎜ ⎟
W=⎜ C I ⎟, L=⎜ D ⎟
⎜ ⎟ ⎜ ⎟
⎝ ..
.
..
. ⎠ ⎝ ..
.
..
. ⎠
C I D
and
c11 c22 d1
C= , D= .
c21 c22 d2
C + A = D + C, or C − C = A − D. (B3)
Solutions C and D are not unique, but they exist. In fact only c12 and c21
are determined by Eq. (B3)
0 −c12 a11 − d1 a12
(λ1 − λ2 ) = .
c21 0 a21 a22 − d2
The entries c11 and c22 are arbitrary and we choose c11 = c22 = 0. The
diagonal matrix D and the matrix C are
a11 1 0 −a12
D= and C = . (B4)
a22 λ1 − λ2 a21 0
Now Eq. (B2) holds. The diagonal blocks I lead to determinant of W equal
to 1, thus W is invertible and F is similar to L.
Then the combined effect of the similarities in Eq. (B1) and (B2) is to
produce diagonal blocks and D to replace M and N in the big matrix:
The exponentials etA show the fast growth of perturbations in the car-
following system. Using this similarity, the same information is in etL —and
it is simpler to analyze because and D are diagonal.
From the matrix L, it is a short step to the official Jordan form J. Then
etJ has the same growth information as etL . The Jordan form J has just 2
blocks with the eigenvalues λ1 and λ2 —each repeated K times with only
one eigenvector,
J1
J= ,
J2
26 L. Wang et al.
First, G comes from L by a simple permutation of the rows and the same
permutation of the columns:
Thus, G is similar to L:
The form of G is
G1
G= ,
G2
⎛ ⎞
0 1 0 0 0 0 0 ··· 0 0
⎜0 0 0 1 0 0 0 ··· 0 0⎟
⎜ ⎟
P2 = ⎜ 0 0 0 0 0 1 0 ··· 0 0⎟.
⎜. . . . . . . .. .. .. ⎟
⎝ .. .. .. .. .. .. .. . . .⎠
0 0 0 0 0 0 0 ··· 0 1
This permutation matrix P is famous for its use in the fast Fourier transform
(FFT) algorithm [19].
A final similarity with a diagonal matrix D will replace d1 and d2 in G by
1—to produce the official Jordan form of the car-following matrix A. The
form of the diagonal matrix D is
D1
D= ,
D2
D−1 GD = J. (B7)
A = EJE−1 (B8)
and E = SWPT D.
si = vi T, (C1)
28 L. Wang et al.
where T is known as the response time, that is, the time taken by the
current car to react to sudden braking of the leading car.10 In general, T is
chosen to be about 1 second. Now, the simple CFM (1) becomes:
ai = kd (xi−1 − xi ) + kv (vi−1 − (1 + τ )vi ), (C2)
where τ = T kd /kv is positive. The eigenvalue-eigenvector decomposition
method still works for analyzing this new CFM (C2) with adaptive safe
distance. Only a small modification is needed. First, let s = 0 in (3), and
then let the 2 × 2 matrix M be
0 1
M= .
−kd −(1 + τ )kv
We can build the same “big ODE” system as in (8). The eigenvalues of the
block-Toeplitz matrix A are the roots of the following characteristic equation
(see Eq. (12)):
λ2 (ω) + (1 − w(ω) + τ )kv λ(ω) + (1 − w(ω))kd = 0, (C3)
where w(ω) = e− jω . The c(ω) in (A1) becomes
ω τ
c(ω) = −kv sin2 − kv < 0
2 2
and the R(ω) in (A2) and I (ω) in (A3) become
ω ω τ2
R(ω) = − sin2 1 − τ − 2 sin2 kv2 + 2kd + kv2 ,
2 2 4
ω ω τ 2
2 ω
I (ω) = 2 cos sin sin k − kd + kv ,
2
2 2 2 v 2
correspondingly. The stability condition (A5) gives the following con-
straint:
1 − (τ 2 /2 + τ ) kv2 /kd
p p−
2 ≥ 0, (C4)
2 kv /kd + 1 + τ kv2 /kd
10 A more detailed analysis takes into account possible differences in the speeds of the vehicles as
well.
Eigenvalue and Eigenvector Analysis of Stability for a Line of Traffic 29
That is,
2kd + kv2 − kv
T ≥ . (C5)
kd
Comparing this with the original “constant headway” control (1)—whose
stability condition (A5) can not be satisfied—we note that the stability
condition (C4) of the “constant time headway” control (C2) can be satisfied
under certain conditions. However, the (equivalent) stability condition (C5)
is still difficult to satisfy in a real traffic system. For instance, when both
kd and kv are in the (reasonable) range from 0 to 0.2, the “response time”
T must be larger than 2.3166 seconds (that minimum for T occurs when
kd = 0.2 and kv = 0.2). We get a value close to 1 second for T only when
both kd and kv are larger than 0.66.
Note that the stability condition (C5) provides a critical limitation
on the
traffic throughput.11 If the traffic throughput is larger than kd /( 2kd + kv2 −
kv ) (see Eq. (C5)), then traffic flow instabilities will arise (or collisions
will result). This corresponds to our experience that at low densities there
may be few problems, but that at high densities flow instabilities (“phantom
traffic jams”) will occur.
References
11 The traffic throughput is defined as v/(l + vT ) (which is less than 1/T ), where v is the car’s
speed and l is the car length.
30 L. Wang et al.