Point queue models: A unified approach

In transportation and other types of facilities, various queues arise when the demands of service are higher than the supplies, and many point and fluid queue models have been proposed to study such queueing systems. However, there has been no unified approach to deriving such models, analyzing their relationships and properties, and extending them for networks. In this paper, we derive point queue models as limits of two link-based queueing model: the link transmission model and a link queue model. With two definitions for demand and supply of a point queue, we present four point queue models, four approximate models, and their discrete versions. We discuss the properties of these models, including equivalence, well-definedness, smoothness, and queue spillback, both analytically and with numerical examples. We then analytically solve Vickrey’s point queue model and stationary states in various models. We demonstrate that all existing point and fluid queue models in the literature are special cases of those derived from the link-based queueing models. Such a unified approach leads to systematic methods for studying the queueing process at a point facility and will also be helpful for studies on stochastic queues as well as networks of queues.     

A day-to-day dynamical model for the evolution of path flows under disequilibrium of traffic networks with fixed demand

Transportation networks are often subjected to perturbed conditions leading to traffic disequilibrium. Under such conditions, the traffic evolution is typically modeled as a dynamical system that captures the aggregated effect of paths-shifts by drivers over time. This paper proposes a day-to-day (DTD) dynamical model that bridges two important gaps in the literature. First, existing DTD models generally consider current path flows and costs, but do not factor the sensitivity of path costs to flow. The proposed DTD model simultaneously captures all three factors in modeling the flow shift by drivers. As a driver can potentially perceive the sensitivity of path costs with the congestion level based on past experience, incorporating this factor can enhance real-world consistency. In addition, it smoothens the time trajectory of path flows, a desirable property for practice where the iterative solution procedure is typically terminated at an arbitrary point due to computational time constraints. Second, the study provides a criterion to classify paths for an origin–destination pair into two subsets under traffic disequilibrium: expensive paths and attractive paths. This facilitates flow shifts from the set of expensive paths to the set of attractive paths, enabling a higher degree of freedom in modeling flow shift compared to that of shifting flows only to the shortest path, which is behaviorally restrictive. In addition, consistent with the real-world driver behavior, it also helps to preclude flow shifts among expensive paths. Improved behavioral consistency can lead to more meaningful path/link time-dependent flow profiles for developing effective dynamic traffic management strategies for practice. The proposed DTD model is formulated as the dynamical system by drawing insights from micro-economic theory. The stability of the model and existence of its stationary point are theoretically proven. Results from computational experiments validate its modeling properties and illustrate its benefits relative to existing DTD dynamical models.     

Alternative pollution permit systems for transportation networks based on origin/destination pairs and paths

In this paper, we introduce two new pollution permit systems for congested transportation networks based, respectively, on origin/destination pairs and on paths. We derive the governing equilibrium conditions for each system, provide the variational inequality formulations, and compare these permit systems to the existing link-based permit system model. As in the case of the link-based permit system model, we show that either new system achieves the environmental quality standard provided that the initial license allocations are set accordingly. We also prove that, given the equilibrium solution to the origin/destination permit system problem, we can construct from it a solution to the path-based permit system problem and vice versa. We discuss qualitative properties of the equilibrium solution patterns and propose an algorithm for the computation of the patterns for both models. Finally, we present a numerical example that illustrates the permit systems. In light of this work, transportation planning agencies now have available alternative permit systems for their use for pollution reduction.     

On a link-based day-to-day traffic assignment model

In this paper, we perform a rigorous analysis on a link-based day-to-day traffic assignment model recently proposed in He et al. (2010). Several properties, including the invariance set and the constrained stability, of this dynamical process are established. An extension of the model to the asymmetric case is investigated and the stability result is also established under slightly more restrictive assumptions. Numerical experiments are conducted to demonstrate the findings.     

A kinematic wave approach to traffic statics and dynamics in a double-ring network

