-
Central-Upwind Scheme for the Phase-Transition Traffic Flow Model
Authors:
Shaoshuai Chu,
Alexander Kurganov,
Saeed Mohammadian,
Zuduo Zheng
Abstract:
Phase-transition models are an important family of non-equilibrium continuum traffic flow models, offering properties like replicating complex traffic phenomena, maintaining anisotropy, and promising potentials for accommodating automated vehicles. However, their complex mathematical characteristics such as discontinuous solution domains, pose numerical challenges and limit their exploration in tr…
▽ More
Phase-transition models are an important family of non-equilibrium continuum traffic flow models, offering properties like replicating complex traffic phenomena, maintaining anisotropy, and promising potentials for accommodating automated vehicles. However, their complex mathematical characteristics such as discontinuous solution domains, pose numerical challenges and limit their exploration in traffic flow theory. This paper focuses on developing a robust and accurate numerical method for phase-transition traffic flow models: We propose a second-order semi-discrete central-upwind scheme specifically designed for discontinuous phase-transition models. This novel scheme incorporates the projection onto appropriate flow domains, ensuring enhanced handling of discontinuities and maintaining physical consistency and accuracy. We demonstrate the efficacy of the proposed scheme through extensive and challenging numerical tests, showcasing their potential to facilitate further research and application in phase-transition traffic flow modeling. The ability of phase-transition models to embed the ``time-gap'' -- a crucial element in automated traffic control -- as a conserved variable aligns seamlessly with the control logic of automated vehicles, presenting significant potential for future applications, and the proposed numerical scheme now substantially facilitates exploring such potentials.
△ Less
Submitted 30 June, 2025; v1 submitted 16 April, 2025;
originally announced April 2025.
-
A high-order implicit time integration method for linear and nonlinear dynamics with efficient computation of accelerations
Authors:
Daniel O'Shea,
Xiaoran Zhang,
Shayan Mohammadian,
Chongmin Song
Abstract:
An algorithm for a family of self-starting high-order implicit time integration schemes with controllable numerical dissipation is proposed for both linear and nonlinear transient problems. This work builds on the previous works of the authors on elastodynamics by presenting a new algorithm that eliminates the need for factorization of the mass matrix providing benefit for the solution of nonlinea…
▽ More
An algorithm for a family of self-starting high-order implicit time integration schemes with controllable numerical dissipation is proposed for both linear and nonlinear transient problems. This work builds on the previous works of the authors on elastodynamics by presenting a new algorithm that eliminates the need for factorization of the mass matrix providing benefit for the solution of nonlinear problems. The improved algorithm directly obtains the acceleration at the same order of accuracy of the displacement and velocity using vector operations (without additional equation solutions). The nonlinearity is handled by numerical integration within a time step to achieve the desired order of accuracy. The new algorithm fully retains the desirable features of the previous works: 1. The order of accuracy is not affected by the presence of external forces and physical damping; 2. numerical dissipation in the algorithm is controlled by a user-specified parameter, leading to schemes ranging from perfectly nondissipative A-stable to L-stable; 3. The effective stiffness matrix is a linear combination of the mass, damping, and stiffness matrices as in the trapezoidal rule. The proposed algorithm is shown to replicate the numerical results demonstrated on linear problems in previous works. Additional numerical examples of linear and nonlinear vibration and wave propagation are presented herein. Notably, the proposed algorithms show the same convergence rates for nonlinear problems as linear problems, and very high accuracy. Second-order time integration methods commonly used in commercial software produce significantly polluted acceleration responses for a common class of wave propagation problems. The high-order time integration schemes presented here perform noticably better at suppressing spurious high-frequency oscillations and producing reliable and useable acceleration responses.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Continuum modeling of freeway traffic flows: State-of-the-art, challenges and future directions in the era of connected and automated vehicles
Authors:
Saeed Mohammadian,
Zuduo Zheng,
Md. Mazharul Haque,
Ashish Bhaskar
Abstract:
Connected and automated vehicles (CAVs) are expected to reshape traffic flow dynamics and present new challenges and opportunities for traffic flow modeling. While numerous studies have proposed optimal modeling and control strategies for CAVs with various objectives (e.g., traffic efficiency and safety), there are uncertainties about the flow dynamics of CAVs in real-world traffic. The uncertaint…
▽ More
Connected and automated vehicles (CAVs) are expected to reshape traffic flow dynamics and present new challenges and opportunities for traffic flow modeling. While numerous studies have proposed optimal modeling and control strategies for CAVs with various objectives (e.g., traffic efficiency and safety), there are uncertainties about the flow dynamics of CAVs in real-world traffic. The uncertainties are especially amplified for mixed traffic flows, consisting of CAVs and human-driven vehicles, where the implications can be significant from the continuum-modeling perspective, which aims to capture macroscopic traffic flow dynamics based on hyperbolic systems of partial differential equations. This paper aims to highlight and discuss some essential problems in continuum modeling of real-world freeway traffic flows in the era of CAVs. We first provide a select review of some existing continuum models for conventional human-driven traffic as well as the recent attempts for incorporating CAVs into the continuum-modeling framework. Wherever applicable, we provide new insights about the properties of existing models and revisit their implications for traffic flows of CAVs using recent empirical observations with CAVs and the previous discussions and debates in the literature. The paper then discusses some major problems inherent to continuum modeling of real-world (mixed) CAV traffic flows modeling by distinguishing between two major research directions: (a) modeling for explaining purposes, where making reproducible inferences about the physical aspects of macroscopic properties is of the primary interest, and (b) modeling for practical purposes, in which the focus is on the reliable predictions for operation and control. The paper proposes some potential solutions in each research direction and recommends some future research topics.
△ Less
Submitted 29 November, 2023; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Feasible bases for a polytope related to the Hamilton cycle problem
Authors:
Thomas Kalinowski,
Sogol Mohammadian
Abstract:
We study a certain polytope depending on a graph $G$ and a parameter $β\in(0,1)$ which arises from embedding the Hamiltonian cycle problem in a discounted Markov decision process. Eshragh \emph{et al.} conjectured a lower bound on the proportion of feasible bases corresponding to Hamiltonian cycles in the set of all feasible bases. We make progress towards a proof of the conjecture by proving resu…
▽ More
We study a certain polytope depending on a graph $G$ and a parameter $β\in(0,1)$ which arises from embedding the Hamiltonian cycle problem in a discounted Markov decision process. Eshragh \emph{et al.} conjectured a lower bound on the proportion of feasible bases corresponding to Hamiltonian cycles in the set of all feasible bases. We make progress towards a proof of the conjecture by proving results about the structure of feasible bases. In particular, we prove three main results: (1) the set of feasible bases is independent of the parameter $β$ when the parameter is close to 1, (2) the polytope can be interpreted as a generalized network flow polytope and (3) we deduce a combinatorial interpretation of the feasible bases. We also provide a full characterization for a special class of feasible bases, and we apply this to provide some computational support for the conjecture.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
Hamiltonian cycles and subsets of discounted occupational measures
Authors:
Ali Eshragh,
Jerzy A. Filar,
Thomas Kalinowski,
Sogol Mohammadian
Abstract:
We study a certain polytope arising from embedding the Hamiltonian cycle problem in a discounted Markov decision process. The Hamiltonian cycle problem can be reduced to finding particular extreme points of a certain polytope associated with the input graph. This polytope is a subset of the space of discounted occupational measures. We characterize the feasible bases of the polytope for a general…
▽ More
We study a certain polytope arising from embedding the Hamiltonian cycle problem in a discounted Markov decision process. The Hamiltonian cycle problem can be reduced to finding particular extreme points of a certain polytope associated with the input graph. This polytope is a subset of the space of discounted occupational measures. We characterize the feasible bases of the polytope for a general input graph $G$, and determine the expected numbers of different types of feasible bases when the underlying graph is random. We utilize these results to demonstrate that augmenting certain additional constraints to reduce the polyhedral domain can eliminate a large number of feasible bases that do not correspond to Hamiltonian cycles. Finally, we develop a random walk algorithm on the feasible bases of the reduced polytope and present some numerical results. We conclude with a conjecture on the feasible bases of the reduced polytope.
△ Less
Submitted 25 January, 2019; v1 submitted 12 May, 2018;
originally announced May 2018.