SearcharxivSearch

arXiv subjects

Gabriella Puppo

Publications and source records attributed to Gabriella Puppo.

At least 19 recordsLinked to original sources

Second-order multilane traffic flow models: from the microscopic to the macroscopic scale

This study addresses multilane vehicular traffic modelling, focusing on the rigorous transition from microscopic (individual vehicle-based) to macroscopic (aggregate flow-based) descriptions. While previous research on multilane traffic has largely focused on first-order models, we derive two novel multilane second-order macroscopic models by applying a microscopic-to-macroscopic limit to the multilane Bando-Follow-the-Leader model. These two models diverge fundamentally in their closure relations during the scaling limit: Model 1 directly projects the velocity dynamics, whereas Model 2 is built upon the heuristic conservation of the generalized momentum across lanes. Both models incorporate lane-changing dynamics through source terms in a hyperbolic system of balance laws, yet their structural differences lead to distinct relaxation limits, with Model 2 naturally relaxing to the first-order macroscopic multilane model recently derived by the authors, and Model 1 yielding a novel, non-standard first-order system. We propose several numerical experiments showing that the models can reproduce complex traffic phenomena, including congestion propagation, non-equilibrium effects, capacity drops, and asymmetric lane usage. Leveraging experimental datasets from real-world highways, we further construct lane-specific empirical fundamental diagrams and compare them with their simulated counterparts. The results demonstrate that the structural assumptions of Model 2 provide a superior quantitative fit with empirical data, faithfully capturing critical density values, traffic scattering, and characteristic lane-dependent patterns, thus offering a robust and generalizable tool for realistic traffic flow analysis.

physics.soc-ph

Dissipation-dispersion analysis of fully-discrete implicit discontinuous Galerkin methods and application to stiff hyperbolic problems

The application of discontinuous Galerkin (DG) schemes to hyperbolic systems of conservation laws requires a careful interplay between space discretization, carried out with local polynomials and numerical fluxes at inter-cells, and time-integration to yield the final update. An important concern is how the scheme modifies the solution through the notions of numerical dissipation-dispersion. As far as we know, no analysis of these artifacts has been considered for implicit integration of DG methods. The first part of this work intends to fill this gap, showing that the choice of the implicit Runge-Kutta impacts deeply on the quality of the solution. We analyze one-dimensional dissipation-dispersion to select the best combination of the space-time discretization for high Courant numbers. Then, we apply our findings to the integration of one-dimensional stiff hyperbolic systems. Implicit schemes leverage superior stability properties enabling the selection of time-steps based solely on accuracy requirements. High-order schemes require the introduction of local space limiters which make the whole implicit scheme highly nonlinear. To mitigate the numerical complexity, we propose to use appropriate space limiters that can be precomputed on a first-order prediction of the solution. Numerical experiments explore the performance of this technique on scalar equations and systems.

math.NA

Formal derivation of an isentropic two-phase flow model from the multi-species Boltzmann equation

Starting from the multi-species Boltzmann equation for a gas mixture, we propose the formal derivation of the isentropic two-phase flow model introduced in [Romenski, E., and Toro, E. F., Comput. Fluid Dyn. J., 13 (2004)]. We examine the asymptotic limit as the Knudsen numbers approach zero, in a regime characterized by resonant intra-species collisions, where interactions between particles of the same species dominate. This specific regime leads to a multi-velocity and multi-pressure hydrodynamic model, enabling the explicit computation of the coefficients for the two-phase macroscopic model. Our derivation also accounts for the inclusion of the evolution of the volume fraction, which is a key variable in many macroscopic multiphase models

math.AP

A monolithic first--order BSSNOK formulation of the Einstein--Euler equations and its solution with path-conservative finite difference CWENO schemes

We present a new, monolithic first--order (both in time and space) BSSNOK formulation of the coupled Einstein--Euler equations. The entire system of hyperbolic PDEs is solved in a completely unified manner via one single numerical scheme applied to both the conservative sector of the matter part and to the first--order strictly non--conservative sector of the spacetime evolution. The coupling between matter and space-time is achieved via algebraic source terms. The numerical scheme used for the solution of the new monolithic first order formulation is a path-conservative central WENO (CWENO) finite difference scheme, with suitable insertions to account for the presence of the non--conservative terms. By solving several crucial tests of numerical general relativity, including a stable neutron star, Riemann problems in relativistic matter with shock waves and the stable long-time evolution of single and binary puncture black holes up and beyond the binary merger, we show that our new CWENO scheme, introduced two decades ago for the compressible Euler equations of gas dynamics, can be successfully applied also to numerical general relativity, solving all equations at the same time with one single numerical method. In the future the new monolithic approach proposed in this paper may become an attractive alternative to traditional methods that couple central finite difference schemes with Kreiss-Oliger dissipation for the space-time part with totally different TVD schemes for the matter evolution and which are currently the state of the art in the field.