Recently there has been much interest in understanding macroscopic fundamental diagrams of stationary road networks. However, there lacks a systematic method to define and solve stationary states in a road network with complex junctions. In this study we propose a kinematic wave approach to defining, analyzing, and simulating static and dynamic traffic characteristics in a network of two ring roads connected by a 2 × 2 junction, which can be either an uninterrupted interchange or a signalized intersection. This study is enabled by recently developed macroscopic junction models of general junctions. With a junction model based on fair merging and first-in-first-out diverging rules, we first define and solve stationary states and then derive the macroscopic fundamental diagram (MFD) of a stationary uninterrupted network. We conclude that the flow-density relationship of the uninterrupted double-ring network is not unique for high average network densities (i.e., when one ring becomes congested) and unveil the existence of infinitely many stationary states that can arise with a zero-speed shockwave. From simulation results with a corresponding Cell Transmission Model, we verify that all stationary states in the MFD are stable and can be reached, but show that randomness in the retaining ratio of each ring drives the network to more symmetric traffic patterns and higher flow-rates. Furthermore we model a signalized intersection as two alternate diverge junctions and demonstrate that the signalized double-ring network can reach asymptotically periodic traffic patterns, which are therefore defined as “stationary” states in signalized networks. With simulations we show that the flow-density relation is well defined in such “stationary” states, and asymptotic traffic patterns can be impacted by signal cycle lengths and retaining ratios. But compared with uninterrupted interchanges, signalized intersections lead to more asymmetric traffic patterns, lower flow-rates, and even gridlocks when the average density is higher than half of the jam density. The results are consistent between this study and existing studies, but the network kinematic wave model, with appropriate junction models, is mathematically tractable and physically meaningful. It has offered a more complete picture regarding the number and type of stationary states, their stability, and MFD in freeway and signalized networks.     

Dynamic system-optimal traffic assignment using a state space model

We propose a new mathematical formulation for the problem of optimal traffic assignment in dynamic networks with multiple origins and destinations. This problem is motivated by route guidance issues that arise in an Intelligent Vehicle-Highway Systems (IVHS) environment. We assume that the network is subject to known time-varying demands for travel between its origins and destinations during a given time horizon. The objective is to assign the vehicles to links over time so as to minimize the total travel time experienced by all the vehicles using the network. We model the traffic network over the time horizon as a discrete-time dynamical system. The system state at each time instant is defined in a way that, without loss of optimality, avoids complete microscopic detail by grouping vehicles into platoons irrespective of origin node and time of entry to network. Moreover, the formulation contains no explicit path enumeration. The state transition function can model link travel times by either impedance functions, link outflow functions, or by a combination of both. Two versions (with different boundary conditions) of the problem of optimal traffic assignment are studied in the context of this model. These optimization problems are optimal control problems for nonlinear discrete-time dynamical systems, and thus they are amenable to algorithmic solutions based on dynamic programming. The computational challenges associated with the exact solution of these problems are discussed and some heuristics are proposed.     

Creating complex congestion patterns via multi-objective optimal freeway traffic control with application to cyber-security

This article presents a study on freeway networks instrumented with coordinated ramp metering and the ability of such control systems to produce arbitrarily complex congestion patterns within the dynamical limits of the traffic system. The developed method is used to evaluate the potential for an adversary with access to control infrastructure to enact high-level attacks on the underlying freeway system. The attacks are executed using a predictive, coordinated ramp metering controller based on finite-horizon optimal control and multi-objective optimization techniques. The efficacy of the control schemes in carrying out the prescribed attacks is determined via simulations of traffic network models based on the cell transmission model with onramps modeled as queue buffers. Freeway attacks with high-level objectives are presented on two illustrative examples: congestion-on-demand, which aims to create precise, user-specified pockets of congestion, and catch-me-if-you-can, which attempts to aid a fleeing vehicle from pursuant vehicles.     

Quasi-dynamic traffic assignment with residual point queues incorporating a first order node model

Static traffic assignment models are still widely applied for strategic transport planning purposes in spite of the fact that such models produce implausible traffic flows that exceed link capacities and predict incorrect congestion locations. There have been numerous attempts to constrain link flows to capacity. Capacity constrained models with residual queues are often referred to as quasi-dynamic traffic assignment models. After reviewing the literature, we come to the conclusion that an important piece of the puzzle has been missing so far, namely the inclusion of a first order node model. In this paper we propose a novel path-based static traffic assignment model for finding a stochastic user equilibrium in general transportation networks. This model includes a first order (steady-state) node model that yields more realistic turn capacities, which are then used to determine consistent capacity constrained traffic flows, residual point (vertical) queues (upstream bottleneck links), and path travel times consistent with queuing theory. The route choice part of the model is specified as a variational inequality problem, while the network loading part is formulated as a fixed point problem. Both problems are solved using existing techniques to find a solution. We illustrate the model using hypothetical examples, and also demonstrate feasibility on large-scale networks.     

