1 Introduction
Congestion is a phenomenon that arises in a variety of contexts. The most familiar representation is urban traffic congestion. Congested networks involve complex traffic interactions. Providing an analytical description of these intricate interactions is challenging. The dynamics of traffic flows is submitted to stochastic nature of traffic demand and supply functions of vehicles passing from one section to another.
One of the well known macroscopic traffic model on a road section is the LWR (LighthillWhithamRichards) firstorder continuum one Lig55 ; Ric56 , which assumes the existence of a steadystate relationship for the traffic, called the fundamental diagram, giving the traffic flow in function of the vehicular density in the road section. In this paper, we present a reformulation of the state dependent queuing model Smi94 working with flows rather than speeds, and propose a stochastic traffic model based on this new formulation and inspired from the Godunov scheme God59 ; Leb96
of the LWR traffic model. We derive a stationary probability distribution of the
state dependent queuing model on a road section, by considering densityflow fundamental diagrams rather than densityspeed ones. The model assumes a quadratic fundamental diagram which correctly captures the stationary densityflow relationships in both noncongested and congestion conditions. By this, we consider the traffic demand and supply functions for the section, and distinguish three road section systems, an open road section, a constrained road section and a closed road section. Finally, we present a model of two road sections in tandem, derive some performance measures and show on an academic example that the model captures the dynamics of the road traffic. The model we present here can be used to the analysis of travel times through road traffic networks (derive probability distributions, reliability indexes, etc), as in Far08 ; Far14a ; Far14b , where an algebraic deterministic approach is used. The approach present here remains also valid with a triangular fundamental diagram (which is the most used), but the formulas will change guerrouahane2015 .The remainder of this article is organized as follows. In Section 2, we first present a review of the existing works. In this regard, we present in Section 3 a short review of the state dependent queuing model of Jain and Smith Smi97 . We then propose a new reformulation of this model by working with flows rather than speeds. We rewrite the stationary probability distribution of the number of cars on the road section. In Section 4, we present a model of two road sections in tandem where both road sections influence each other. An implicit system given by an algebraic equation is solved, in order to deal with this mutual dependence. We derive some performance measures of both road sections (throughput and expected travel time) and compare our simulation results with those of existing state dependent queuing models (Kerbache and Smith model). In Section 5, we briefly summarize our findings and future work.
2 Literature review
Congestion is a phenomenon that arises on local as well as large areas, whenever traffic demand exceeds traffic supply. Traffic flow on freeways is a complex process with many interacting components and random perturbations such as traffic jams, stopandgo waves, hysteresis phenomena, etc. These perturbations propagate from downstream to upstream sections. During traffic jams, drivers are slowing down when they observe traffic congestion in the downstream section, causing upstream propagation of a traffic density perturbation. A link of the network is modeled as a sequence of road sections, for which fundamental diagrams are given. As the sequence of sections is in series, if any section is not performing optimally, the whole link will not be operating efficiently. We base here on the LWR first order model Lig55 ; Ric56 , for which numerical schemes have been performed since decades Dag94 ; God59 ; Leb96 . In the Godunov scheme Leb96 , as well as in the cell transmission model (CTM) Dag94 , traffic demand and supply functions are defined and used. The demandsupply framework provides a comprehensive foundation for the LWR first order node models. Flow interactions in these models result from limited inflow capacities of the downstream links. Recently, in Tam10 framework has been supplemented with richer features such as conflicts within the node. In Oso11 , a dynamic network loading model that yields queue length distributions was presented. This model is a discretized, stochastic instance of the kinematic wave model (KWM). In Boel06 , the compositional stochastic model extends the cell transmission model Dag94
by defining demand and supply functions explicitly as random variables, and describing how speed evolves dynamically in each link of the road network. Several simulation models based on queueing theory have been developed, but few studies have explored the potential of the queueing theory framework to develop analytical traffic models. The development of analytical, differentiable, and computationally tractable probabilistic traffic models is of wide interest for traffic management. The most common approach is the development of analytical stationary models
Oso11 . A review of stationary queueing models for highway traffic and exact analytical stationary queueing models of unsignalized intersections is given in deferent literatures HeiO1 ; Van08 ; Vandael00 . In Balsamo ; Guerr14 ; Hei97 , the authors contributed to the study of signalized intersections and presented a unifying approach to both signalized and unsignalized intersections. These approaches resort to infinite capacity queues, and thus fail to account for the occurrence of breakdown and their effects on upstream links. Modeling and calculating traffic flow breakdown probability remains an important issue when analyzing the stability and reliability of transportation system Birlon05 ; Break10 .Finite capacity queueing theory imposes a finite upper bound on the length of a queue. This allows to account for finite link lengths, which enables the modeling and analysis of breakdowns. Finite capacity queueing network (FCQN) model are of interest for a variety of applications such as the study of hospital patient flow, manufacturing networks, software architecture networks, circulation systems, prison networks Smi94 , etc. The methods in Bed12 ; Smi94 ; Smi97 resort to finite capacity queueing theory and derive stationary performance measures. The stationary distribution of finite capacity queueing network exist only for networks with two or three queues with specific topologies Grassman ; Langari ; Latouche . An analytic queueing network model that preserves the finite capacity for two queues, under a set of service rate scenarios proposed in Osorio09 .
For more general networks, approximation methods are used to evaluate the stationary distributions, and the General Expansion Method (GEM) was developed Kerbache1 ; Kerbache2 . The GEM characterized by an artificial holding node, which is added and preceded each finite queue in the network in order to register all blocked cars caused by the downstream section. The interested reader may check details in Kerbache2 . In cruz07 , the authors describe a methodology for approximate analysis of open state dependent queueing networks, and a system of two queues in tandem topology was analyzed. The evacuation problem was analyzed using state dependent queuing networks in cruz05 when an algorithm was proposed to optimize the stairwell case and increase evacuation times towards the upper stories. In guerrouahane2015 , the authors present another version of state dependent queuing model, where a triangular fundamental diagram is considered, which leads to apply the demand and supply functions in order to analyze a system of two queues in tandem topology.
3 Review on the M/G/c/c state dependent queuing model
In this section, we present the state dependent queuing model Smi94 ; Smi97 . A link of a road network is modeled with servers set in parallel, where is the maximum number of cars that can move on the road (densitylike). The carspeed is assumed to be dependent on the number of cars on the road, according to a nonincreasing densityspeed relationship. Two cases of speed are considered, linear and exponential. In the linear case, we have
(1) 
where is the speed corresponding to cars moving on the road, and is the free flow speed. In the exponential case, we have
(2) 
in which and are shape and scale parameters respectively.
The values and are arbitrary points, used to adjust the exponential curve Smi94 ; Smi97 . The arrival process of cars into the link is assumed to be Poisson with rate , while the service rate of the servers depend on the number of cars on the road. A normalized service rate is considered, and is taken . In the linear case, we have . In the exponential case, we have . We notice here that is the speed corresponding to one car in the road (ie. the free speed).
The stationary probability distribution of the number of cars in the state dependent model have been developed and shown in Smi94 to be stochastic equivalent to queueing model. Therefore, these probabilities can be written as follows.
(3) 
where is the length of the road section.
From , other important performance measures can be easily derived.

