Continuum modeling of multiclass trac ¯ow
Serge P. Hoogendoorn
*, Piet H.L. Bovy
Faculty of Civil Engineering, Delft University of Technology, Stevinweg 1, 2628 CN Delft, The Netherlands
Received 7 August 1998; received in revised form 31 March 1999; accepted 8 April 1999
Abstract
In contemporary macroscopic trac ¯ow modeling, a distinction between user-classes is rarely made. However, it is envisaged that both the accuracy and the explanatory ability of macroscopic trac ¯ow models can be improved signi®cantly by distinguishing classes and their speci®c driving characteristics. In this article, we derive such a multiple user-class trac ¯ow model. Starting point for the derivation of the macroscopic ¯ow model is the user-class speci®c phase±space density, which can be considered as a gen-eralization of the traditional density.
The gas-kinetic equations describing the dynamics of the multiclass Phase±Space Density (MUC-PSD) are governed by various, interacting processes, such as acceleration towards a class-speci®c desired velocity, deceleration caused by vehicle interactions and the in¯uence of lane changing. The gas-kinetic equations serve as the foundation of the proposed macroscopic trac ¯ow models, describing the dynamics of the class-dependent spatial density, velocity and velocity variance. The modeling approach yields explicit re-lations for both the velocity and the velocity variance. These equilibrium rere-lations show competing pro-cesses: on the one hand, drivers accelerate towards their class-dependent desired velocity, while on the other hand, they need to decelerate due to interactions with vehicles from their own class and asymmetric in-teractions with vehicles from other classes. Using the operationalized model, macroscopic simulations provide insight into the model behavior for dierent scenarios. Ó 2000 Published by Elsevier Science Ltd.
All rights reserved.
1. Introduction
Contemporary trac control measures aim to pursue a more ecient use of existing infra-structure by recognizing the importance of distinguishing user-classes, such as trucks, buses, passenger-cars, and high-occupancy vehicles, and managing these classes dierently. Examples of
*
Corresponding author. Tel.: +33-15-278-5475; fax: +33-15-278-3179; e-mail: [email protected]
0191-2615/00/$ - see front matterÓ2000 Published by Elsevier Science Ltd. All rights reserved.
such control instruments are uninterrupted passage for buses at ramp-metered on-ramps, dynamic truck overtaking prohibitions, and dynamic lane allocation control.
Due to the complexity of controlling heterogeneous trac ¯ow operations, caused by among others the interaction between user-classes and the interplay between the available trac, a model-based approach is needed. That is, future research should focus on theory development regarding generic trac ¯ow theory for the synthesis and analysis of heterogeneous trac ¯ow. Also, emphasis should be on analyzing the problem of optimizing trac control of heterogeneous ¯ows. To this end, macroscopic multiple user-class trac ¯ow models are invaluable. This article presents a macroscopic trac ¯ow model that distinguishes user-classes having distinct trac characteristics.
The macroscopic model described here is derived from mesoscopic principles. Mesoscopic models describe the behavior of small groups of vehicles of a speci®c user-class, classi®ed by their position, velocity and desired velocity at an instant in time. These groups are aggregated with respect to the velocity and the desired velocity of the vehicles of a user-class:
Z
velocity
Z
desired velocity
mesoscopic!macroscopic 1
resulting a macroscopic model. The proposed model generalizes the models proposed by Helbing (1996) by macroscopically describing trac ¯ow operations for multiple user-classes.
The article is organized as follows. We ®rst present a very short overview of the state-of-the-art in multiclass continuum trac ¯ow modeling. Subsequently, we derived the multiclass gas-kinetic ¯ow equations that are the mesoscopic foundation of the macroscopic model derived in the en-suing section. In this section we also discuss the expressions for the equilibrium velocity and velocity variance following from the modeling approach. We conclude the article with results from macroscopic simulation to show the plausibility of the multiclass model.
2. Trac ¯ow modeling approaches
In this article, we aim to develop a macroscopic trac ¯ow model that enables the synthesis and analysis of multiclass trac ¯ow. Examples of these user-classes are person-cars, recreational trac, vehicles at various levels of driver-support, and articulate and non-articulate trucks. Such a model is necessary to improve modeling the eects of (class-speci®c) trac control on the het-erogeneous trac stream.
mesoscopic or macroscopic, respectively describing groups of vehicles or the collective vehicular stream. Furthermore, we only consider deterministic analytical models.
Macroscopic modeling approaches and modeling issues: Several macroscopic continuum models have been proposed in the literature. Basically, each of these can be generalized towards a mul-ticlass trac ¯ow model. A well-known model is the so-called kinematic model or simple con-tinuum model®rst presented by Lighthill and Whitham (1955). This model consists of the so-called conservation-of-vehicle equation, describing the dynamics of the densityrin relation to the ¯owq:
or ot
oq
ox0: 2
The model is completed by a speed±densityrelation V Ve r, and the relationqrV.
This simple model has been successfully applied and captures the basic properties of the ve-hicular ¯ow. However, several problems with this oversimpli®ed description of trac have been reported (cf. Lyrintzis et al., 1994; Kerner et al., 1996):
1. The kinematic model does not admit deviations from the speed±densityV x;t Ve r x;t re-lation. In other words, driversreact instantaneously to changing trac conditions.
2. Discontinuous solutions result irrespective of the smoothness of the initial solution. This con-tradicts the observed real-life ¯ow behavior.
3. The LWR-model is unable to capture the formation of localized structures, phantom-jams, hysteresis, and stop±start waves under speci®c conditions. This is unfortunate, since realistic modeling these phenomena is imperative for describingreal-life trac ¯ow.
ThePayne-type models1remedy these ¯aws by adding to the conservation-of-vehicles equation a dynamic equation describing the dynamics of the velocityV. In its most general form, this velocity equation equals:
where P is the so-called trac pressure and g the trac viscosity coecient. In Lyrintzis et al. (1994) and Kerner et al. (1996) dierent model speci®cations (i.e. choices forP, g, andVe r) are
successfully used to simulate trac ¯ow operations. Indeed, introducing a dynamic velocity equation remedies the issues (1)±(3). However, in Daganzo (1995). the following points of interest not considered by Payne-type models are stated:
1. Vehicles areanisotropicparticles that mainly react to downstream trac conditions.
2. The interaction between the vehicle in the ¯ow is asymmetric in that theslow vehiclesremain virtually unaectedby faster vehicles.
3. Unlike particles in a ¯uid, vehicles havepersonalitythat remains unaected by prevailing trac conditions.
Finally, Helbing (1996) proposes a third dynamic equationfor the velocity varianceH:
oH
whereP rH, He r the equilibrium velocity variance, andj denotes the kinematic coecients. In addition to resolving the aforementioned issues, the model of Helbing (1996) also considers: 1. Finite spacing requirements of the vehicles, important due to the relative scale of processes of
interest.
2. The quantitative eects of ®nite reaction and braking times.
The model presented in the article can be considered as a multiclass generalization of the model of Helbing (1996). Consequently, it inherits the desirable properties of the latter model, which will be illustrated in the sequel of this article.
Multiclass approaches to mesoscopic and macroscopic ¯ow modeling: The number of me-soscopic or macroscopic models developed is small. In Daganzo (1994b) a generalized theory to model freeway trac in the presence of two vehicle types and a set of lanes reserved for one of the vehicle classes is presented. It refers to the case of a long homogeneous freeway, described with the Cell-Transmission model (cf. Daganzo, 1994a). However, all vehicles have identical driving characteristics (acceleration times, free-¯ow velocities, etc.) and are only dierent in their lane-use behavior. In other words, the dierences in among other acceleration performance and behavior, maneuverability, and maximum velocities are not described. The model can be con-sidered as a generalization of the original LWR-model, thereby inheriting the shortcomings of the latter.
In Hoogendoorn and Bovy (1996) asemi-discrete (that is, continuous in time, and discrete in space) multiclass generalization of the Payne model (cf. Payne, 1971) is proposed. This model describes the asymmetric interaction between vehicles of the respective user-classes heuristically, and lacks theoretical foundation. Finally, let us note that Helbing (1997) presents a tentative multiclass model.
Outline of the derivation of macroscopic MUC model: In this article we present a macroscopic multiclass trac ¯ow model based on gas-kinetic principles. The derivation approach can be considered as a multiclass generalization of the approach followed in, among others, Prigogine and Herman (1971) and Helbing (1996). Let us brie¯y outline the approach used to establish the macroscopic multiple user-class trac ¯ow model.
First, we derive the multiclass gas-kinetic equations describing the dynamics of the multiclass Phase±Space Density. These equations enable modeling the process of drivers accelerating to-wards the class speci®c desired velocity and the process of drivers decelerating due to impeding vehicles of the same or other classes. Subsequently, themethod of momentsis applied to the MUC gas-kinetic equations, in order to establish partial dierential equations describing the dynamics of the class speci®c density, velocity and velocity variance. From this modeling approach, ex-pressions for the equilibrium velocityand equilibrium velocity variance result. These convey both
acceleration processestowards the class dependent desired velocity as well asdeceleration processes
due the within and between user-class interactions.
3. Gas-kinetic modeling of multiclass trac
presented in Paveri-Fontana (1975). We will show that these multiclass gas-kinetic equations are given by the following set of partial dierential equations:
5
for allu2U, whereUdenotes the set of user-classesu. Eq. (5) expresses the dynamic changes in the so-calledmulticlass Phase±Space Density(MUC-PSD)qu due to:
1. Convection because of the in¯ow and out¯ow of vehicles (term C of (5)).
2. Acceleration towards theacceleration velocityxu v;v0(termAof (5)). The acceleration velocity
re¯ects theexpected velocityto which a vehicle of classuwith velocityvand desired velocityv0 accelerates.
3. Interactions without immediate overtaking opportunity, expressed by the multiclass collision equations(term I of (5)).
In the remainder of this section we will elaborate upon the MUC-PSD, and present the derivation approach of the gas-kinetic equations (5).
Multiclass Phase±Space Density: The gas-kinetic equations derived in this section describe dynamic changes in the MUC-PSD. This notion is de®ned as follows. The joint probability density function /u v;v0jx;t describes the joint probabilities of the velocity Vu and desired ve-locityV0u. Using /u;we de®ne the MUC-PSDqu x;v;v0;t by the expected number of vehicleson
x;thaving a velocityv and a desired velocityv0 per unit roadway length:
qu x;v;v0;t,/u v;v0jx;tru x;t; 6
whereru x;tequals the expected number of vehicles of classuper unit roadway length. Note that
for thedensityr x;t, being the expected number of vehicles per unit roadway length, it holds that r x;t P
uru x;t.
Derivation of the multiclass gas-kinetic equations: Several very complex and interacting pro-cesses cause the dynamic behavior of the trac stream: drivers accelerate towards their desired velocity, vehicles interact, followed by either an immediate lane change or by a deceleration, or drivers adapt their desired velocity to prevailing road, ambient or weather conditions. In this section, we present dynamic equations describing temporal changes in the trac conditions caused by these processes, resulting in the multiclass gas-kinetic equations.
These mesoscopic trac dynamics are governed by what will be referred to as continuum
and non-continuum processes. Continuum processes yieldsmooth changes in the MUC-PSD due to in¯ow and out¯ow in the phase±space Y consisting of vectors y x;v;v0.
Non-con-tinuum processes re¯ect non-smooth changes in the MUC-PSD, caused by among others vehic-ular interactions followed by either an immediate lane change or deceleration of the impeded vehicle.
xÿdx=2;xdx=2. In the multiclass gas-kinetic derivation, we will distinguish convection, ac-celeration, and deceleration processes. Let us elaborate upon these processes.
1. Convection: The MUC-PSDqu x;v;v0;tchanges due to the in¯ow of vehicles from cellxÿdx,
and the out¯ow of vehicles to cellxdx(A and B).
2. Acceleration: Letxu x;v;v0;tdenote the acceleration velocity of vehiclesqu x;v;v
0;t. Vehicles
from classuin cellxdriving at velocityvaccelerate in order to attain their acceleration velocity xu resulting in an increasequ x;w;v0;t at the expense ofqu x;v;v0;t (see (C)). Vehicles
accel-erating fromw<v tovcause qu x;v;v0;t toincrease (D).
3. Interaction: When a vehicle driving with velocity v catches up with a slower vehicle, it either needs to reduce its velocity, or perform an immediate lane change. In the ®rst case, the number of vehicles inqu x;v;v0;t decreases (E);qu x;v;v0;tincreases when fast vehicles are impeded by vehicles driving with velocityv (F).
Derivation of the gas-kinetic equations: Before presenting the multiclass gas-kinetic equations, let us brie¯y discuss the assumptions underlying the gas-kinetic ¯ow equations:
1. The desired velocity is an observable concept that is meaningful to drivers. 2. The lengths of the vehicles are neglected. 2
3. No user-class transitions are allowed.
4. Free-¯owing vehicles accelerate towards their desired velocity; constrained vehicles accelerate to the expected velocity of the platoon-leaders.
5. Impeded vehicles not able to immediately overtakeinstantaneouslyadapt to the velocity of the impeding vehicle; immediately overtaking vehicles remain at the same velocity.
6. Impeding vehicles are unaected by the impeded vehicle.
2
The in®nitesimal vehicles assumption is remedied in the macroscopic MUC model.
Continuum processes(Convection,acceleration and desired velocity adaptation): By balancing the ¯ows through the boundaries of a dierential volume dx;dv;dv0;dt, we can establish the fol-lowing multiclass generalization of gas-kinetic model of Paveri-Fontana (1975) (for details, we refer to Hoogendoorn and Bovy, 1998a).
oq
NC re¯ects the changes caused by non-convective processes. Let us ®rst specify the respective terms in dy=dt:
Clearly, the total derivative dx=dtequals the velocity v:
dx
dtv: 9
The total derivative dv=dt re¯ects the acceleration process. Let us assume that the acceleration processes can be described realistically by an exponential acceleration law:
dv
the acceleration time. In contrast to the original mesoscopic single-class trac ¯ow model pro-posed by Prigogine and Herman (1971) this term describes individual relaxation towards the desired velocity, instead of the collective relaxation towards a trac composition dependent equilibrium velocity. This is a very important model feature. We argue that it is more realistic to assume that drivers aim to traverse the roadway at their individual desired velocity and are possibly restricted as a result of interactions with slower vehicles, than to assume that drivers relax towards a velocity which they chose based on the prevailing average trac conditions.
Dierent speci®cations of xu and su have been proposed to model the acceleration process in
the single-class case. These describe either of the two extreme cases:
1. All vehicles in the trac stream are able to accelerate towards their individual desired velocity v0, given their class-speci®c acceleration times0
u(equivalent to single-class model of
Paveri-Fon-tana, 1975).
2. Only free-¯owing vehicles accelerate towards their desired velocityv0 given their acceleration time s0
u. Constrained (platooning) vehicles do not accelerate at all (see Helbing, 1997).
Case 1 yields the following speci®cation of the acceleration law:
xu v0 and sus0u )
assume that free-¯owing drivers accelerate towards their desired velocity v0, given their acceler-ation times0
u, while platooning drivers accelerate towards the average acceleration velocity of the
platoon-leaders, given the acceleration times of the latter vehicles. For free-¯owing vehicles (in-dicated by the index f) we then have:
xfuv0 and sfu s0u: 13
Hoogendoorn (1998) shows that the aggregate-class expected acceleration time sf v and the
ag-gregate-class desired velocity xf v offree-¯owingvehicles driving with velocity vsatis®es:
1=sf v
respectively, where the free-¯owing MUC-PSDqf
u, 1ÿhuqu. We assume that all vehicles in a
platoon have the same velocity v, and the acceleration velocity xc and time sc of vehicles in a
platoon is equal to the acceleration velocity and time of the free-¯owing platoon-leader. Fur-thermore, we assume that the leader of a platooning vehicle driving with velocity v is drawn uniformly from the population of free-¯owing vehicles driving with velocityv. Then, usingxfand
sf we ®nd for the constrained vehiclesc of classu:
xcuxf and scu sf: 16
Finally, we assume that drivers do not change their desired velocity during their trip. That is, the derivative of desired velocity with respect to time satis®es:
dv0
dt 0: 18
By substitution of (9), (17), and (18) into (7), we ®nd:
oq
Non-continuum processes(vehicular interaction): Let us now consider the right-hand side of (19). We can distinguish two types of non-continuum processes, namely adaptation of the desired ve-locity distribution to a reasonable desired velocity distribution, and the deceleration caused by vehicle interactions. With respect to the former, the assumption that the desired velocity distri-bution is adapted quickly to the reasonable desired speed justi®es neglecting the adaptation process. Let us thus elaborate only upon the deceleration process.
vehicle is referred to as thepassive party. The used terminology stems from the concepts of active and passive overtaking (cf. Leutzbach, 1988).
Let us now consider interacting vehicles ofqu x;v;v0;t. Interactions can either yield an increase
or a decrease inqu x;v;v0;t, respectively denoted by oq
w w;w0 respectively denoting the velocity and desired velocity of vehicles 1 and 2. In other
words,qu;sdenotes the expected number of vehicle pairs of a vehicle of classuhaving a velocityv and a desired velocityv0 and a vehicle of class shaving a velocitywand a desired velocityw0 per
unit roadway length. Let pupu x;v;w;t denote the probability that a vehicle of class u can
immediately overtake the slower vehicle. Then, using the results established in Leutzbach (1988), we can show that the decrease-rate oq
u=ot
where we have assumed that the slower vehicles are unaected by the interaction.
The class±speci®c immediate overtaking probabilitypu pu x;v;w;t depends on a number of
factors, such as the trac conditions on the destination lanes, the maneuverability and length of the vehicle, the dierence between the current velocityvand the velocitywof the impeding vehicle, the composition of trac (e.g. percentage of heavy-vehicles), etc.
The number of interactions between vehicles having speedvandwrespectively are equal to the `interaction rate' equal to the relative speedwÿv and the mutual phase density. Paveri-Fontana (1975) established that assuming vehicular chaos justi®ed the factorization approximation qu;squqs, re¯ecting probabilistic independence of the vehicles. Expressions (21) and (22) con-stitute a multiclass generalization of the so-called collision equations (see Leutzbach, 1988).
Hoogendoorn (1998) shows that the assumption of vehicular chaos is ¯awed, except for free-¯ow conditions. That is, for increasingly dense trac, the assertion that velocities are independent is not realistic. To remedy this, the author proposes a trac ¯ow theory based on description of the trac stream as a collection ofvehicle platoonsrepresented by their platoon leaders (the free-¯owingvehicles) to describe the increase in velocity-correlation for increasingly dense trac (see Hoogendoorn, 1999). Assuming that only the unconstrained platoon leaders (rather than all
3
vehicles) move independently infers substituting qf
s for qs into expressions (21) and (22) (see
Hoogendoorn, 1998), whereqf
s equals the free-¯owing vehicles inqs. Substitution of the resulting
equations (21) and (22) into (19) establishes the multiclass gas-kinetic equations. Finally, let us remark that in the remainder of this article, we assume that the resulting expressions for (21) and (22) can be approximated by:
s;and wherepu;sdenotes the v;v0-independent expected immediate
overtaking probability of vehicles of class uovertaking a vehicle of class s:
4. Macroscopic multiclass trac ¯ow model
We establish in this section the macroscopic multiclass trac ¯ow equations on the basis of the gas-kinetic equations presented in the Section 3. The derivation approach is similar to the ap-proaches followed by among others, Prigogine and Herman (1971), Leutzbach (1988) and Helbing (1996). To establish the dynamics of the class-speci®c density, velocity and velocity variance the method of moments is applied, resulting in a non-closed set of equations of the moments of the velocity distribution. Subsequently, additional modi®cations to the model are proposed resulting in the following closed-form approximate system of partial dierential equations, describing the dynamics of the class-speci®c density ru, expected velocity Vu and velocity variance Hu:
oru
where the equilibrium velocity Ve
u and the equilibrium variance H e
u;s re¯ects the in¯uence of interacting vehicles of classes uand s which follows from its
In the remainder, we will derive these partial dierential equations. However, we will ®rst derive the main dependent variables (e.g. densityru;velocityVu, velocity varianceHu, desired velocityVu0,
and velocity covarianceCu) from the MUC-PSD.
Velocity moments: In the following the method of moments is applied to density functions describing the distribution of the velocities, with the aim to establish equations describing the dynamics of the velocity moments. We show that the class-speci®c densities, velocities and velocity variances are completely determined by these velocity moments. Consequently, establishing the dynamics of the velocity moments also reveals the dynamics of the densities, velocities and ve-locity variances.
where/u denotes the joint probability density function of the velocity and the desired velocity. Then, the jointkth velocity andl-th desired velocity momentMu k;l is de®ned by:
Mu k;l,Dvk v0lE
That is, the velocity variance HuHu x;t of user-class u can be determined from the second
velocity moment and the mean velocity of user-classu. Finally, the third velocity moment equals:
Mu 3 Vu33VuHuCu; 33
whereCuCu(x,t) denotes the skewness of the velocity distribution.
Let us now consider some speci®c moments forl1. Consideringk1, the zeroth-covariance moment equals the expected desired velocityV0
u of class u:
Mu 0;1,v0uVu0: 34 The covarianceCu Cu x;t between the actual and the desired velocity is determined from the
®rst covariance momentkl1, the expected actual velocity and the expected desired velocity. That is:
Mu 1;1,vv0uVu0VuCu: 35
Finally, let us de®ne the interaction momentsI k
where the reduced MUC-PSD~qsis de®ned by~qs x;v;t,R
The multiclass velocity moments dynamics: In applying the method of moments, the special MUC continuity equations are multiplied withvk, and subsequently integrated with respect tov
and v0. By doing so, the following equations describing the dynamics of the velocity moments
Mu kMu k x;tare established (for details, we refer to Hoogendoorn and Bovy, 1998a):
wherepu is the expected immediate overtaking probability, andsu su x;tdenotes the expected
acceleration time. The dynamic equation shows how thekth velocity momentMu kchanges due to convection (term C), acceleration (term A), and deceleration (term D). The in¯uence of deceler-ation is the result of a termP
s2UR k
u;s re¯ecting changes over time inM k
u due to vehicles of classu
interacting with vehicles of classson the one hand, and the probability on immediate overtaking 1ÿpu of vehicles of classu on the other hand.
Derivation of the multiclass macroscopic equations: In this section we establish the macroscopic MUC equations for the density, the velocity and the velocity variance. To this end, Eq. (39) is assessed fork 0;1;and 2 respectively, yielding the conservation of vehicle equation, the velocity dynamics and the velocity variance dynamics.
The conservation of vehicles equation: Fork 0; and usingI 0
u;sX 0
u;s 0 we ®nd Eq. (25) as
the expected result. This expression can be considered as the multiclass generalization of the traditional conservation-of-vehicle equation. It states that the density changes according to the balance between the in¯ow and out¯ow of vehicles of user-classu.
The velocity dynamics equation: Next, Eq. (39) is assessed for k 1. By using of the con-servation-of-vehicle equation (25) in the expansion of the left-hand side of (39) for k 1 we ®nd:
where the so-called trac pressurePu for classuis de®ned by Pu ruHu. The following dynamic
equation thus holds for the velocityVu:
where the equilibrium velocity Vueis de®ned by:
Vue,Vu0ÿ 1ÿpusu
Eq. (41) shows the changes in the trac conditions experienced by an observer moving along with the vehicles of classu. These changes are caused by a term considered as ananticipationterm4
Aon the one hand, and a relaxation termRon the other hand. TermAshows how the total time derivative of the velocityVu changes due to spatial changes in the trac pressureP.
Eq. (42) speci®es the equilibrium velocity in accordance with the gas-kinetic multiclass ¯ow equations (5). It can be interpreted as a theoretical result concerning the dependence of the equilibrium velocity on the microscopic processes of trac ¯ow. According to (42), the equilib-rium velocity is given by the expected class-dependent desired velocity V0
u reduced by the term
arising from forced instantaneous deceleration due to within-class and between-class interactions.
The velocity variance equation: Derivation of the equations describing the dynamics of the velocity varianceHu involves the evaluation of Eq. (39) fork2. Similar to the dynamics of the
class-speci®c expected velocityVu we can determine the following dynamic equations:
dHu
iu, and the equilibrium velocity variance is de®ned by:
Expression (44) re¯ects the velocity variance due to relaxation of the velocity variance towards the covarianceCuhvv0iuÿV
0
uVu of classuon the one hand, and the changes in the variance due to
interactions on the other hand.
Drivers anticipation and trac viscosity: In ¯uidic or gas-¯ows, viscosity expresses the in¯uence of friction between the particles in the ¯uid or gas. The eect of the internal friction is expressed by a second order term with respect to the velocity present in the momentum dynamics. However, several authors (e.g. Payne, 1971, 1979; Kerner and Konhauser, 1995; Kerner et al., 1996; Helbing, 1996) have argued that trac viscosity cannot be plausibly interpreted from gas-kinetic theory, since due to the spatial one-dimensionality of the trac ¯ow equations, the viscosity term cannot be shear viscosity (originating from friction between e.g. the boundaries of the ¯ow-re-gion).
However, viscosity can be interpreted from the viewpoint of transitions in the driver's attitude towards prevailing trac conditions: it describes the higher-order anticipation-behavior of driv-ers. In other words, if drivers travel in a region of spatial acceleration (o2V=ox2>0) they will
anticipate, and accelerate (i.e. dVu=dt>0) (cf. Kerner et al., 1996). In, among others, Payne (1971) and Kerner et al. (1996) the spatial derivative of the trac pressure (in the multiclass caseoPu=ox
in Eq. (41) has been related to driver's anticipation. The authors argue that when the pressure increases spatially, driver's anticipate on these worsening downstream conditions and decelerate
(for the multiclass case, i.e. dVu=dt<0). This justi®es modeling this anticipation-behavior by
adding a diusive term to the trac pressure, implyingPu :PuÿguoV=ox, yielding Eq. (26). In
4
this expression, V P
s2UrsVs=
P
s2Urs is the expected aggregate-class velocity, where gu is the
bulk-viscosity coecient.
Critique on the low-order driver's anticipation: We can easily show that the interpretation of term Ain (41) for the perspective of driver's anticipation (see among others Payne, 1971; Payne, 1979; Kerner and Konhauser, 1995; Kerner et al., 1996; Helbing, 1996) is not justi®ed, since term Ashows that drivers only anticipate on changes in the pressure of their own classu. For instance, if the pressure Pu of class u decreases spatially (oPu=ox<0), only drivers of this class u will
ac-celerate, even if the aggregate-class pressure P P
sPs does not (oP=ox0).
For a macroscopic multiclass (multilane) trac ¯ow this implies that the interpretation of the term oPu=ox from the perspective of drivers' anticipations is incorrect. Rather, the term stems
from the convection of groups of vehicles with dierent variations in their velocities (see Hoo-gendoorn, 1999). However, if we extend this conception, the classical interpretation of theoPu=ox
is equally incorrect for traditional Payne-type macroscopic ¯ow models.
Thus, describing the trac process as a mixed stream of dierent user-classes rather than considering each class separately leads to the misinterpretation of the pressure term. In terms of gaining correct insights into the mechanisms of trac ¯ow operations, a multiclass distinction is hence invaluable.
Closure of the model equations: The system of partial dierential equations (25), (41) and (43) is
not closed, in the sense that the dynamics of the velocity variance contains three unspeci®ed moments, namely the expected desired velocity Vu0, the covariance Cu, and the ¯ux of velocity
variance Ju. For the single-class case, Helbing (1997) proposes dynamic equations for the
ag-gregate-class velocity±covariance equations. However, for the multiclass case, we assume that the dynamic variations in the expected desired velocityV0
u and the covarianceCucan be neglected, and
that both can be described by functions of the densities rof the respective classes rfrug:
Vu0Vu0 r and CuCu r: 45
Due to the increasing fraction of platooning vehicles, these functions are monotonically de-creasing with respect to the class-speci®c densities (e.g.oV0
u=ors60). In Hoogendoorn (1999) the
speci®cation of both terms is discussed in more detail.
If we assume that even in dynamic situations the velocity distributions are Gaussian distributed random variates with mean Vu x;t and variance Hu x;t, then by de®nition, the ¯ux of velocity
variance equalsJu x;t ruh vÿVu 3
iu 0. In Helbing (1996) it is shown that since drivers need a ®nite amount of time to adapt their velocities caused by their ®nite reaction and braking times
(re¯ected by the adaptation of the velocity distributionto thelocal equilibrium distribution). This causes a non-zero skewness of the velocity distribution. As a consequence, additional transport terms result, that can be expressed by the term:
Ju ÿju
oHu
ox : 46
Using this expression, the velocity variance dynamics equation (43) yields Eq. (27). See Helbing (1996) for details.
pla-tooning vehicles and their free-¯owing platoon-leaders of the multiclass model presented in the paper.
Finite space requirements: The analogy between a ¯uidic ¯ow and a vehicular ¯ow is based on the presumption that vehicles can be adequately modeled as in®nitesimal particles. However, this assumption is not realistic and causes both theoretical as well as practical problems. To resolve such problems, we propose incorporation of the space needed by each of the vehicle due to both its user class dependent physical length and the additional velocity dependent safety margin. To this end, let lu v be the average roadway space needed by a vehicle of user-class u to safely
traverse the roadway at speedv. This amount of roadway space can be determined by considering the car-following behavior of drivers. For recent empirical ®ndings on car-following behavior, we refer to Dijker et al. (1998). We will use the model of Jepsen (1998) to describe the space re-quirementslu vof a vehicle of class u driving with velocityv:
lu v LuduvTuv2Fu; 47
whereLu denotes the length of the vehicle, du the minimal gap between two vehicles, Tu the
re-action time of drivers, and ®nally Fu the speed-risk factor following from drivers aiming to
minimize the potential damage or injuries. If we assume that these parameters are equal for all vehicles in a class, then we can de®ne the dimensionless space-requirement correction factor d d x;t 2 1;1by (see Hoogendoorn, 1999):
d, 1
1ÿP
s2Urs LsdsVsTs Vs2HsFs
: 48
Using this correction factor, we introduce themodi®ed trac ¯ow variables. For instance, we can de®ned the modi®ed density^ru of class u by:
^
ru,dru: 49
The modi®ed density equals the expected number of vehicles of class u per unit non-occupied roadway space. If we assume that the changes in the trac conditions experienced by an observer moving along with vehicles of class uchange very slowly (the so-called adiabatic elimination; cf. Haken, 1983), we ®nd themodi®ed multiclass conservation-of-vehicle equation:
o^ru ot
o ^ruVu
ox 0: 50
Similarly, we can include the vehicle spacing requirements in the dynamics of the velocity and the velocity variance. Let the `hat' indicate multiplication of the respective variable or parameter with the correction factor d x;t. We need not include the resulting model equations here, since the structure of the equations does not change due to incorporation of the ®nite-space requirements. Rather, the modi®ed density^ru; pressureP^u, viscosity coecient^gu, kinematic coecientj^u, and
®nally the interaction term R^ k
u;s replace their regular counterparts in Eqs. (26) and (27),
respec-tively. We can consequently show that when the densities ru increase, the available space
de-creases, and the correction factor d increases accordingly. As a consequence, the in¯uence of vehicle-interaction expressed by the modi®ed interaction moments R^ k
u;s, dR k
introduction of the space-requirements yields an increase of the interaction rates). This increase results in a larger decrease in the modi®ed equilibrium velocity. 5
This concludes the derivation of the multiclass trac ¯ow model. That is, we have now shown how the macroscopic multiclass equations can be determined from the mesoscopic gas-kinetic equations using the method of moments. Moreover, we have brie¯y discussed the closure of the model, the introduction of viscosity, and the ®nite-space-requirements. For details, see Hoo-gendoorn (1999), HooHoo-gendoorn and Bovy (1998b) and Helbing (1996).
The equilibrium relations and vehicular interactions: Now that we have established the macro-scopic multiclass ¯ow model, let us discuss some of the model properties. That is, in this section we will discuss the interactions of vehicles in the same user-class, and the asymmetric interactions among vehicles from dierent user-classes.
Within-class interactions (Interactions): Let us illustrate the mechanisms in the macroscopic model that re¯ect the in¯uence of acceleration and deceleration due to vehicle interactions. Let us ®rst consider the case where only one user-class u is present. In this case, we can show that:
R 1
u;u , 1ÿhu vk
Z v
ÿw~qu wdw
u
1ÿhuPu 51
yielding:
VueVu0ÿ 1ÿpu 1ÿhusuPu: 52
In other words, the equilibrium velocity Ve
u is determined by the mean desired velocity V 0 u of the
user-class, decreased by the mean rate at which vehicles of the same user-class actively interact with each other 1ÿhuPu, without being able to overtake these vehicles (with probability
1ÿpu), multiplied by the acceleration timesu. This mean interaction rate is relative to the trac
pressure. From (52) we observe that if the acceleration timesu is small, the in¯uence of
interac-tions is reduced due to vehicles being able to increase their velocity rapidly after interacting. Let us ®nally remark that expression (52) is similar to the expression describing the equilibrium velocity derived by Helbing (1996), albeit the latter does not consider the eect of relaxing the vehicular chaos assumption.
If we consider the equilibrium velocity variance in the single-class case, then Hoogendoorn and Bovy (1998a) show that Heu equals:
Heu Cueÿ1
2 1ÿpu 1ÿhusuJu; 53
which is again similar to the single-class equation describing the equilibrium variance derived by Helbing (1996).
Between-class interactions: Next, let us consider the in¯uence of interactions between vehicles of dierent classes. In contrast to the velocity dynamics derived in Helbing (1996), interaction be-tween user-classes is present in the equations, both directly in the equilibrium velocity, and in-directly in the trac pressure. This novelty of our macroscopic MUC trac ¯ow model is re¯ected in the way in which the distinguished classes interact. That is, the model does not only
5
consider in¯uences on the velocity and on the velocity variance caused by within-class interac-tions; also between-class interactions are considered. These in¯uences are directly re¯ected in the equilibrium velocity and the equilibrium velocity variance.
Changes in the equilibrium velocity (28) of classuthat are caused by interactions with vehicles from class s are re¯ected by the term 1ÿpusuR 1u;s for u6s. Let us now illustrate class
inter-action by assuming that the supports of classes u and s are disjoint. Let us ®rst assume that Vu <Vs. In other words, each vehicle of classuis drivingslowerthan any vehicle of classs. In this
case we have (see Hoogendoorn and Bovy, 1998a):
R 1
u;s 0 54
and thus
VueVu0ÿ 1ÿpu 1ÿhusuPu: 55
We can observe that the equilibrium velocity (28) of vehicles from classudoes not change due to interaction with vehicles in user-classs. That is, since each vehicle in user-classs is driving faster than any vehicle in user-classu, no interaction exists. This holds equally for the equilibrium ve-locity variance of user-class u.
However, from the viewpoint of the other classs, we can show: R 1
s;u 1ÿhuru HuHs VuÿVs 2
56
that is
VseVs0ÿ ÿ 1ÿpsss 1ÿhuru HuHs VuÿVs 2
: 57
In this case, interaction between vehicles is present due to velocity variances of both classes, and the squared dierence in mean speed between the user-classes, causing a reduction in the equi-librium velocity of user-classs. This holds equally for the equilibrium velocity variance of user-class s.
Competing processes: In Helbing (1996) and Kerner et al. (1996) competing processes in single user-class trac ¯ow operations are observed and interpreted. The equilibrium velocityVueand the equilibrium variance Heu re¯ect these processes. That is, they describe how drivers accelerate to traverse along the roadway at their desired velocity on the one hand, while they may need to decelerate due to impeding, slower vehicles on the other hand.
Kerner et al. (1996) approximate the varianceH by a constantH0 and assume that the
equi-librium velocityVe ris an explicit function of the trac density r:
VeV0ÿs 1ÿprH0; 58
wherepp r is the immediate overtaking probability. When the equilibrium velocity is deter-mined explicitly, the probability of immediate overtaking can be deterdeter-mined fromVe r:
p r 1ÿV
0ÿVe r
rsH0 : 59
Considering these competing processes for single user-class trac ¯ow, the relaxation term:
VeÿV s
V0ÿV
s 1ÿpH
describes the dynamic changes in the velocityV due to relaxation towards the equilibrium velocity Ve. Here, the term V0ÿV=sre¯ects the acceleration oractive process caused by drivers aiming
to traverse the roadway at their desired velocity. Conversely, the term 1ÿpH0 re¯ects a
de-celeration or damping due to vehicles interacting.
In Kerner and Konhauser (1995) a stability analysis is performed by considering spatial per-turbations in the mean density. It is shown that, if the amplitude of the ¯uctuation in the density exceeds a certain threshold value, the density perturbation causes a change in the mean velocity which itself leads to an increase in the trac density. This `avalanche' occurs when the spatial ¯uctuations are large enough to overcome the in¯uence of trac viscosity and relaxation.
We can also identify these competing processes for the multiclass case. Consider Eq. (26) de-scribing dynamic changes in the velocity. In this equation, the term:
represents the relaxation process towardsVe
u. Also for the MUC case, the processes comparable to
the single user-class case can be identi®ed. On the one hand, drivers aim to traverse along the roadway at the class-speci®c desired velocityV0
u. These acceleration processes are re¯ected by the
term A. On the other hand, the term Dresults from both within and between-class interactions. This term re¯ects a deceleration process due to vehicles interacting. As shown in the previous sections, main dierence between the single-class case and the multiclass case is impact of vehicle interactionbetweenthe classes. We remark that in the velocity variance equation (27), comparable processes can be identi®ed.
Equivalence with other macroscopic models: In Hoogendoorn and Bovy (1998a) it is shown that our generalized multiclass model collapses to well-known macroscopic models in case of a single user-class. For instance, if we consider only one user-class u, and choose h0; the system of equations (25), (26), and (27) yield Helbing's improved single user-class macroscopic trac ¯ow model presented in Helbing (1996). In the Payne-model (cf. Payne, 1971), the equilibrium velocity VeVe r is speci®ed a priori. Assuming a constant velocity variance Hc20, assuming j0;g0, and ®nally choosing p r:
p r c
2
0srÿ V
0ÿVe r
c2 0sr
62
reduces our multiclass model reduces to the Payne model.
5. Fundamental issues and macroscopic simulation
It is the purpose of this section to investigate whether the issues raised by among others, Daganzo (1995) and Helbing (1996), are remedied by the developed MUC model. Some of these issues can be checked straightaway by considering the model equations. Others, such as the anisotropy and the unaected slow vehicles, are investigated using macroscopic simulations.
system of partial dierential equations describing the dynamics of the user-class speci®c density, velocity and velocity variance. To this end, several numerical approaches have been developed. These are based on recasting the model equations using appropriate variables (the so-called
conservative variables). The following results have been computed by applyingRoe's Approximate Riemann solver to the multiclass ¯ow equations. This scheme is based on exact solutions of the inviscid multiclass model (e.g. gu ju 0), operating under equilibrium conditions.
Approxi-mations at timestep tk are represented as piecewise constant functions in x. Locally, piecewise
constant initial conditions yield the so-calledRiemann-problem, which can be solved analytically for the inviscid multiclass equations (assuming equilibrium conditions). These solutions are then used to approximate the (partial) solution at the next timestep: The in¯uence of relaxation and deceleration are subsequently determined. Finally the in¯uence of the higherorder terms are ef-fectuated using central ®nite-dierences. These results are combined to determine the approxi-mation at the next timesteptk1. For details, we refer to Hoogendoorn and Bovy (1998a).
Description of the test-cases(Speci®cation of the relations and parameters): In this section we will illustrate macroscopic multiclass simulation using a hypothetical test case (Fig. 2). The case de-scribes a two-lane ringroad of 30 km length. We identify two classes, namely person-cars and trucks. These dier with respect to their mean lengths (4 and 11 m, respectively), their (constant) desired velocities (31 and 23 m/s), and relations for the covarianceCu r.
The overtaking probabilities are speci®ed by considering the gap-distribution (see Hoogen-doorn, 1999): having assumed that these gap-distributions are a function of the total density, the probabilitypu that a vehicle is able to immediately change lanes equals the probability that a gap
is available that is larger than the gap needed by the interacting vehicle. The gap that is needed equals 2.5 times the length of the vehicle increased by a safety margin, which is dependent on the
reaction time of the drivers and their velocity (cf. Jepsen, 1998). Since the overtaking probability distribution function is a decreasing function of the gap needed, the overtaking probability of a truck is in general smaller than the overtaking probability of person cars.
The reaction timeTuequals 1.6 and 2.6 s for person-cars and trucks, respectively. For the
speed-risk factor, and the minimal distance headway, we respectively chooseFu 0:022 m2/s2 anddu 1
m (see Jepsen, 1998). The acceleration timesuis assumed constant and equals 10 s for both classes.
For the kinematic viscosity coecient and the kinematic coecient we have usedgu 150ruand
ju 150ru.
Case I(Multiclass trac operations in homogeneous regions): The ®rst case is characterized by the following initial conditions: at time t0, the trac conditions are characterized by three regions of dierent person-car densities, respectively equal to 10, 20 and 50 veh/km. In the regions, the truck densities are equal, namely 4 veh/km. The regions are respectively located atX1[3 km,
6 km), X2[9 km, 12 km) and X3[15 km, 18 km). We assume that initially, the trac is in
equilibrium (in Hoogendoorn, 1999 the author presents an algorithm to determine the initial equilibrium conditions). As a result, in each region the velocity of the vehicles is dierent (inX3the
vehicles are nearly stationary).
Fig. 3 depicts the density contour plots and the trajectories of person-cars and trucks on the ringroad during a 15-minute period. In the two moderate density regionsX1 andX2 the velocities
of the persons-cars and the trucks are high, while in the high density region X3 the velocities are
nearly equal to zero (congested trac conditions). Clearly, in neither the free-¯ow, nor the congested regions, vehicles¯ow back into the empty upstream regions. This strengthens our belief that thediscrete MUC-model satis®es the anisotropy condition, stating that drivers mainly react to stimuli in front of them. We can also see how the individual drivers are aected by the trac conditions if we consider the vehicle trajectories. Note that the mean velocity of theperson-carsis reduced signi®cantly in each density region, while this reduction is more profound in the higher-density regions. Only in the high-higher-density regionX3 the velocities of the trucks are reduced as well.
That is, from the trajectories we can see that the trucks-velocities are virtually unaected by the person-cars present in the regionsX1andX2. In the high-density regionX3however, the number of
interactions with slow person-cars is such that the truck-velocity is aected signi®cantly. More-over, in this region the velocity of person-cars and trucks in nearly identical. Concluding, similar to trac operations in real-life trac, the slow users (trucks) remain virtually unaected by fast users (person-cars), at least in non-congested trac conditions. This implies that the unaected slow-users critique of Daganzo (1995) in remedied in our multiclass model. In Hoogendoorn (1999) it is discussed how the multiclass modelling of trac loosens theinvariant personalityissue of Daganzo (1995).
this region are low, passenger-car/truck interactions also increase substantially. Consequently, eventually the truck velocities are aected by the person±car disturbances (t6 min at x5±7 km). This example shows that our model is able to describe the seemingly spontaneous formation of trac jams.
Macroscopic modeling issues: The test-cases illustrate the models aptness with respect to the issues raised by Daganzo (1995) (anisotropy, unaected slow vehicles, and driver's personality). Furthermore, the multiclass model also considers the issues of Lyrintzis et al. (1994) and Kerner et al. (1996) (deviation from the speed±density relation, trac hysteresis, formation of localized structures; see Hoogendoorn, 1999 for details).
Finally, let us note that the remarks of Helbing (1996) have explicitly been taken into account: the velocity variance is a model variable, the ®nite space requirements have been explicitly troducing using the modi®ed density, while the ®nite braking and reaction times have been in-troduced by the inclusion of the ¯ux of velocity variance.
6. Conclusions
In this article, we have presented a multiple user-class generalization of a macroscopic single-class trac ¯ow model. The model, being derived from mesoscopic foundations, features single- dependent competing processes: on the one hand, drivers aim to traverse the roadway at a class-dependent desired velocity, while on the other hand, drivers are slowed down by slower vehicles from their own and other classes. Depending on the prevailing trac conditions, these competing processes may result in the formation of localized structures.
Other model features are: incorporation of dynamic equations describing class-speci®c velocity variance, vehicle interactions within and between the distinguished classes, and incorporation of class-speci®c parameters, such as acceleration time, reaction time, desired velocity, and vehicle lengths. Additionally, critical issues raised by among others, Daganzo (1995), Lyrintzis et al. (1994) and Helbing (1996), do not hold for our model.
From a model-application perspective, the usefulness of the macroscopic model stems among other from multiclass trac control. For one, the developed model may provide insight into the multiclass response±behavior of heterogenous trac. Moreover, it can be applied in among others model-based trac control approaches of multiclass control options, automated multiclass inci-dent-detection, data-checking and data-completion. Finally, a by-product of the model are (equilibrium) multiclass travel-time functions, that can be used in multiclass dynamic assignment. The paper has presented a new multiclass model formulated in so-called primitive variables, namely the density, the velocity, and the velocity variance. It appears that the model advanta-geously can be reformulated in the so-called conservatives (see Hoogendoorn, 1999). The ad-vantages of this approach are among others the simpli®ed and elegant model derivation, and the availability of improved numerical solution approaches. Its main disadvantage is the lack of in-terpretation of the resulting model equations from the driver's perspective.
Acknowledgements
We would like to express our gratitude to the anonymous referees whose comments have contributed to improve both the clarity and contents of this paper.
References
Daganzo, C.F., 1994a. The cell-transmission model: a dynamic 1representation of highway trac consistent with the hydrodynamic theory. Transportation Research B 28, 269±287.
Daganzo, C.F., 1994b. A continuum theory of trac dynamics for freeways with special lanes. Transportation Research B 31 (2), 83±102.
Daganzo, C.F., 1995. Requiem for second-order ¯uid approximations of trac ¯ow. Transportation Research B 29, 277±286.
Dijker, T., Bovy, P.H.L., Vermijs, R.G.M.M., 1998. Car-following under congested conditions: empirical ®ndings. Transportation Research Record 1644, 20±28.
Haken, H., 1983. Advanced Synergetics. Springer, Berlin.
Helbing, D., 1996. Trac modeling by means of physical concepts. In: Proceedings of the Workshop on Trac and Granular ¯ow. Forschungszentrum Julich, World Scienti®c, Singapore.
Helbing, D., 1997. Verkehrsdynamik. Springer, Berlin.
Hoogendoorn, S.P., 1998. Gas-kinetic modelling of multilane heterogeneous trac ¯ow operations. In: Proceedings of The Fourth TRAIL Annual Congress.
Hoogendoorn, S.P., 1999. Multiclass continuum modelling of multilane trac ¯ow. Ph.D. Thesis. Delft Univ. Press, Delft.
Hoogendoorn, S.P., Bovy, P.H.L., 1996. Optimal control of freeway trac ¯ow using dynamic lane allocations for speci®c user-groups. In: Proceedings of The Second TRAIL Annual Congress.
Hoogendoorn, S.P., Bovy, P.H.L., 1998a. Multiple user-class trac ¯ow modeling ± derivation, analysis and numerical results. Research Report VK2205.328. Delft University of Technology.
Hoogendoorn, S.P., Bovy, P.H.L., 1998b. Modeling multiple user-class trac. Transportation Research Record 1644, 57±70.
Jepsen, M., 1998. On the speed±¯ow relationships in road trac: a model of driver behaviour. In: Proceedings of the Third International Symposium on Highway Capacity, pp. 297±319.
Kerner, B.S., Konhauser, P., Schilke, M., 1996. A new approach to problems of trac ¯ow theory. In: Proceedings of the 13th International Symposium on Transportation and Trac Theory. INRETS, Lyon.
Leutzbach, W., 1988. An Introduction to The Theory of Trac Flow. Springer, Berlin.
Lighthill, M.H., Whitham, G.B., 1955. On kinematic waves II: a theory of trac ¯ow on long, crowded roads.. Proceedings of The Royal Society of London Ser. A 229, 317±345.
Lyrintzis, A.D., Liu, G., Michalopoulos, P.G., 1994. Development and comparative evaluation of high-order trac ¯ow models. Transportation Research Record 1547, 174±183.
Payne, H.J., 1971. Models for freeway trac and control. In: Bekey, G.A. (Ed.), Mathematical Models of Public Systems, vol. 1, pp. 51±61.
Payne, H.J., 1979. FREFLO: a macroscopic simulation model for freeway trac. Transportation Research Record 772, 68±75.
Paveri-Fontana, S.L., 1975. On Boltzmann-like treatments for trac ¯ow: a critical review of the basic model and an alternative proposal for dilute trac analysis. Transportation Research B 9, 225±235.