Efficient multiple model particle filtering for joint traffic state estimation and incident detection

This article proposes an efficient multiple model particle filter (EMMPF) to solve the problems of traffic state estimation and incident detection, which requires significantly less computation time compared to existing multiple model nonlinear filters. To incorporate the on ramps and off ramps on the highway, junction solvers for a traffic flow model with incident dynamics are developed. The effectiveness of the proposed EMMPF is assessed using a benchmark hybrid state estimation problem, and using synthetic traffic data generated by a micro-simulation software. Then, the traffic estimation framework is implemented using field data collected on Interstate 880 in California. The results show the EMMPF is capable of estimating the traffic state and detecting incidents and requires an order of magnitude less computation time compared to existing algorithms, especially when the hybrid system has a large number of rare models.     

Continuous formulations and analytical properties of the link transmission model

The link transmission model (LTM) has great potential for simulating traffic flow in large-scale networks since it is much more efficient and accurate than the Cell Transmission Model (CTM). However, there lack general continuous formulations of LTM, and there has been no systematic study on its analytical properties such as stationary states and stability of network traffic flow. In this study we attempt to fill the gaps. First we apply the Hopf–Lax formula to derive Newell’s simplified kinematic wave model with given boundary cumulative flows and the triangular fundamental diagram. We then apply the Hopf–Lax formula to define link demand and supply functions, as well as link queue and vacancy functions, and present two continuous formulations of LTM, by incorporating boundary demands and supplies as well as invariant macroscopic junction models. With continuous LTM, we define and solve the stationary states in a road network. We also apply LTM to directly derive a Poincaré map to analyze the stability of stationary states in a diverge-merge network. Finally we present an example to show that LTM is not well-defined with non-invariant junction models. We can see that Newell’s model and continuous LTM complement each other and provide an alternative formulation of the network kinematic wave theory. This study paves the way for further extensions, analyses, and applications of LTM in the future.     

A hybrid deep learning based traffic flow prediction method and its understanding

Deep neural networks (DNNs) have recently demonstrated the capability to predict traffic flow with big data. While existing DNN models can provide better performance than shallow models, it is still an open issue of making full use of spatial-temporal characteristics of the traffic flow to improve their performance. In addition, our understanding of them on traffic data remains limited. This paper proposes a DNN based traffic flow prediction model (DNN-BTF) to improve the prediction accuracy. The DNN-BTF model makes full use of weekly/daily periodicity and spatial-temporal characteristics of traffic flow. Inspired by recent work in machine learning, an attention based model was introduced that automatically learns to determine the importance of past traffic flow. The convolutional neural network was also used to mine the spatial features and the recurrent neural network to mine the temporal features of traffic flow. We also showed through visualization how DNN-BTF model understands traffic flow data and presents a challenge to conventional thinking about neural networks in the transportation field that neural networks is purely a “black-box” model. Data from open-access database PeMS was used to validate the proposed DNN-BTF model on a long-term horizon prediction task. Experimental results demonstrated that our method outperforms the state-of-the-art approaches.     

Evidence of convective instability in congested traffic flow: A systematic empirical and theoretical investigation

An extended open system such as traffic flow is said to be convectively unstable if perturbations of the stationary state grow but propagate in only one direction, so they eventually leave the system. By means of data analysis, simulations, and analytical calculations, we give evidence that this concept is relevant for instabilities of congested traffic flow. We analyze detector data from several hundred traffic jams and propose estimates for the linear growth rate, the wavelength, the propagation velocity, and the severity of the associated bottleneck that can be evaluated semi-automatically. Scatter plots of these quantities reveal systematic dependencies. On the theoretical side, we derive, for a wide class of microscopic and macroscopic traffic models, analytical criteria for convective and absolute linear instabilities. Based on the relative positions of the stability limits in the fundamental diagram, we divide these models into five stability classes which uniquely determine the set of possible elementary spatiotemporal patterns in open systems with a bottleneck. Only two classes, both dominated by convective instabilities, are compatible with observations. By means of approximate solutions of convectively unstable systems with sustained localized noise, we show that the observed spatiotemporal phenomena can also be described analytically. The parameters of the analytical expressions can be inferred from observations, and also (analytically) derived from the model equations.     