The blocking probability :

The throughput :

The expected number of cars in the section :

The expected service time :
In the following section, we rewrite the model presented in this section, by considering a car densityflow relationship rather than a densityspeed one. This reformulation permits us to consider demand and supply functions which model limit conditions for cartraffic, and by that, to model two road sections in tandem, in Section 4.
3.1 Reformulation of the M/G/c/c state dependent model
In this section, we first reformulate the state dependent model of Jain and Smith, by considering carflows rather than carspeeds. Indeed, the linear case of that model considers a linear relationship of the speed as a function of the cardensity. This is equivalent to considering a quadratic relationship of the carflow as a function of the cardensity; see Figure 1. It is easy to check that this quadratic relationship is written as follows.
(4) 
Indeed, one can for example verify that parting from (4), we retrieve (1)
where .
The objective of working with flows rather than speeds here is to consider the demand and supply functions which we will use in the following sections, for the model of two roadsections in tandem. From (1) and (4), the relationship between the free speed and the maximum carflow is given as follows.
(6) 
The demand and the supply functions are given as follows.
(7) 
(8) 
Demand and supply diagrams are shown in Figure 2, where the parameters of Table 1 are considered.
In the following section, we consider three configuration models of a road section: open, constrained and closed road section. We will explain the role of each model, and tell how these models will be used for the model of two sections in tandem.
3.2 Open, constrained and closed road sections
We distinguish here three road section systems.

