-
Sparse Reconstruction of Multi-Dimensional Kinetic Distributions
Authors:
Georgii Oblapenko,
Manuel Torrilhon,
Michael Herty
Abstract:
In the present work, we propose a novel method for reconstruction of multi-dimensional kinetic distributions, based on their representation as a mixture of Dirac delta functions. The representation is found as a solution of an optimization problem. Different target functionals are considered, with a focus on sparsity-promoting regularization terms. The proposed algorithm guarantees non-negativity…
▽ More
In the present work, we propose a novel method for reconstruction of multi-dimensional kinetic distributions, based on their representation as a mixture of Dirac delta functions. The representation is found as a solution of an optimization problem. Different target functionals are considered, with a focus on sparsity-promoting regularization terms. The proposed algorithm guarantees non-negativity of the distribution by construction, and avoids an exponential dependence of the computational cost on the dimensionality of the problem.
Numerical comparisons with other classical methods for reconstruction of kinetic distributions are provided for model problems, and the role of the different parameters governing the optimization problem is studied.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Model of vehicle interactions with autonomous cars and its properties
Authors:
M. Herty,
G. Puppo,
G. Visconti
Abstract:
We study a hierarchy of models based on kinetic equations for the descriptions of traffic flow in presence of autonomous and human--driven vehicles. The autonomous cars considered in this paper are thought of as vehicles endowed with some degree of autonomous driving which decreases the stochasticity of the drivers' behavior. Compared to the existing literature, we do not model autonomous cars as…
▽ More
We study a hierarchy of models based on kinetic equations for the descriptions of traffic flow in presence of autonomous and human--driven vehicles. The autonomous cars considered in this paper are thought of as vehicles endowed with some degree of autonomous driving which decreases the stochasticity of the drivers' behavior. Compared to the existing literature, we do not model autonomous cars as externally controlled vehicles. We investigate whether this feature is enough to provide a stabilization of traffic instabilities such as stop and go waves. We propose two indicators to quantify traffic instability and we find, with analytical and numerical tools, that traffic instabilities are damped as the penetration rate of the autonomous vehicles increases.
△ Less
Submitted 8 October, 2021; v1 submitted 19 June, 2021;
originally announced July 2021.
-
Algorithmic differentiation of hyperbolic flow problems
Authors:
Michael Herty,
Jonathan Hüser,
Uwe Naumann,
Thomas Schilden,
Wolfgang Schröder
Abstract:
We are interested in the development of an algorithmic differentiation framework for computing approximations to tangent vectors to scalar and systems of hyperbolic partial differential equations. The main difficulty of such a numerical method is the presence of shock waves that are resolved by proposing a numerical discretization of the calculus introduced in Bressan and Marson [Rend. Sem. Mat. U…
▽ More
We are interested in the development of an algorithmic differentiation framework for computing approximations to tangent vectors to scalar and systems of hyperbolic partial differential equations. The main difficulty of such a numerical method is the presence of shock waves that are resolved by proposing a numerical discretization of the calculus introduced in Bressan and Marson [Rend. Sem. Mat. Univ. Padova, 94:79-94, 1995]. Numerical results are presented for the one-dimensional Burgers equation and the Euler equations. Using the essential routines of a state-of-the-art code for computational fluid dynamics (CFD) as a starting point, three modifications are required to apply the introduced calculus. First, the CFD code is modified to solve an additional equation for the shock location. Second, we customize the computation of the corresponding tangent to the shock location. Finally, the modified method is enhanced by algorithmic differentiation. Applying the introduced calculus to problems of the Burgers equation and the Euler equations, it is found that correct sensitivities can be computed, whereas the application of black-box algorithmic differentiation fails.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
Reconstruction of traffic speed distributions from kinetic models with uncertainties
Authors:
M. Herty,
A. Tosin,
G. Visconti,
M. Zanella
Abstract:
In this work we investigate the ability of a kinetic approach for traffic dynamics to predict speed distributions obtained through rough data. The present approach adopts the formalism of uncertainty quantification, since reaction strengths are uncertain and linked to different types of driver behaviour or different classes of vehicles present in the flow. Therefore, the calibration of the expecte…
▽ More
In this work we investigate the ability of a kinetic approach for traffic dynamics to predict speed distributions obtained through rough data. The present approach adopts the formalism of uncertainty quantification, since reaction strengths are uncertain and linked to different types of driver behaviour or different classes of vehicles present in the flow. Therefore, the calibration of the expected speed distribution has to face the reconstruction of the distribution of the uncertainty. We adopt experimental microscopic measurements recorded on a German motorway, whose speed distribution shows a multimodal trend. The calibration is performed by extrapolating the uncertainty parameters of the kinetic distribution via a constrained optimisation approach. The results confirm the validity of the theoretical set-up.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
Mean field models for large data-clustering problems
Authors:
Michael Herty,
Lorenzo Pareschi,
Giuseppe Visconti
Abstract:
We consider mean-field models for data--clustering problems starting from a generalization of the bounded confidence model for opinion dynamics. The microscopic model includes information on the position as well as on additional features of the particles in order to develop specific clustering effects. The corresponding mean--field limit is derived and properties of the model are investigated anal…
▽ More
We consider mean-field models for data--clustering problems starting from a generalization of the bounded confidence model for opinion dynamics. The microscopic model includes information on the position as well as on additional features of the particles in order to develop specific clustering effects. The corresponding mean--field limit is derived and properties of the model are investigated analytically. In particular, the mean--field formulation allows the use of a random subsets algorithm for efficient computations of the clusters. Applications to shape detection and image segmentation on standard test images are presented and discussed.
△ Less
Submitted 13 March, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
The BGK approximation of kinetic models for traffic
Authors:
Michael Herty,
Gabriella Puppo,
Sebastiano Roncoroni,
Giuseppe Visconti
Abstract:
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 fl…
▽ More
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.
△ Less
Submitted 19 July, 2019; v1 submitted 22 December, 2018;
originally announced December 2018.
-
Macroscopic modeling of multi-lane motorways using a two-dimensional second-order model of traffic flow
Authors:
Michael Herty,
Salissou Moutari,
Giuseppe Visconti
Abstract:
Lane changing is one of the most common maneuvers on motorways. Although, macroscopic traffic models are well known for their suitability to describe fast moving crowded traffic, most of these models are generally developed in one dimensional framework, henceforth lane changing behavior is somehow neglected. In this paper, we propose a macroscopic model, which accounts for lane-changing behavior o…
▽ More
Lane changing is one of the most common maneuvers on motorways. Although, macroscopic traffic models are well known for their suitability to describe fast moving crowded traffic, most of these models are generally developed in one dimensional framework, henceforth lane changing behavior is somehow neglected. In this paper, we propose a macroscopic model, which accounts for lane-changing behavior on motorway, based on a two-dimensional extension of the Aw and Rascle [Aw and Rascle, SIAM J.Appl.Math., 2000] and Zhang [Zhang, Transport.Res.B-Meth., 2002] macroscopic model for traffic flow. Under conditions, when lane changing maneuvers are no longer possible, the model "relaxes" to the one-dimensional Aw-Rascle-Zhang model. Following the same approach as in [Aw, Klar, Materne and Rascle, SIAM J.Appl.Math., 2002], we derive the two-dimensional macroscopic model through scaling of time discretization of a microscopic follow-the-leader model with driving direction. We provide a detailed analysis of the space-time discretization of the proposed macroscopic as well as an approximation of the solution to the associated Riemann problem. Furthermore, we illustrate some features of the proposed model through some numerical experiments.
△ Less
Submitted 19 March, 2019; v1 submitted 13 October, 2017;
originally announced October 2017.
-
Analysis of risk levels for traffic on a multi-lane highway
Authors:
Michael Herty,
Giuseppe Visconti
Abstract:
We present an analysis of risk levels on multi-lane roads. The aim is to use the crash metrics to understand which direction of the flow mainly influences the safety in traffic flow. In fact, on multi-lane highways interactions among vehicles occur also with lane changing and we show that they strongly affect the level of potential conflicts. In particular, in this study we consider the Time-To-Co…
▽ More
We present an analysis of risk levels on multi-lane roads. The aim is to use the crash metrics to understand which direction of the flow mainly influences the safety in traffic flow. In fact, on multi-lane highways interactions among vehicles occur also with lane changing and we show that they strongly affect the level of potential conflicts. In particular, in this study we consider the Time-To-Collision as risk metric and we use the experimental data collected on the A3 German highway.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
A two-dimensional data-driven model for traffic flow on highways
Authors:
Michael Herty,
Adrian Fazekas,
Giuseppe Visconti
Abstract:
Based on experimental traffic data obtained from German and US highways, we propose a novel two-dimensional first-order macroscopic traffic flow model. The goal is to reproduce a detailed description of traffic dynamics for the real road geometry. In our approach both the dynamic along the road and across the lanes is continuous. The closure relations, being necessary to complete the hydrodynamic…
▽ More
Based on experimental traffic data obtained from German and US highways, we propose a novel two-dimensional first-order macroscopic traffic flow model. The goal is to reproduce a detailed description of traffic dynamics for the real road geometry. In our approach both the dynamic along the road and across the lanes is continuous. The closure relations, being necessary to complete the hydrodynamic equation, are obtained by regression on fundamental diagram data. Comparison with prediction of one-dimensional models shows the improvement in performance of the novel model.
△ Less
Submitted 9 November, 2017; v1 submitted 24 June, 2017;
originally announced June 2017.
-
Multivalued fundamental diagrams of traffic flow in the kinetic Fokker-Planck limit
Authors:
Giuseppe Visconti,
Michael Herty,
Gabriella Puppo,
Andrea Tosin
Abstract:
Starting from interaction rules based on two levels of stochasticity we study the influence of the microscopic dynamics on the macroscopic properties of vehicular flow. In particular, we study the qualitative structure of the resulting flux-density and speed-density diagrams for different choices of the desired speeds. We are able to recover multivalued diagrams as a result of the existence of a o…
▽ More
Starting from interaction rules based on two levels of stochasticity we study the influence of the microscopic dynamics on the macroscopic properties of vehicular flow. In particular, we study the qualitative structure of the resulting flux-density and speed-density diagrams for different choices of the desired speeds. We are able to recover multivalued diagrams as a result of the existence of a one-parameter family of stationary distributions, whose expression is analytically found by means of a Fokker-Planck approximation of the initial Boltzmann-type model.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
On Existence of $L^2$-solutions of Coupled Boltzmann Continuous Slowing Down Transport Equation System
Authors:
J. Tervo,
P. Kokkonen,
M. Frank,
M. Herty
Abstract:
The paper considers a coupled system of linear Boltzmann transport equations (BTE), and its Continuous Slowing Down Approximation (CSDA). This system can be used to model the relevant transport of particles used e.g. in dose calculation in radiation therapy. The evolution of charged particles (e.g. electrons and positrons) are in practice often modelled using the CSDA version of BTE because of the…
▽ More
The paper considers a coupled system of linear Boltzmann transport equations (BTE), and its Continuous Slowing Down Approximation (CSDA). This system can be used to model the relevant transport of particles used e.g. in dose calculation in radiation therapy. The evolution of charged particles (e.g. electrons and positrons) are in practice often modelled using the CSDA version of BTE because of the so-called forward peakedness of scattering events contributing to the particle fluencies (or particle densities), which causes severe problems in numerical methods. We shall find, after the preliminary treatments, that for some interactions CSDA-type modelling is actually necessary due to hyper-singularities in the differential cross-sections of certain interactions, that is, first or second order partial derivatives with respect to energy and angle must be included into the transport part of charged particles. The existence and uniqueness of (weak) solutions is shown, under sufficient criteria and in appropriate $L^2$-based spaces, for a single (particle) CSDA-equation by using three techniques, the Lions-Lax-Milgram Theorem (variational approach), the theory of $m$-dissipative operators and the theory evolution operators (semigroup approach). The due a priori estimates are derived and the positivity of solutions are retrieved. In addition, we prove the corresponding results and estimates for the system of coupled transport equations. The related existence results are given for the adjoint problem as well. We also give some computational points (e.g. certain explicit formulas), and we outline a related inverse problem at the end of the paper.
△ Less
Submitted 5 April, 2018; v1 submitted 17 March, 2016;
originally announced March 2016.
-
Kinetic description of optimal control problems and applications to opinion consensus
Authors:
Giacomo Albi,
Michael Herty,
Lorenzo Pareschi
Abstract:
In this paper an optimal control problem for a large system of interacting agents is considered using a kinetic perspective. As a prototype model we analyze a microscopic model of opinion formation under constraints. For this problem a Boltzmann-type equation based on a model predictive control formulation is introduced and discussed. In particular, the receding horizon strategy permits to embed t…
▽ More
In this paper an optimal control problem for a large system of interacting agents is considered using a kinetic perspective. As a prototype model we analyze a microscopic model of opinion formation under constraints. For this problem a Boltzmann-type equation based on a model predictive control formulation is introduced and discussed. In particular, the receding horizon strategy permits to embed the minimization of suitable cost functional into binary particle interactions. The corresponding Fokker-Planck asymptotic limit is also derived and explicit expressions of stationary solutions are given. Several numerical results showing the robustness of the present approach are finally reported.
△ Less
Submitted 30 January, 2014;
originally announced January 2014.
-
Comparative model accuracy of a data-fitted generalized Aw-Rascle-Zhang model
Authors:
Shimao Fan,
Michael Herty,
Benjamin Seibold
Abstract:
The Aw-Rascle-Zhang (ARZ) model can be interpreted as a generalization of the Lighthill-Whitham-Richards (LWR) model, possessing a family of fundamental diagram curves, each of which represents a class of drivers with a different empty road velocity. A weakness of this approach is that different drivers possess vastly different densities at which traffic flow stagnates. This drawback can be overco…
▽ More
The Aw-Rascle-Zhang (ARZ) model can be interpreted as a generalization of the Lighthill-Whitham-Richards (LWR) model, possessing a family of fundamental diagram curves, each of which represents a class of drivers with a different empty road velocity. A weakness of this approach is that different drivers possess vastly different densities at which traffic flow stagnates. This drawback can be overcome by modifying the pressure relation in the ARZ model, leading to the generalized Aw-Rascle-Zhang (GARZ) model. We present an approach to determine the parameter functions of the GARZ model from fundamental diagram measurement data. The predictive accuracy of the resulting data-fitted GARZ model is compared to other traffic models by means of a three-detector test setup, employing two types of data: vehicle trajectory data, and sensor data. This work also considers the extension of the ARZ and the GARZ models to models with a relaxation term, and conducts an investigation of the optimal relaxation time.
△ Less
Submitted 12 June, 2014; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Optimal radiotherapy treatment planning using minimum entropy models
Authors:
Richard Barnard,
Martin Frank,
Michael Herty
Abstract:
We study the problem of finding an optimal radiotherapy treatment plan. A time-dependent Boltzmann particle transport model is used to model the interaction between radiative particles with tissue. This model allows for the modeling of inhomogeneities in the body and allows for anisotropic sources modeling distributed radiation---as in brachytherapy---and external beam sources---as in teletherapy.…
▽ More
We study the problem of finding an optimal radiotherapy treatment plan. A time-dependent Boltzmann particle transport model is used to model the interaction between radiative particles with tissue. This model allows for the modeling of inhomogeneities in the body and allows for anisotropic sources modeling distributed radiation---as in brachytherapy---and external beam sources---as in teletherapy. We study two optimization problems: minimizing the deviation from a spatially-dependent prescribed dose through a quadratic tracking functional; and minimizing the survival of tumor cells through the use of the linear-quadratic model of radiobiological cell response. For each problem, we derive the optimality systems. In order to solve the state and adjoint equations, we use the minimum entropy approximation; the advantages of this method are discussed. Numerical results are then presented.
△ Less
Submitted 26 May, 2011;
originally announced May 2011.
-
Fokker-Planck Asymptotics for Traffic Flow Models
Authors:
M. Herty,
L. Pareschi
Abstract:
Starting from microscopic interaction rules we derive kinetic models of Fokker--Planck type for vehicular traffic flow. The derivation is based on taking a suitable asymptotic limit of the corresponding Boltzmann model. As particular cases, the derived models comprise existing models.
New Fokker--Planck models are also given and their differences to existing models are highlighted. Finally, we r…
▽ More
Starting from microscopic interaction rules we derive kinetic models of Fokker--Planck type for vehicular traffic flow. The derivation is based on taking a suitable asymptotic limit of the corresponding Boltzmann model. As particular cases, the derived models comprise existing models.
New Fokker--Planck models are also given and their differences to existing models are highlighted. Finally, we report on numerical experiments.
△ Less
Submitted 14 September, 2010;
originally announced September 2010.