Traffic dynamics in a bi-modal transportation network with information provision and adaptive transit services

This paper has two major components. The first one is the day-to-day evolution of travelers’ mode and route choices in a bi-modal transportation system where traffic information (predicted travel cost) is available to travelers. The second one is a public transit operator adjusting or adapting its service over time (from period to period) based on observed system conditions. Particularly, we consider that on each day both travelers’ past travel experiences and the predicted travel cost (based on information provision) can affect travelers’ perceptions of different modes and routes, and thus affect their mode choice and/or route choice accordingly. This evolution process from day to day is formulated by a discrete dynamical model. The properties of such a dynamical model are then analyzed, including the existence, uniqueness and stability of the fixed point. Most importantly, we show that the predicted travel cost based on information provision may help stabilize the dynamical system even if it is not fully accurate. Given the day-to-day traffic evolution, we then model an adaptive transit operator who can adjust frequency and fare for public transit from period to period (each period contains a certain number of days). The adaptive frequency and fare in one period are determined from the realized transit demands and transit profits of the previous periods, which is to achieve a (locally) maximum transit profit. The day-to-day and period-to-period models and their properties are also illustrated by numerical experiments.     

A spatiotemporal correlative k-nearest neighbor model for short-term traffic multistep forecasting

The k-nearest neighbor (KNN) model is an effective statistical model applied in short-term traffic forecasting that can provide reliable data to guide travelers. This study proposes an improved KNN model to enhance forecasting accuracy based on spatiotemporal correlation and to achieve multistep forecasting. The physical distances among road segments are replaced with equivalent distances, which are defined by the static and dynamic data collected from real road networks. The traffic state of a road segment is described by a spatiotemporal state matrix instead of only a time series as in the original KNN model. The nearest neighbors are selected according to the Gaussian weighted Euclidean distance, which adjusts the influences of time and space factors on spatiotemporal state matrices. The forecasting accuracies of the improved KNN and of four other models are compared, and experimental results indicate that the improved KNN model is more appropriate for short-term traffic multistep forecasting than the other models are. This study also discusses the application of the improved KNN model in a time-varying traffic state.     

A comparative study of Macroscopic Fundamental Diagrams of arterial road networks governed by adaptive traffic signal systems

Using a stochastic cellular automaton model for urban traffic flow, we study and compare Macroscopic Fundamental Diagrams (MFDs) of arterial road networks governed by different types of adaptive traffic signal systems, under various boundary conditions. In particular, we simulate realistic signal systems that include signal linking and adaptive cycle times, and compare their performance against a highly adaptive system of self-organizing traffic signals which is designed to uniformly distribute the network density. We find that for networks with time-independent boundary conditions, well-defined stationary MFDs are observed, whose shape depends on the particular signal system used, and also on the level of heterogeneity in the system. We find that the spatial heterogeneity of both density and flow provide important indicators of network performance. We also study networks with time-dependent boundary conditions, containing morning and afternoon peaks. In this case, intricate hysteresis loops are observed in the MFDs which are strongly correlated with the density heterogeneity. Our results show that the MFD of the self-organizing traffic signals lies above the MFD for the realistic systems, suggesting that by adaptively homogenizing the network density, overall better performance and higher capacity can be achieved.     

Equilibrium analysis and route guidance in large-scale networks with MFD dynamics

Recent studies have demonstrated that Macroscopic Fundamental Diagram (MFD), which provides an aggregated model of urban traffic dynamics linking network production and density, offers a new generation of real-time traffic management strategies to improve the network performance. However, the effect of route choice behavior on MFD modeling in case of heterogeneous urban networks is still unexplored. The paper advances in this direction by firstly extending two MFD-based traffic models with different granularity of vehicle accumulation state and route choice behavior aggregation. This configuration enables us to address limited traffic state observability and to scrutinize implications of drivers’ route choice in MFD modeling. We consider a city that is partitioned in a small number of large-size regions (aggregated model) where each region consists of medium-size sub-regions (more detailed model) exhibiting a well-defined MFD. This paper proposes a route guidance advisory control system based on the aggregated model as a large-scale traffic management strategy that utilizes aggregated traffic states while sub-regional information is partially known. In addition, we investigate the effect of equilibrium conditions (i.e. user equilibrium and system optimum) on the overall network performance, in particular MFD functions.     