An open road section is a road section where the traffic outflow from the section is only constrained by the traffic demand of the section, given in function of the number of cars in the section. It is equivalent to the traffic system presented above in Section 3.1, where the traffic fundamental diagram is restrained to only its traffic demand part (ie with infinite traffic supply). In such a road section, which we index by , if we denote by and the traffic demand and supply of the section (induced by the cardensity of the section) respectively, and the outflow from the section, then we have (see Figure 3)
(9) 
A constrained road section is a road section out flowing to another downstream section, and where the outflow of the considered road section is constrained by the traffic demand of that section, and by the traffic supply of the downstream section. If we index the downstream section by the index , denote by the traffic supply of the downstream section, and consider the same notations used above, then we have (see Figure 3)
(10) 
A closed road section is the road section system presented above in Section 3.1, for which the outflow is given by the fundamental traffic diagram with both demand and supply parts, and where both the parts are constrained by the cardensity of the section. Using the same notation as above, the outflow from the section is given as follows (see Figure 3)
(11)
Basing on the three systems presented above, we present in the following section, a model of two road sections in tandem. It is a kind of a constrained section where the downstream section is a closed one.
4 Two road sections in tandem
We propose in this section a statedependent model for two road sections in tandem. The whole system is a concatenation of two road sections: a state dependent constrained section (section 1), with an state dependent closed section (section 2); see Figure 4. Since the downstream section (section 2) is a closed one, which corresponds to the traffic system presented in Section 3.1, the supply flow of section 2 is stochastic, and is given in function of the probability distribution of the number of cars in section 2.
We assume quadratic flowdensity fundamental diagrams for the two sections. The carflow outgoing from section 1 and entering to section 2 () is given by the minimum between the traffic demand on section 1 and the traffic supply of section 2.
(12) 
The carflow outgoing from section 2, and also from the whole system is denoted by . The objective here is to determine the stationary probability distributions and of the number of cars in section 1 and section 2 respectively, as well as the stationary probability distribution of the couple of numbers of cars in sections 1 and 2 respectively.
We notice here that this cannot be calculated directly since both road sections influence each other. Indeed, depends on which depends on the traffic demand of section 1. Similarly, depends on the traffic supply of section 2, since section 1 is constrained by section 2. We propose below an iterative approach for the calculus of such probabilities.
4.1 The model
The procedure we propose here for the determination of and consists in solving an implicit system given by an algebraic equation, in order to deal with the mutual dependence between sections 1 and 2. We denote by the average outflow from section 1 (average of ), which is also the average inflow to section 2; and by the average outflow from section 2 (average of ), which is the average outflow of the whole system.
We notice that if is known, then the probability distributions and can be obtained in function of . Indeed, section 2 being a state dependent closed section with an average arrival flow , can be obtained in function of . After that, section 1 being constrained by the supply of section 2 (with known ), and then can be obtained in function of and thus in function of . Moreover, from we can obtain in function of , and then the expectation of gives in function of itself.
From the latter remark, we propose the following iterative algorithm for the calculus of and of the probabilities and .
Step . Initialize .
Step (for ).

is obtained in function of .
Section 2 is a state dependent closed section, with an average arrival flow , which is unknown. According to (5), the stationary probability distribution of the number of cars on section 2 is given, in function of , as follows.(13) where