gr-qc

A multi-class non-local macroscopic model with time delay for mixed autonomous / human-driven traffic

In this paper, we present a class of systems of non-local conservation laws in one space-dimension incorporating time delay, which can be used to investigate the interaction between autonomous and human-driven vehicles, each characterized by a different reaction time and interaction range. We construct approximate solutions using a Hilliges-Weidlich scheme and we provide uniform L $\infty$ and BV estimates which ensure the convergence of the scheme, thus obtaining existence of entropy weak solutions of bounded variation. Uniqueness follows from an L 1 stability result derived from the entropy condition. Additionally, we provide numerical simulations to illustrate applications to mixed autonomous / human-driven traffic flow modeling. In particular, we show that the presence of autonomous vehicles improves overall traffic flow and stability.

math.AP

Quinpi: Integrating stiff hyperbolic systems with implicit high order finite volume schemes

Many interesting physical problems described by systems of hyperbolic conservation laws are stiff, and thus impose a very small time-step because of the restrictive CFL stability condition. In this case, one can exploit the superior stability properties of implicit time integration which allows to choose the time-step only from accuracy requirements, and thus avoid the use of small time-steps. We discuss an efficient framework to devise high order implicit schemes for stiff hyperbolic systems without tailoring it to a specific problem. The nonlinearity of high order schemes, due to space- and time-limiting procedures which control nonphysical oscillations, makes the implicit time integration difficult, e.g.~because the discrete system is nonlinear also on linear problems. This nonlinearity of the scheme is circumvented as proposed in (Puppo et al., Comm.~Appl.~Math.~\& Comput., 2023) for scalar conservation laws, where a first order implicit predictor is computed to freeze the nonlinear coefficients of the essentially non-oscillatory space reconstruction, and also to assist limiting in time. In addition, we propose a novel conservative flux-centered a-posteriori time-limiting procedure using numerical entropy indicators to detect troubled cells. The numerical tests involve classical and artificially devised stiff problems using the Euler's system of gas-dynamics.

math.NA

Non-local traffic flow models with time delay: well-posedness and numerical approximation

We prove the well-posedness of weak entropy solutions of a scalar non-local traffic flow model with time delay. Existence is obtained by convergence of finite volume approximate solutions constructed by Lax-Friedrich and Hilliges-Weidlich schemes, while the L1 stability with respect to the initial data and the delay parameter relies on a Kruzkov-type doubling of variable technique.Numerical tests are provided to illustrate the efficiency of the proposed schemes, as well as the solution dependence on the delay and look-ahead parameters.

math.AP

Derivation and stability analysis of macroscopic multi-lane models for vehicular traffic flow

The mathematical modeling and the stability analysis of multi-lane traffic in the macroscopic scale is considered. We propose a new first order model derived from microscopic dynamics with lane changing, leading to a coupled system of hyperbolic balance laws. The macroscopic limit is derived without assuming ad hoc space and time scalings. The analysis of the stability of the equilibria of the model is discussed. The proposed numerical tests confirm the theoretical findings between the macroscopic and microscopic modeling, and the results of the stability analysis.

math.AP

Implicit relaxed all Mach number schemes for gases and compressible materials

We present an implicit relaxation scheme for the simulation of compressible flows in all Mach number regimes based on a Jin Xin relaxation approach. The main features of the proposed scheme lie in its simplicity and effectiveness. Thanks to the linearity of the flux in the relaxation system, the time-semi discrete scheme can be reformulated in linear decoupled elliptic equations resulting in the same number of unknowns as in the original system. To obtain the correct numerical diffusion in all Mach number regimes, a convex combination of upwind and centred fluxes is applied. The numerical scheme is validated by applying it on a Eulerian model for non-linear elasticity. Simulations of gas and fluid flows, as well as deformations of compressible solids are carried out to assess the performance of the numerical scheme in accurately approximating material waves in different Mach regimes.

physics.flu-dyn

Stability analysis of microscopic models for traffic flow with lane changing

This paper investigates the mathematical modeling and the stability of multi-lane traffic in the microscopic scale, studying a model based on two interaction terms. To do this we propose simple lane changing conditions and we study the stability of the steady states starting from the model in the one-lane case and extending the results to the generic multi-lane case with the careful design of the lane changing rules. We compare the results with numerical tests, that confirm the predictions of the linear stability analysis and also show that the model is able to reproduce stop & go waves, a typical feature of congested traffic.

math.CA

An all Mach number finite volume method for isentropic two-phase flow

We present an implicit-explicit finite volume scheme for isentropic two phase flow in all Mach number regimes. The underlying model belongs to the class of symmetric hyperbolic thermodynamically compatible models. The key element of the scheme consists of a linearisation of pressure and enthalpy terms at a reference state. The resulting stiff linear parts are integrated implicitly, whereas the non-linear higher order and transport terms are treated explicitly. Due to the flux splitting, the scheme is stable under a CFL condition which determined by the resolution of the slow material waves and allows large time steps even in the presence of fast acoustic waves. Further the singular Mach number limits of the model are studied and the asymptotic preserving property of the scheme is proven. In numerical simulations the consistency with single phase flow, accuracy and the approximation of material waves in different Mach number regimes are assessed.