A discrete dynamical system of formulating traffic assignment: Revisiting Smith’s model

Through relaxing the behavior assumption adopted in Smith’s model (Smith, 1984), we propose a discrete dynamical system to formulate the day-to-day evolution process of traffic flows from a non-equilibrium state to an equilibrium state. Depending on certain preconditions, the equilibrium state can be equivalent to a Wardrop user equilibrium (UE), Logit-based stochastic user equilibrium (SUE), or boundedly rational user equilibrium (BRUE). These equivalence properties indicate that, to make day-to-day flows evolve to equilibrium flows, it is not necessary for travelers to choose their routes based on actual travel costs of the previous day. Day-to-day flows can still evolve to equilibrium flows provided that travelers choose their routes based on estimated travel costs which satisfy these preconditions. We also show that, under a more general assumption than the monotonicity of route cost function, the trajectory of the dynamical system converges to a set of equilibrium flows by reasonably setting these parameters in the dynamical system. Finally, numerical examples are presented to demonstrate the application and properties of the dynamical system. The study is helpful for understanding various processes of forming traffic jam and designing an algorithm for calculating equilibrium flows.     

A stochastic model for highway traffic

A nonlinear model for unidirectional flow of heavy traffic on a two-lane highway is considered. Features such as entrance, exit and lane transfer with time-dependent parameters are incorporated into the model, with the result that a number of previous models employed in the study of traffic flow become special cases of ours. Using the method of system-size expansion, an asymptotic analysis of the problem, including the time evolution of both deterministic and stochastic aspects of the traffic system, is carried out. In addition, a scheme for obtaining the moments of the probability distribution for systems of finite size is developed and a comparison is made with the exact results appropriate to a particular model. The agreement between the two sets of results turns out to be remarkably good.     

Closed-form multiclass cell transmission model enhanced with overtaking,lane-changing,and first-in first-out properties

A novel multiclass macroscopic model is proposed in this article. In order to enhance first-in, first-out property (FIFO) and transmission function in the multiclass traffic modeling, a new multiclass cell transmission model with FIFO property (herein called FM-CTM) is extended from its prior multiclass cell transmission model (M-CTM). Also, to enhance its analytical compactness and resultant computational convenience, FM-CTM is formulated in this paper as a set of closed-form matrix equations. The objective is to improve the accuracy of traffic state estimation by enforcing FIFO property when a fast vehicle cannot overtake a slow vehicle due to a limitation of a single-lane road. Moreover, the proposed model takes into account a different priority for vehicles of each class to move forward through congested road conditions, and that makes the flow calculation independent from their free-flow speeds. Some hypothetical and real-world freeway networks with a constant or varying number of lanes are selected to verify FM-CTM by comparing with M-CTM and the conventional CTM. Observed densities of VISSIM and real-world dataset of I-80 are selected to compare with the simulated densities from the three CTMs. The numerical results show that FM-CTM outperforms the other two models by 15% of accuracy measures in most cases. Therefore, the proposed model is expected to be well applicable to the road network with a mixed traffic and varying number of lanes.     

On the existence of stationary states in general road networks

Our daily driving experience and empirical observations suggest that traffic patterns in a road network are relatively stationary during peak periods. In numerous transportation network studies, there has been an implicit conjecture that stationary states exist in a network when origin demands, route choice proportions, and destination supplies are constant. In this study, we first rigorously formulate the conjecture within the framework of a network kinematic wave theory with an invariant junction model. After defining stationary states, we derive a system of algebraic equations in 3-tuples of stationary link flow-rates, demands, and supplies. We then introduce a new definition of junction critical demand levels based on effective demands and supplies. With a map in critical demand levels, we show that its fixed points and, therefore, stationary states exist with the help of Brouwer’s fixed point theorem. For two simple road networks, we show that the map is well-defined and can be used to solve stationary states with a brute-force method. Finally we summarize the study and present some future extensions and applications.