and then are obtained from and , and thus in function of .
Section 1 is constrained by the supply of section 2. As the normalized service rate of section 1 depends on the number of cars on section 2, which itself depends on , the stationary probability distribution of the number of cars in section 1, is also given in function of . The normalized service rate of section 1 is given as follows.(14) In order to write , let us first write the stationary probability distribution of the number of cars on section 1, conditioned by the number of cars on section 2, which we denote by , and which is independent of .
(15) Thus, the stationary probability distribution of the number of cars in section 1, which depends on and , is given as follows.
(16) 
is obtained from , and in function of , and finally .
The average outflow from section 1, , is given in function of as follows.(17)
The procedure consists then in solving the following implicit equation on the scalar .
(18) 
The solution of that equation, if it exists, and if it is unique, gives the value of the asymptotic average flow passing from section 1 to section 2, and by that, the stationary probability distributions and . The stationary probability distribution can be easily deduced from and . We notice here that equation (18) is a fixedpointlike equation.
In the following section, we give some results on the fixedpoint equation solving.
4.2 Fixedpoint equation solving
Below, we give some results on the resolution of equation (18).
Theorem 4.1.
A solution for equation (18) exists and is unique.
Proof.
See A.
The following result gives a condition on the couple , under which the sequence defined by fixed point iteration (17) (i.e. converges for every initial value .
Theorem 4.2.
If such that , and if
then the fixed point iteration converges to the unique fixed point of the fixed point equation.
Proof.
See B.
We do not have other explicit formulas than the condition of Theorem 4.2. We know that for low values of , we have , and the iteration of the fixed point equation converges, independently of the initial value of , to the unique fixed point. However, we also know that for high values of , there exists an interval where . In such cases, the fixed point is unstable. Nevertheless, the sequence oscillates between two adherence values and , giving as the asymptotic average value of , see Figures 5 and 6.
In Figure 5, we give in blue color the function for different values of .
The red line is the first bisector. The fixed point verifying is then the intersection of the blue curve with the red one.
We see in this figure that the derivative of with respect to on the fixed point is decreasing with , starting from zero.
Indeed, for low values of , we have . As increases, decreases.
As explained above, while , we know that the fixed point is stable. However, once , the fixed point
is unstable.
Figure 6 illustrates the two cases of stable and unstable fixed points, depending on the value of . In the first case (left side of the figure), we have veh/h; see also Figure 5. In this case, the fixed point is stable, and the iteration converges to it. In the second case (right side of Figure 6), we have veh/h; see also Figure 5. In this case, the fixed point is unstable, and the iteration oscillates from the two values and .
In the following section, we explain how to compute the stationary probability distributions in function of the average flow , calculated by the fixed point iteration.
4.3 The stationary probability distributions
Once is obtained, the whole stationary regime of the system of two road sections in tandem is determined. Indeed, the stationary probability distributions and are given by (16), (13) and (15) respectively. The stationary joint probability distribution of the couple of the number of cars in sections 1 and 2 respectively, is then easily deduced.
In the following, we illustrate those probability distributions for given parameters of the system. Table 1 gives the fixed parameters for the illustrations, where , , and denote respectively section length, free speed, jamdensity and maximum carflow.
Section  (km)  (km/h)  (veh/km)  (veh/h) 

1  0.1  100  180  5000 
2  0.1  50  180  2500 
Let us notice that (quadratic fundamental diagram), and .
and denote respectively critical cardensity and road section capacity
in term of maximum number of cars.
Figure 7 compares the stationary distribution probability of the two following cases.

One closed road section (Jain and Smith model), with parameters of section 2 in Table 1. (Blue color in Figure 7).

One constrained road section, with parameters of section 1 in Table 1. The section is assumed to be constrained by a closed road section whose parameters are those of section 2 in Table 1. (Red color in Figure 7).
The average car inflow is varied from one illustration to another in Figure 7.
We notice here that the constrained road has a maximum flow capacity of veh/h, but it is constrained by a closed road with a maximum flow capacity of veh/h. We remark from Figure 7, that the constrained section is more likely to be congested than the closed one, even though a priori they are both constrained by a maximum flow capacity of veh/h.
Figure 8 gives the stationary probability distributions of the couple of numbers of cars
in sections 1 and 2 respectively. The average arrival rate is varied from one illustration to another.
Parameters of Table 1 are used. takes the values of veh/h, veh/h, veh/h and veh/h.
In Figure 9, we give the throughputs of sections 1 and 2 in the case where the two sections are set in tandem. The throughput of section 1 is given by (18), and it is the solution of the fixed point iteration. The throughput (see 4) is computed by the same way (Little’s law), once is determined.
Figure 9 displays for an increasing arrival rate, , the throughput through sections 1 and 2 of the whole system of two road sections in tandem. The parameters of each road section are those given in Table 1. We remark from Figure 9, that throughput through the sections 1 and 2 is equal to the arrival rate up to roughly veh/h. This comes directly from the fact that the capacities are not restrictive. However, the trend changes at about veh/h (well below veh/h), and the throughput does not increase anymore.
4.4 Performance measures of two sections in tandem topology
We consider the system of two sections in tandem topology presented in Figure 4, with parameters of Table 1. The bottleneck in section 2 is most difficult to be analyzed because of the mutual dependence between the two sections set in tandem. In the next, we compare the throughput and the expected service time of our method with the method of Kerbache and Smith Kerbache2 .
Figure 10 compares the throughputs of sections 1 and 2 of our method with the expansion method of Kerbache and Smith
(open state dependent queueing networks) Kerbache2 .
We remark from Figure 10, that when the arrival rate is low, our throughputs ( of section 1 and of section 2) are similar to the throughputs of the expansion method of Kerbache and Smith. In this case, the arrival rate is very light and easily accepted by section 2 without any blocking. When the arrival rate is large, our throughputs is low as compared to the throughputs of state dependent queueing networks, because the constrained section (section 1 of our model ) is more likely to be congested than the open section (section 1 in the expansion method of Kerbache and Smith).
Using Little’s Law, Figure 11 compares the expected service time of sections 1 and 2 of our method with the one of method of Kerbache and Smith Kerbache2 . We remark here that under a light arrival rate , the expected service time almost corresponds to the free service time . Under a heavy arrival rate, vehicles slow down and the expected service time increases in value for the two models. Our expected travel time remains near the upper bound of the expansion method of Kerbache and Smith.
5 Conclusion and future work
In this paper, we have presented a queuing model for road traffic that preserves the finite capacity property of the real system. Based on the state dependent queuing model, we have proposed a stochastic queuing model for the road traffic which captures the stationary densityflow relationship in both uncongested and congestion conditions. First results of the proposed model are presented. A comparison with results predicted by the classical state dependent queuing model shows that the proposed model correctly captures the interaction between upstream traffic demand and downstream traffic supply. Future work shall derive more analytic results on the proposed model, and include the extension of the model to complicated treetopologies (complex series, merge, and split networks). Another interesting extension is the treatment of the case where the arrival rate follow a general distribution (general state dependent queuing model). The case where traffic demand, traffic supply and fundamental diagrams are stochastic will also be treated.
Acknowledgements
The authors wish to thank the editorinchief, and the anonymous reviewers whose constructive suggestions helped improve this paper.
Appendix A Proof of Theorem 4.1

Existence. We have .

.
and .
Therefore,
since , because and . 
since and .
Using the theorem of intermediate values, is continuous from into , and we have and . We conclude that such that .


Uniqueness. For the uniqueness of the fixed point, it is sufficient to show that is decreasing in . Let us calculate .
One can easily show that
where
Then
Let us show that
(19) Let be defined as follows . Then
Hence , and the fixed point is unique.
∎
Appendix B Proof of Theorem 4.2
The condition of Theorem 4.2 can be written such that . Therefore, if this condition is satisfied, then such that .
Then since we have already shown in the proof of Theorem 4.1 ( A) that , and by that, , then, under the condition of Theorem 4.2, we have .
Hence the fixed point iteration converges to the unique fixed point of the fixed point equation.
∎
References
References
 (1) Balsamo S, Donatiello L. On the cycle time distribution in a twostage cyclic network with blocking. IEEE Transactions on Software Engineering 1989; 15(10):1206–1216.
 (2) Bedell P, MacGregor Smith J. Topological arrangements of m/g/c/k, m/g/c/c queues in transportation and material handling systems. Computers and Operations Research 2012; 39:28002819.
 (3) Brilon W, Regler M. Reliability of freeway traffic flow: a stochastic concept of capacity. In: Proceedings of 16th International Symposium of Transportation and Traffic Theory. College Park, Maryland; 2005.
 (4) Boel R, Mihaylova L. A compositional stochastic model for real time freeway traffic simulation. Transportation Research Part B 2006; 40:319334.
 (5) Cheah JY, MacGregor Smith J. Generalized M/G/C/C state dependent queuing models and pedestrian traffic flows. Queueing Systems 1994; 15:36586.
 (6) Cruza FRB, MacGregor Smith J. Approximate analysis of M/G/c/c statedependent queueing networks. Computers and Operations Research 2007; 34:23322344.
 (7) Cruza FRB, MacGregor Smith J, Queiroz DC. Service and capacity allocation in M/G/c/c statedependent queueing networks. Computers and Operations Research 2005; 32:15451563.
 (8) Daganzo CF. The cell transmission model: A dynamic representation of highway traffic consistent with the hydrodynamic theory. Transportation Research Part B 1994; 28(4):269287.
 (9) Farhi N. Modélisation minplus et commande du trafic de villes régulières. PhD thesis, University of Paris 1, France; 2008.
 (10) Farhi N., HajSalem H., Lebacque JP. Algebraic approach for performance bound calculus on Transportation networks. Transportation Research Record 2014; 2334:1020.
 (11) Farhi N., HajSalem H., Lebacque JP. Upper bounds for the travel time on linear traffic systems, 17th meeting of the EWGT; 2014.
 (12) Grassman W, Derkic S. An analytical solution for a tandem queue with blocking. Queueing Systems 2000; 36(13):221–235.
 (13) Guerrouahane N, Bouzouzou S, BoualloucheMedjkoun L, Aissani D. Urban congestion: Arrangement of Aamriw Intersection in Bejaia’s City. In: Business process management: ProcessAware Logistics Systems, Lecture note in business information processing, Springer Ed, Germany; 2014, p. 355364. doi: 10.1007/978331906257028.
 (14) Guerrouahane N., Aissani D., BoualloucheMedjkoune L., Farhi N. state dependent queueing model for road traffic simulation. Applied Mathematics and Information Sciences 2017; 11:5968.
 (15) Godunov SK. A Difference Scheme for Numerical Solution of Discontinuous Solution of Hydrodynamic Equations. Matematicheskii Sbornik 1958; 47:271306.
 (16) Heidemann D, Wegmann H. Queueing at unsignalized intersections. Transportation Research Part B 1997; 31:239263.
 (17) Heidemann D. Queue length and delay distributions at traffic signals. Transportation Research Part B 1994; 28:377389.
 (18) Kerbache L, MacGregor Smith J. The generalized expansion method for open finite queueing networks. European Journal of Operational Research 1987; 32:448–61.
 (19) Kerbache L, MacGregor Smith J. Asymptotic behavior of the expansion method for open finite queueing networks. Computers and Operations Research 1988; 15(2):157–69.
 (20) Langaris C, Conolly B. On the waiting time of a twostage queueing system with blocking. Journal of Applied Probability 1984; 21(3):628–638.
 (21) Latouche G, Neuts MF. Efficient algorithmic solutions to exponential tandem queues with blocking. SIAM Journal on Algebraic and Discrete Methods 1980; 1:93–106.
 (22) Lebacque JP. The Godunov scheme and what it means for first order traffic flow models.In J.B. Lesort (ed.), Proceedings of the 13th International Symposium on Transportation and Traffic Theory, Pergamon, Lyon, France; 1996.
 (23) Lighthill J, Whitham JB. On kinematic waves: A theory of traffic flow on long, crowded roads. Proc. Royal Society A 1955; 229:281345.
 (24) Osorio C, Bierlaire M. An analytic finite capacity queueing network model capturing the propagation of congestion and blocking. European Journal of Operational Research 2009; 196(3):9961007.
 (25) Osorio C. Mitigating Network Congestion: Analytical Models, Optimization Methods and their Applications. PhD thesis, école polytechnique fédérale de Lausanne, Suisse; 2010.
 (26) Richards PI. Shock waves on the highway. Operations Research 1956; 4:4251.
 (27) Jain R, MacGregor Smith J. Modeling vehicular traffic flow using M/G/C/C state dependent queueing models. Transportation Science 1997; 31(4):324–336.
 (28) Tampere C, Courthout R, Viti F, Cattrysse D. Link transmission model: an efficient dynamic network loading algorithm with realistic node and link behaviour, 7th Triennal Symposium on Transportation Analysis, Tromso, Norway; 2010.
 (29) Van Woensel T, Kerbache L, Peremans H, Vandaele N. Vehicle routing with dynamic travel times: A queueing approach. European Journal of Operational Research 2008; 186 (3):990–1007.
 (30) Vandaele N, Van Woensel T, Verbruggen N. A queueing based traffic flow model. Transportation Research Part D 2000; 5(2):121135.
 (31) Wang H, Rudy K, Li J, Ni D. Calculation of traffic flow breakdown probability to optimize link throughput. Applied Mathematical Modelling 2010; 34:3376–3389.
Comments
There are no comments yet.