math.NA

Angle dependence in coupling conditions for shallow water equations at canal junctions

In this paper we propose a numerical Riemann problem solver at the junction of one dimensional shallow-water canal networks. The junction conditions take into account the angles with which the channels intersect and include the possibility of canals with different sections. The solver is illustrated with several numerical tests which underline the importance of the angle dependence to obtain reliable solutions.

math.NA

An all speed second order well-balanced IMEX relaxation scheme for the Euler equations with gravity

We present an implicit-explicit well-balanced finite volume scheme for the Euler equations with a gravitational source term which is able to deal also with low Mach flows. To visualize the different scales we use the non-dimensionalized equations on which we apply a pressure splitting and a Suliciu relaxation. On the resulting model, we apply a splitting of the flux into a linear implicit and an non-linear explicit part that leads to a scale independent time-step. The explicit step consists of a Godunov type method based on an approximative Riemann solver where the source term is included in the flux formulation. We develop the method for a first order scheme and give an extension to second order. Both schemes are designed to be well-balanced, preserve the positivity of density and internal energy and have a scale independent diffusion. We give the low Mach limit equations for well-prepared data and show that the scheme is asymptotic preserving. These properties are numerically validated by various test cases.

math.NA

The BGK approximation of kinetic models for traffic

We study spatially non-homogeneous kinetic models for vehicular traffic flow. Classical formulations, as for instance the BGK equation, lead to unconditionally unstable solutions in the congested regime of traffic. We address this issue by deriving a modified formulation of the BGK-type equation. The new kinetic model allows to reproduce conditionally stable non-equilibrium phenomena in traffic flow. In particular, stop and go waves appear as bounded backward propagating signals occurring in bounded regimes of the density where the model is unstable. The BGK-type model introduced here also offers the mesoscopic description between the microscopic follow-the-leader model and the macroscopic Aw-Rascle and Zhang model.

physics.soc-ph

An all speed second order IMEX relaxation scheme for the Euler equations

We present an implicit-explicit finite volume scheme for the Euler equations. We start from the non-dimensionalised Euler equations where we split the pressure in a slow and a fast acoustic part. We use a Suliciu type relaxation model which we split in an explicit part, solved using a Godunov-type scheme based on an approximate Riemann solver, and an implicit part where we solve an elliptic equation for the fast pressure. The relaxation source terms are treated projecting the solution on the equilibrium manifold. The proposed scheme is positivity preserving with respect to the density and internal energy and asymptotic preserving towards the incompressible Euler equations. For this first order scheme we give a second order extension which maintains the positivity property. We perform numerical experiments in 1D and 2D to show the applicability of the proposed splitting and give convergence results for the second order extension.

math.NA

Kinetic models of BGK type and their numerical integration

This minicourse contains a description of recent results on the modelling of rarefied gases in weakly non equilibrium regimes, and the numerical methods used to approximate the resulting equations. Therefore this work focuses on BGK type approximations, rather than on full Boltzmann models. Within this framework, models for polyatomic gases and for mixtures will be considered. We will also address numerical issues characteristic of the difficulties one encounters when integrating kinetic equations. In particular, we will consider asymptotic preserving schemes, which are designed to approximate equilibrium solutions, without resolving the fast scales of the approach to equilibrium.

physics.comp-ph

A consistent kinetic model for a two-component mixture of polyatomic molecules

We consider a multi component gas mixture with translational and internal energy degrees of freedom assuming that the number of particles of each species remains constant. We will illustrate the derived model in the case of two species, but the model can be easily generalized to multiple species. The two species are allowed to have different degrees of freedom in internal energy and are modelled by a system of kinetic ES-BGK equations featuring two interaction terms to account for momentum and energy transfer between the species. We prove consistency of our model: conservation properties, positivity of the temperature, H-theorem and convergence to a global equilibrium in the form of a global Maxwell distribution. Thus, we are able to derive the usual macroscopic conservation laws. For numerical purposes we apply the Chu reduction to the developed model for polyatomic gases and give an application for a gas consisting of a mono atomic and a diatomic species.

math.AP

Kinetic ES-BGK models for a multi-component gas mixture

We consider a multi component mixture of inert gas in the kinetic regime by assuming that the total number of particles of each species remains constant. In this article we shall illustrate our model for the case of two species. To account for thermal effects, we extend a BGK model based on the presence of a collision term for each possible interaction \cite{Pirner} by including ES-BGK effects. We prove consistency of the extended model like conservation properties, positivity of all temperatures, H-theorem and convergence to a global equilibrium in the shape of a global Maxwell distribution.

math.AP