Abstract
In this paper, we consider a kinetic description of followtheleader traffic models, which we use to study the effect of vehiclewise driverassist control strategies at various scales, from that of the local traffic up to that of the macroscopic stream of vehicles. We provide theoretical evidence of the fact that some typical control strategies, such as the alignment of the speeds and the optimisation of the time headways, impact on the local traffic features (for instance, the speed and headway dispersion responsible for local traffic instabilities) but have virtually no effect on the observable macroscopic traffic trends (for instance, the flux/throughput of vehicles). This unobvious conclusion, which is in very nice agreement with recent field studies on autonomous vehicles, suggests that the kinetic approach may be a valid tool for an organic multiscale investigation and possibly the design of driverassist algorithms.
Introduction
The last decade has been characterised by an increasing level of automation in decision processes, thanks to a deep technological development and algorithmic sensing. Nowadays, the coexistence of human and computerbased assistance is one of the main goals in the context of smart cities and vehicular dynamics, due to its potential ability to mitigate dangerous practices and to dissipate congestions created by the behavioural responses of the drivers, see e.g. [32, 45]. As an example, we mention the advanced driverassistance systems (ADAS), which constitute a real interface between human drivers and machinebased decision making.
Since motor vehicles are commonly durable goods, decisions by policy makers in this market are expected to impact over a time horizon of several years. On the other hand, a full penetration of the new technologies is unrealistic in the near future, even in those markets with high consumer demand, see e.g. [46]. Therefore, it is of interest to study transient regimes, in which the penetration rate of driverassist vehicles is quite small, say in the benchmark range 5–10%. Remarkably enough, field experiments recently confirmed the enhancement produced by suitable ADAStype protocols in the regularisation of the stream of vehicles, even for small penetration rates. At the same time, virtually no observable effect was measured at the level of vehicle flux (throughput in the engineering literature), which seems to remain unchanged also after the activation of automatic control procedures, see [49].
In order to get a deeper understanding and mastery of these issues, it is fundamental to complement the experimental observations with theoretical insights into the links between the elementary vehiclewise dynamics and their observable effects at larger scales. It is therefore of interest to set up modelbased procedures able to assess the impact of ADAStype technologies at different scales, starting from the control of vehicletovehicle interactions up to the quantification of the resulting aggregate effect. In this paper, we propose to ground such a multiscale analysis on the sound mathematicalphysical framework of the kinetic theory, which has now a quite consolidated tradition also in the modelling of vehicular traffic. Far from claiming to be exhaustive, we recall here the pioneering works [41, 43] together with modern kinetic methods [17, 29, 33, 34] and recent advancements [23, 30, 50, 51, 55]. Taking advantage of a statistical approach, kinetictype equations naturally link the microscopic dynamics of few interacting agents representative of a much larger group to the observable macroscopic trends of the system as a whole. Therefore, they provide an effective framework to pass from the scale of single vehicles, where behavioural “forces” and ADAStype controls are defined, to consistent hydrodynamic equations describing the aggregate traffic flow under the action of implementable vehiclewise controls. Such an organic multiscale analysis of cruise control strategies is the hallmark of this work compared to other recent approaches, which either focus on singlescale descriptions, see e.g. [15, 16, 36, 49], or propose a heuristic embedding of point particles, representing the driverassist vehicles, in a continuous flow of standard vehicles, see e.g. [18, 26]. It is worth mentioning that control problems in connection with kinetic equations are an active research line, which has been recently investigated in the context of selforganisation and games to reproduce competitive scenarios and to force the emergence of patterns, see [3,4,5]. Moreover, links with mean field optimal control problems and performance bounds have also been investigated, see [2, 31].
As usual in the kinetic approach, the first step consists in defining the microscopic model of the interactions among the vehicles. Rather than postulating it from scratch, here we take advantage of the celebrated followtheleader (FTL) class of microscopic traffic models [27], which, thanks to their simplicity and versatility, had a strong impact on the transportation engineering community. An FTL traffic model describes onedirectional dynamics of a platoon of vehicles, assuming that overtaking is not possible and that, at each time, a vehicle regulates its speed only on the basis of the relative speed and distance from its leading vehicle. This description implies pairwise interactions, which are particularly suited to a kinetic approach [52]. Next, we complement the FTL dynamics of a few vehicle with a control term designed in such a way to induce the controlled vehicles to keep a recommended distance from their leading vehicles while smoothing the speed gaps. Such control actions are motivated by the general idea of dampening traffic instabilities, such as e.g. stopandgo waves, which are indeed produced by inhomogeneous distributions of the headways (viz. the distance from the leading vehicle) and the speeds in the traffic stream. We point out that, thanks to underlying FTL model, controlling the headway turns out to be equivalent to controlling the time headway, which is actually more customary in the transportation engineering practice. The resulting control problem can be explicitly solved for a generic pair of interacting vehicles, taking into account probabilistically that one of them may or may not be controlled. The solution is a totally decentralised binary feedback control, which can be straightforwardly embedded in a Boltzmanntype kinetic equation with localised interactions. Then we are in a position to investigate the distributed impact of the aforementioned control strategies on the whole population of vehicles. In particular, we prove that these strategies reduce the local dispersion of both the headway and the speed distribution and we also quantify such a reduction in terms of the penetration rate of ADAStype vehicles and the level of traffic congestion.
As a final step, we investigate the large scale, viz. macroscopic, impact of the introduced binary control strategies by means of a suitable hydrodynamic limit based on the relaxation of the system towards the local equilibrium distribution of the kinetic equation (the “Maxwellian” in the jargon of the classical kinetic theory). It is worth pointing out that the derivation of hydrodynamic equations in the nonclassical framework of multiagent systems, see e.g. [11, 14, 24, 40, 48], is a still underexplored topic, due to the general lack of information about the large time trends of such systems. In this work, we show that such an information may actually be recovered for the system at hand, at least in a particular regime of the parameters of the microscopic interactions. On this basis, we provide an organic method to derive macroscopic traffic equations consistent with microscopic models of vehiclewise control. In particular, the macroscopic model that we obtain is a conservation law for the traffic density, whose flux is directly obtained from the aforementioned relaxation towards the local kinetic equilibrium and is explicitly parametrised by the penetration rate of the ADAStype vehicles. This allows us to prove that the flux/throughput exhibits indeed a very mild dependence on the penetration rate, thereby providing a theoretical support to the experimental observations mentioned at the beginning. As far as the derivation of macroscopic conservation laws from microscopic FTL dynamics is concerned, we also mention here the results obtained in [19, 20] with methods different from those of the kinetic theory.
In more detail, the paper is organised as follows. In Sect. 2, we introduce the general class of FTL microscopic dynamics and we derive therefrom a consistent binary interaction scheme expressing the variation of the headway of a vehicle due to an interaction with the leading vehicle. In Sect. 3, we embed in the FTLinspired binary dynamics a vehiclewise control, designed in such a way to enforce a safety distance and align the speed of a vehicle to that of the leading vehicle. In Sect. 4, we consider an inhomogeneous Boltzmanntype kinetic description of the controlled binary interaction dynamics, that we use to study the impact of the vehiclewise control on some local traffic features such as the headway, speed and time headway distributions as well as the headway and speed variance. Moreover, in a suitable hydrodynamic regime we deduce a firstorder macroscopic traffic model incorporating the action of the introduced vehiclewise control. In Sect. 5, we report several numerical tests, which show the consistency of our hierarchical approach. Finally, in Sect. 6 we summarise the main results of the paper and we briefly sketch possible followups.
FollowtheLeaderinspired binary interactions
In their general nondimensional formulation, FTL traffic models can be written as:
cf. [27], where \(x_i,\,x_{i+1}\in \mathbb {R}\) are the nondimensional positions of two consecutive vehicles i, \(i+1\) in the traffic stream, \(v_i,\,v_{i+1}\ge 0\) are their nondimensional speeds and the factor \(av_i^m/\left( x_{i+1}x_i\right) ^n\), with \(a>0\) and \(m,\,n\in {\mathbb {N}}\), represents the sensitivity of the ith driver, i.e. his/her promptness in adapting the speed to that of the leading vehicle. In particular, a is a nondimensional parameter setting the order of magnitude of the driver sensitivity.
Denoting by \(s_i:=x_{i+1}x_{i}\) the headway between the ith and \((i+1)\)th vehicles, from (1) we deduce
whence, assuming \(m,\,n>1\),
where \(C\ge 0\) is an arbitrary integration constant. Notice that \(v_i\) is essentially proportional to \(s_i^{(n1)/(m1)}\) at small headway (\(s_i\rightarrow 0^+\)), namely in dense traffic, while it approaches the value \({(1/C)}^{1/{(m1)}}\) from below at large headway (\(s_i\rightarrow +\infty \)), namely in free traffic. Therefore, if we assume that \(v_i=1\) represents, as usual, the maximum nondimensional speed of a vehicle, a meaningful choice, which we will henceforth make, is \(C=1\).
A special class of relationships (3) is obtained for \(m=n\):
whose prototypical case is the one with \(n=2\), i.e.
see Fig. 1.
Remark 2.1
Typical FTL models considered in the literature [27, 52] are those obtained from (1) with \(m=0\) and \(n=1,\,2\). With these choices of the exponents, instead of (4) we get from (2) the following relationships between the speed and the headway of the vehicles (up to arbitrary integration constants):
We observe that, in both cases, \(s_i\) cannot span the whole \(\mathbb {R}_+\): the restrictions \(s_i\ge 1\) and \(s_i\ge a\), respectively, are needed in order for the speed to be nonnegative. Moreover, in the first case \(v_i\) is also unbounded above for \(s_i\in [1,\,+\infty )\). In this paper, we prefer to consider \(m=n=2\), because the resulting relationship (4) allows for \(s_i\in \mathbb {R}_+\) with \(v_i\) bounded between 0 and 1.
Taking the difference between the ith and the \((i+1)\)th equations of the form (1) with \(m=n=2\), and using (4), we further get the equation for the headway:
which, in order for the jammed traffic state, i.e. \(s_i(t)=0\) for all \(t\ge 0\) and all i, to be an admissible solution, we choose to satisfy with
Now, writing \(s:=s_i(t)\) and \(s_*:=s_{i+1}(t)\) for a generic pair of interacting vehicles, we approximate the time derivative in a small time interval \(\Delta {t}>0\), understood as the reaction time of the drivers, with the forward Euler formula, in the same spirit as [12]. Since for the development of the theory high values of the parameter a will be significant, it is meaningful to take here \(\Delta {t}=\frac{1}{a}\). On the whole, we recover the binary interaction rule
where \(s':=s_i(t+\Delta {t})\) is the postinteraction headway.
To include in this description nondeterministic effects of the driver behaviour, we add to the previous rule a fluctuation of the form \(s\eta \), where \(\eta \) is a centred random variable such that
Here \(\langle \cdot \rangle \) denotes expectation. The coefficient s ensures that the greater the headway the greater the fluctuation, meaning that the more far apart from each other the vehicles are the more their dynamics are dictated by other factors than mutual interactions.
Thus, the interaction rule that we consider is finally
In order to be physically admissible, this rule has to be such that \(s'\ge 0\) for all \(s,\,s_*\ge 0\). Since
we see that such a condition is guaranteed if
which, owing to \(\frac{1}{(a+s)(a+s_*)}\le \frac{1}{a^2}\), is certainly satisfied if \(\eta \ge \frac{1}{a^2}1\). This implies that the stochastic fluctuations admissible in (5) must have a support bounded from the left. At the same time, it is necessary to assume \(\frac{1}{a^2}1<0\), i.e. \(a>1\) consistently with the anticipated requirement that a be large, for otherwise \(\eta \) cannot have zero mean and strictly positive variance.
Finally, considering that vehicle interactions are anisotropic, and in particular that they happen only with the vehicle in front, the leading vehicle \(i+1\) will not modify its headway because of the rear vehicle i. Hence, \(s_*'=s_*\) as far as the pairwise interaction between the vehicles \(i,\,i+1\) is concerned.
On the whole, the binary interaction that we consider is
with \(\eta \ge \frac{1}{a^2}1\) and \(a>1\).
Remark 2.2
The time headway between two consecutive vehicles is defined as the time gap between their passages through a given section of the road, cf. [53]. Using (4), we deduce that the time headway \(\tau _i\) between the vehicles i and \(i+1\) is
Since \(s_i\ge 0\), it results \(\tau _i\ge a\); hence, the parameter a defines the minimum time headway. Recalling that the reaction time of the drivers is \(\Delta {t}=\frac{1}{a}\), we see that \(a>1\) is the minimal condition necessary to guarantee \(\tau _i>\Delta {t}\), in such a way that drivers have enough time to react to their leading vehicles and avoid car accidents (i.e. negative headways).
Driverassist control
Driverassist controls are implemented at the level of single vehicles with the aim of enhancing the road safety and improving the global flow of traffic, for instance by dissipating stopandgo waves responsible for sudden speed variations and large fuel consumption [49].
In mathematical terms, this problem can be formalised by modifying the interaction rules (6) as follows:
where \(u\) is an instantaneous control applied by the driverassist device, which will be deduced from the optimisation of a suitably defined functional, and \(\Theta \in \{0,\,1\}\) is a random variable expressing the fact that a generic vehicle may or may not be equipped with driverassist technologies. In particular, we choose \(\Theta \sim {\text {Bernoulli}}(p)\), where \(p\in [0,\,1]\), corresponding to the probability that \(\Theta =1\), is the socalled penetration rate, namely the percentage of vehicles in the traffic stream equipped with the aforesaid technology.
We design the control so that it has a twofold action:

on the one hand, it tries to induce a vehicle to maintain a safety distance from its leading vehicle. We identify such a distance with a prescribed function \(\rho \mapsto s_d(\rho )\) of the traffic density, where the subindex d stands for “desired” (distance), and we assume that, during a binary interaction, the control \(u\) acts so as to minimise a suitable nonnegative function of the difference \(s_d(\rho )s'\);

on the other hand, it tries to align a vehicle speed to the one of the leading vehicle, so as to reduce the necessity of sudden speed variations in case of changes in the traffic flow. Considering that, owing to (4), there is a onetoone relationship between the speed of a vehicle and its headway from the leading vehicle, such a speed alignment is straightforwardly pursued by minimising, during a binary interaction, a suitable nonnegative function of the difference \(s_*'s'\).
We formalise these arguments by introducing the following binary functional:
where \(\mu \in [0,\,1]\) is a coefficient balancing the bias of the control towards either effect discussed before and \(\nu >0\) is a penalisation coefficient, which can be interpreted as the cost of the control. The expectation \(\langle \cdot \rangle \) is taken with respect to the distribution of the stochastic fluctuation \(\eta \) in (8).
Remark 3.1

(i)
Since there is a onetoone relationship between s and v, the first term of the functional J may be possibly interpreted in the light of the optimal velocity models, c.f. [6]. Here, the equivalent of a densitydependent optimal speed is the densitydependent optimal headway \(s_d(\rho )\).

(ii)
Still concerning the first term of the functional J, we observe that real autonomous cruise controls normally do not try to align the headway of a vehicle to a prescribed optimal headway but rather control the time headway. This is because headway alignment encounters specific engineering drawbacks due to internal vehicle dynamics and results in instabilities. Nevertheless, in our model vehicles are point particles and there is a onetoone relationship between the headway and the time headway, cf. (7). Moreover, we bypass the inner dynamics of the vehicles for modelling purposes and to allow for kinetic approaches; thus, for our model it is equivalent to control either the headway or the time headway.
The control \(u^*\) is chosen as
subject to (8), where \({\mathcal {U}}=\{u\in \mathbb {R}\,:\,s'\ge 0\}\) is the set of the admissible controls, namely those which guarantee that the postinteraction headway \(s'\) in (8) is physically consistent. We remark that the control \(u^*\) is optimal at the level of the binary interaction.
The minimisation of (9) can be done, e.g. by forming the Lagrangian
where \(\lambda \in \mathbb {R}\) is the Lagrange multiplier associated with the first constraint in (8). Instead, the second constraint has been directly forced in J. Then the optimality conditions read
whence, solving with respect to \(u\), we determine the optimal control
in feedback form, i.e. as a function of the preinteraction headways s, \(s_*\). Plugging into (8) yields finally the controlled binary interactions
As previously anticipated, the admissibility of the control (10) is linked to the possibility to guarantee \(s'\ge 0\) in (11) for every choice of \(s,\,s_*\ge 0\). Writing
we see that a sufficient condition for \(s'\ge 0\) is
which, since \(\frac{1}{(a+s)(a+s_*)}\le \frac{1}{a^2}\) and considering that \(\Theta \) takes only the values 0, 1, are further enforced by requiring
Therefore, the support of the stochastic fluctuation \(\eta \) has to be again bounded from the left and, furthermore,
for consistency with the requirements \(\langle \eta \rangle =0\), \(\langle \eta ^2\rangle >0\). This implies
Notice that the first restriction coincides with the one imposed in the uncontrolled case (6). The second restriction, instead, forces a nonzero lower bound on the penalisation coefficient \(\nu \); hence, in practice it asserts that an admissible control cannot be too cheap.
Boltzmanntype kinetic description and hydrodynamics
A statistical description of a traffic stream composed by vehicles interacting according to the microscopic rules discussed in Sect. 3 can be obtained by the methods of kinetic theory. To this purpose, we characterise the microscopic state of a generic vehicle by its position \(x\in \mathbb {R}\) along the road and its headway \(s\in \mathbb {R}_+\) from the leading vehicle. Next, we introduce the distribution function \(f=f(t,\,x,\,s)\), which is such that \(f(t,\,x,\,s)\,dx\,ds\) gives, at time \(t\ge 0\), the fraction of vehicles located in the interval \([x,\,x+dx]\) with a headway from the leading vehicle comprised between s and \(s+ds\).
An evolution equation for f is obtained by appealing to the classical principles of the collisional kinetic theory^{Footnote 1}:
where \(\varphi \) is any test function representing an observable quantity, i.e. a quantity which can be computed out of the knowledge of the microscopic state s, \(\langle \cdot \rangle \) denotes, as usual, the expectation with respect to the distribution of the stochastic fluctuation \(\eta \) and \(\mathbb {E}_\Theta \) is the expectation with respect to the random variable \(\Theta \).
On the whole, (12) is the weak form of a Boltzmanntype collisional kinetic equation. In fact, the collision term on the righthand side contains the distribution functions of the interacting vehicles computed in the same space position x. This is clearly a local approximation; however, compensated—to some extent—by the headway s, which considers indeed the actual clear space between the vehicles. In \(\varphi (s')\), the quantity \(s'\) is given by (11).
The transport term on the lefthand side of (12) is written taking into account that (4) implies, for each vehicle, the kinematic relation
In principle, hydrodynamic traffic equations can be obtained from (12) by choosing \(\varphi (s)=s^n\), \(n\in {\mathbb {N}}\), so that the first term on the lefthand side gives the time variation of the statistical moments of f with respect to the variable s. The latter are indeed the observable macroscopic quantities, for instance:

the density of the vehicles in the point x at time t:
$$\begin{aligned} \rho (t,\,x):=\int \limits _{\mathbb {R}_+}f(t,\,x,\,s)\,\mathrm{d}s; \end{aligned}$$(13) 
the mean headway among the vehicles in the point x at time t:
$$\begin{aligned} h(t,\,x):=\frac{1}{\rho (t,\,x)}\int \limits _{\mathbb {R}_+}sf(t,\,x,\,s)\,\mathrm{d}s. \end{aligned}$$(14)
However, proceeding directly in this way leads to a closure issue, because the second term on the lefthand side of (12) cannot be expressed, in full generality, in terms of macroscopic quantities derived from statistical moments of the distribution function f.
To circumvent such a difficulty of the theory, it is useful to perform a hyperbolic scaling of time and space:
where \(0<\epsilon \ll 1\), which leads one to rewrite (12) in the form
Basically, the scaling (15) produces the coefficient \(1/\epsilon \) in front of the Boltzmanntype interaction term; hence, \(\epsilon \) plays in this context a role similar to that of the Knudsen number in the classical kinetic theory. Since we are assuming that \(\epsilon \) is small, a hydrodynamic regime is justified. Taking inspiration from [24], such a regime can be described by a splitting of (16) totally analogous to that often adopted in the numerical solution of the Boltzmann equation, see e.g. [21, 38]. One first solves the fast interactions:
which, owing to the high frequency \(1/\epsilon \), reach quickly an equilibrium described by a local asymptotic distribution function (the analogous of a local Maxwellian in the classical kinetic theory). Next, one transports such a local equilibrium distribution according to the lefthand side of (16) on the slower (i.e. hydrodynamic) scale:
Local equilibrium distribution
The splitting procedure outlined above requires to identify the local Maxwellian from the interaction step (17). Unfortunately, this is in general a hard task for “collisional” Boltzmanntype equations such as (17), which can however be dealt with in special cases by means of suitable asymptotic procedures. One of the most effective is the socalled quasiinvariant interaction limit, introduced in [13] and reminiscent of the grazing collision limit applied in the classical kinetic theory [54]. In our case, it consists in assuming that the binary rules (11) produce a very small change of headway each time that two vehicles interact, so as to create a balance between the weakness of the interactions and the high frequency \(1/\epsilon \) at which they occur.
To obtain such an effect, we scale the parameters a, \(\nu \), \(\sigma ^2\) in (11) using \(\epsilon \) as follows:
In this way, for \(\epsilon \) small the uncontrolled part of the interaction becomes small as well, because a is large and the variance of \(\eta \) is small, cf. (6); at the same time, the control \(u^*\) is dampened, because its penalisation \(\nu \) is large, cf. (10). On the whole, \(s'\approx s\) and the interaction is quasiinvariant. In such a regime, we can expand
where \({\bar{s}}\in (\min \{s,\,s'\},\,\max \{s,\,s'\})\). Using (11) for \(s'\) with the scaling (19) gives:
where \(o(\epsilon )\) denotes, for every \(s,\,s_*\in \mathbb {R}_+\), a remainder negligible with respect to \(\epsilon \). Plugging this expansion into (17) and considering that \(\Theta ^2\sim {\text {Bernoulli}}(p)\), because so is \(\Theta \) by assumption, we can fruitfully approximate (17) with the limit equation arising for \(\epsilon \rightarrow 0^+\):
provided f has bounded smoments of order \(3+\delta \) for some \(\delta >0\) and \(\langle \left\eta \right^3\rangle <+\infty \), so as to guarantee the integrability of the terms contained in the aforementioned remainder \(o(\epsilon )\).
Taking \(\varphi (s)=1\) and recalling the definition (13), we see from (20) that the vehicle density \(\rho \) is conserved in time by the interactions. Conversely, taking \(\varphi (s)=s\) and recalling the definition (14), we see from (20) that the mean headway is not if \(p,\,\mu >0\), i.e. if the control (10) is truly active on at least some vehicles in the traffic stream and is not completely biased towards the speed alignment. Specifically, the mean headway h satisfies the equation:
Omitting for simplicity the parametric dependence on x, we have explicitly
where \(h_0:=h(0)\).
Integrating by parts the righthand side of (20), together with the following boundary conditions:
we recognise that (20) is the weak form of the following Fokker–Planck equation with timevarying coefficients:
We point out that (22) are sufficient conditions ensuring that (23) conserves in time the integral of f with respect to s. Therefore, they guarantee the local (in x) conservation of the mass of the vehicles.
Under the quasiinvariant scaling (19), for each fixed \(t>0\) the solution to (23) approximates the large time aggregate trend of the interactions in the point x. In particular, the local equilibrium distribution of the system is well approximated by the local asymptotic solution to (23), say \(f^\infty (x,\,s)\), obtained formally for \(t\rightarrow +\infty \). The advantage is that the latter can be computed explicitly, unlike the stationary solution to the original Boltzmanntype equation (17). In particular, observing from (21) that \(h\rightarrow s_d(\rho )\) for \(t\rightarrow +\infty \), \(f^\infty \) solves the equation
whence, still omitting the parametric dependence on x and imposing \(\int \limits _{\mathbb {R}_+}f^\infty (s)\,\mathrm{d}s=\rho \), we determine
where \(\Gamma \) denotes the Gamma function. Notice that \(\frac{1}{\rho }f^\infty (s)\) is an inverse Gamma distribution and that the only macroscopic quantity which parametrises it is the one conserved by the interactions, namely the density \(\rho \), see Fig. 2a, b. Figure 2c confirms that, for \(\epsilon \) sufficiently small, the stationary solution to the Boltzmanntype equation (17) in the quasiinvariant scaling (19), obtained numerically by means of a Monte Carlo scheme, is indeed very much well approximated by (24).
Remark 4.1
For \(s\rightarrow +\infty \), the distribution function (24) exhibits a Paretotype fat tail, similarly to the distribution curves of wealth and other social determinants studied in [13, 28]. Interestingly, such a fattailed trend has been found in some experimental data on the headway distribution in highway traffic, cf. [1], and related to the presence of high occupancy vehicles in the traffic stream. Moreover, the standard deviation of the normalised distribution \(\frac{1}{\rho }f^\infty (s)\), which, from the known formulas for the statistical moments of inverse Gamma random variables, is \(s_d(\rho )/\sqrt{1+2p}\), depends linearly on the mean headway \(s_d(\rho )\), a fact which is in turn reported as an experimental observation in [1].
Analysis of the local traffic features
We now use the local equilibrium distribution (24) to investigate in more detail the effect of the control mechanism on the local traffic.
Speed distribution
First of all, we notice that from (24), together with the relationship (4) between the headway s and the speed v, we can obtain explicitly the local equilibrium distribution of the speed of the vehicles, say \(g^\infty =g^\infty (v)\):
which is supported in the bounded interval \([0,\,1]\), see Fig. 3. Notice that, consistently with the scaling (19), the parameter a brought into the expression of \(g^\infty \) by the relationship (4) has to be thought of as sufficiently large.
Next, we observe that (24), (25) are independent of the parameter \(\mu \) of the binary interactions (11). This means that the simultaneous control of the safety distance and of the speed alignment, cf. (9), is asymptotically equivalent to the control of the sole safety distance, or, in other words, that, in the long run, any \(\mu >0\) is equivalent to \(\mu =1\). Therefore, it is natural to wonder whether, for \(\mu >0\), the sole control of the safety distance impacts automatically also on the speed variations in the traffic stream, which, by the way, have been recognised as responsible for increased levels of crash risk [42, 56]. We address this issue by means of the following result:
Lemma 4.2
Let \(S\in \mathbb {R}_+\) be the random variable expressing the equilibrium headway of any vehicle from its leading vehicle, with probability density function \(\frac{1}{\rho }f^\infty \), cf. (24). Let moreover
cf. (4), be the random variable giving the speed of that vehicle. Then:
where \({\text {Var}}(S)\), \({\text {Var}}(V)\) denote the variance of S, V, respectively.
Proof
Since for \(S\ge 0\) the function \(S\mapsto \frac{S}{a+S}\) is concave, its graph lies below any of its tangent lines, cf. Fig. 1. Hence, considering the tangent at \(S=s_d(\rho )\), we have
which, since \(\mathbb {E}(S)=s_d(\rho )\), implies
and further, considering that from (26) it results \(\mathbb {E}(V)\le \frac{s_d(\rho )}{a+s_d(\rho )}\),
Let us examine more closely the term in parenthesis on the righthand side. We have:
where in the last passage we have used the Cauchy–Schwartz inequality with respect to the probability measure \(\frac{1}{\rho }f^\infty (s)\mathrm{d}s\). Using this in the previous calculation, we finally get the thesis. \(\square \)
Owing to Lemma 4.2, we have^{Footnote 2}
whence we conclude that increasing \(p>0\) leads eventually to a reduction in the speed variance as confirmed by Fig. 4a. Figure 4b shows instead that the trend of the speed variance with respect to the traffic density \(\rho \) may be, in general, more complex, in particular nonmonotone, because it depends on the choice of the function \(s_d(\rho )\), cf. (27). However, increasing the penetration rate p leads systematically to a reduction in the speed dispersion.
A quite natural question is what penetration rate is necessary in order to achieve a certain speed variance reduction with respect to the uncontrolled case. Denoting by \(V_p\) the local equilibrium speed at the penetration rate p, this amounts to considering the relationship between p and the relative speed variance reduction
which is illustrated in Fig. 5. Obviously, increasing \(\varepsilon _r\) requires higher and higher penetration rates at all traffic densities. Nevertheless, since, by definition, p cannot exceed 1, we observe a saturation of \(\varepsilon _r\), which cannot attain arbitrarily large values.
Let us now consider the case \(\mu =0\), which corresponds to no control on the safety distance, cf. (9). In this case, the interactions (11) conserve locally the mean headway, as it can be easily checked from (20) with \(\varphi (s)=s\). Consequently, the local equilibrium distribution reads
where \(h\ge 0\) is the constant (in time) and locally arbitrary mean headway. This is also the local equilibrium distribution obtained for any \(\mu \ge 0\) with \(p=0\) (no control on any vehicle, i.e. \(\Theta =0\) deterministically), for in the latter case the interactions (6) conserve in turn the local mean headway. The result of Lemma 4.2 still holds with \(s_d(\rho )\) replaced by h, whence
Assuming \(\mu =0\), this formula suggests that for \(p>0\) the speed dispersion is actually reduced with respect to the uncontrolled case \(p=0\). However, it is not possible to compare in general the case \(\mu =0\), \(p>0\) with the case \(\mu >0\), \(p>0\) discussed before, because the local mean headways h, \(s_d(\rho )\) are in principle uncorrelated.
Time headway distribution
Combining (24) and (7), we can compute the local equilibrium distribution of the time headway (cf. Remark 2.2), say \(k^\infty =k^\infty (\tau )\):
where H is the unit step (Heaviside) function. The cutoff at \(\tau =a>0\) of the support of \(k^\infty \) (cf. also Remark 2.2) is particularly in agreement with the experimental findings reported in [35]. Again, for consistency with the scaling (19), here the parameter a has to be large enough.
The role of \(\varvec{\mu }\)
The previous analysis has revealed that the parameter \(\mu \) does not affect the equilibrium distribution function \(f^\infty \), hence it will not impact on the closure of the hydrodynamic equations. On the other hand, from (21) it is clear that \(\mu \) determines the rate of convergence in time of the mean headway h to its local equilibrium value \(s_d(\rho )\). More in general, we claim that \(\mu \) affects the rate of convergence of the whole distribution function f to \(f^\infty \). As such, it plays a role in the assumption underlying the local equilibrium closure, namely that the interactions reach quickly a local equilibrium.
A standard way of studying the convergence to equilibrium of the solutions to Fokker–Planck equations is to resort to entropy functionals, which are readily available if the equation can be written in conservative form with a gradienttype flux, see e.g. [7]. Unfortunately, this is not our case, because the diffusion coefficient in (23) is nonconstant. For nonconstant diffusion coefficients, an alternative approach is provided by relative entropy functionals of the form
cf. [25], where \(F:=f/f^\infty \) and \(\Phi :\mathbb {R}_+\rightarrow \mathbb {R}\) is any smooth and strictly convex function. If \(\Phi (1)=0\) then, owing to Jensen’s inequality, it results \({\mathcal {H}}\ge 0\), the equality holding only for \(f=f^\infty \). If, furthermore, \({\mathcal {H}}\) decreases along the solutions to (23) then it is a Lyapunov functional for (23) relative to the equilibrium \(f^\infty \). The rate of decrease in \({\mathcal {H}}\) estimates the rate of convergence of the solutions of (23) to \(f^\infty \).
Following the computations in [25] and using (21), (22) we determine:
The first term on the righthand side is analogous to the one found in [25]. Owing to the convexity of \(\Phi \), it is nonpositive, thus it confers a nonincreasing trend on the time derivative of \({\mathcal {H}}\) along the solutions to (23). Conversely, the second term is computed as:
and is clearly produced by the nonconservation of the mean headway (namely, by the fact that possibly \(h_0\ne s_d(\rho )\)). It does not have a counterpart in the results reported in [25], because there only meanpreserving Fokker–Planck equations are considered. We observe that this term is indefinite, as the sign of \(\partial _sF^2\) cannot be decided a priori. Hence, we cannot guarantee, in general, that (29) is a Lyapunov functional for (23) relative to \(f^\infty \). Nevertheless, we also observe that, owing to the smoothness of \(\Phi \) and to the boundary conditions (22), we have
hence, if F is bounded,
because, owing to (22), it results \(\partial _sf(t,\,\cdot )\in L^1(\mathbb {R}_+)\). If furthermore \(\partial _sf\in L^\infty (\mathbb {R}_+;\,L^1(\mathbb {R}_+))\) then^{Footnote 3}
therefore, as soon as \(\mu >0\), \({\mathcal {I}}\) vanishes exponentially fast for \(t\rightarrow +\infty \) with a \(\mu \)dependent rate, in such a way that the larger \(\mu \) the smaller \(\left{\mathcal {I}}[f,\,f^\infty ]\right\) at all times. Hence, in the worst case, i.e. when at certain times \({\mathcal {I}}\) is positive, a large \(\mu \) increases the chances that \({\mathcal {I}}\) be quickly dominated by the first term on the righthand side of (30), so that, after a possible transient, the interactions start to approach rapidly the local equilibrium \(f^\infty \).
Figure 6 provides qualitative evidence of the effect of \(\mu \) on the rate of convergence of the local headway distribution f to its equilibrium \(f^\infty \). For \(\mu =0.1\), the asymptotic distribution is not yet fully reached at \(t=50\), cf. Fig. 6a. Conversely, for \(\mu =1\), the asymptotic distribution is reached at \(t\approx 10\), cf. Fig. 6b.
Hydrodynamic limits
We now solve the transport step (18) of the splitting procedure, taking advantage of the local equilibrium distribution (24). We stress that, consistently with the Fokker–Planck asymptotic procedure which produced the Maxwellian (24), throughout this section the parameter a appearing in (18) has to be formally though of large enough, cf. also (19).
For every time \(t>0\) and at every point \(x\in \mathbb {R}\), we let
in (18), so that, choosing \(\varphi (s)=1\), we get the conservation law
with flux
Since, as already observed, the traffic density \(\rho \) is the only quantity conserved by the microscopic interactions (11), a single macroscopic equation is sufficient to have a selfconsistent hydrodynamic model. We refer therefore to (32) as a first order model.
With the substitution \(v:=\frac{s}{a+s}\), and recalling also the relationship (25), the flux can be given the equivalent alternative form
which is more convenient for numerical approximation purposes, because, unlike (33), it involves an integral on a bounded interval.
The mapping \(\rho \mapsto q(\rho )\) defines the fundamental diagram of traffic, which we plot in Fig. 7 for different values of the penetration rate p. Interestingly, and consistently with the experimental findings reported in [49], the macroscopic flux is virtually unaffected by the driverassist vehicles at all penetration rates, except for an almost negligible improvement near the density at capacity, i.e. the value of \(\rho \) at which q is maximum. Consequently, the solution to (32) will be virtually the same regardless of p. This suggests that the considered driverassist controls do not impact on the macroscopic flow of vehicles. Nevertheless, this does not mean that they do not produce any aggregate effect on the traffic. Owing to the results of Sect. 4.2, a suitable level at which to study such an effect is the kinetic/statistical one.
Remark 4.3
(Secondorder hydrodynamics) One may wonder whether the substantial noninfluence of the driverassist controls at the macroscopic scale could be corrected by a higherorder hydrodynamical model. Actually, the physics of the interactions (11) induces necessarily a firstorder localequilibriumbased hydrodynamics, because the interactions conserve only the mass of the vehicles. In order to obtain a second order macroscopic model, i.e. one made of two equations for the first two moments (13), (14) of the kinetic distribution function, a classical option is to consider a monokinetic closure of (12), which amounts to forcing
This corresponds to postulating that the variance of the headway distribution is locally zero, namely that all vehicles keep locally the same (unknown) distance h from their leading vehicles. As a matter of fact, (35) is the simplest distribution depending on the two hydrodynamic parameters \(\rho \), h. Plugging (35) into (12) and recalling (11) yields then, for \(\varphi (s)=1,\,s\),
which is a pressureless hydrodynamic model. Nevertheless, (35) is only an ansatz, which, unlike (31), is not justified by the physics of the microscopic interactions. Therefore, as we will see in the numerical tests of Sect. 5.2, we cannot expect the macroscopic description (36) to be consistent with the actual aggregate dynamics produced by the kinetic model (11), (12).
In conclusion, the physically correct hydrodynamics is the first order one, cf. (32), (33), together with the physiological noninfluence of the considered driverassist controls on the macroscopic traffic.
Numerical tests
In this section, we propose several numerical tests to compare the inhomogeneous Boltzmanntype model (11)–(12) with the first and secondorder hydrodynamic models (32)–(34), (36) derived therefrom.
For the numerical solution of the Boltzmanntype kinetic model in the quasiinvariant scaling (19), we adopt a Monte Carlo approach, see [37, 39] and also [22] for a survey on recent advances. For the sake of completeness, we briefly sketch here the basic ideas of the method. We consider the scaled Boltzmanntype equation (16) in strong form:
where Q is the “collisional” operator:
where \({}^\prime \!s\), \({}^\prime \!s_*\) are the preinteraction headways that produce the postinteraction headways s, \(s_*\) according to the interaction rules (11) and \({}^\prime \!J\) is the Jacobian of the transformation from \(({}^\prime \!s,\,{}^\prime \!s_*)\) to \((s,\,s_*)\). As already mentioned in Sect. 4, also at the numerical level a classical strategy to solve the equation consists in a splitting of the collision and the transport parts. The core idea is that for \(\epsilon \ll 1\) one transports the local equilibrium distribution, which is quickly reached in time in each point x:
In particular, in order to find numerically the local equilibrium (first step) we use the classical Nanbu algorithm for Maxwellian molecules, see e.g. [8]. We refer the interested reader also to [40, 51] for a more detailed discussion on this method with direct applications to multiagent systems.
On the other hand, for the numerical solution of the conservation law (32) with the neither convex nor concave flux (34) we consider a finite volumeweighted essentially nonoscillatory (WENO) scheme, see [47], with Godunov numerical flux. This type of problem is hard to tackle at the numerical level with highorder schemes, because the convergence to the correct entropy solution may fail in the absence of strict convexity or concavity of the flux. In order to overcome this difficulty, we follow the approach described in [44], where a modification of the WENO method is suggested based on suitable monotone schemes which maintain highorder accuracy far from the discontinuities of the solution. The resulting scheme is highorder accurate in the regions where the solution is smooth and uses a O(1) indicator near the nonconvex/concave discontinuity regions. Specifically, we introduce a uniform mesh with given mesh size \(\Delta {x}>0\) in the space domain and, at each time, we choose the time step \(\Delta {t}>0\) according to the CFL condition
Firstorder hydrodynamics
In the following, we consider (37)–(38) for \((x,\,s)\in [4,\,4]\times [0,\,20]\) with periodic boundary conditions on the space variable x. As initial condition, we prescribe the following distribution function:
to which there corresponds the initial vehicle density
In Fig. 8, we compare the evolution of the density \(\rho \) reconstructed from the numerical solution of the kinetic model (marker \(+\)) with the one obtained from the firstorder hydrodynamic model (marker \(\circ \)). We consider, in particular, the cases \(\epsilon =10^{2}\) and \(\epsilon =10^{4}\), which, under the quasiinvariant scaling (19), imply \(a=10\) and \(a=100\), respectively. We clearly observe that for vanishing \(\epsilon \) the two solutions are consistent with each other, as expected from the theory. Conversely, if \(\epsilon \) is not small enough they may greatly differ from one another, because the actual regime of the kinetic model is far from the hydrodynamic regime.
In Fig. 9, we show the numerical solution of the firstorder macroscopic model at time \(t=3\) for \(a=1,\,10\) and for several values of the penetration rate p. As predicted by the theory, a very small influence of p can be detected on the macroscopic flow, see also Fig. 7 in Sect. 4.3.
Remark 5.1
The Monte Carlo solution of the kinetic model has been obtained using \(10^5\) particles. At each time step, the macroscopic density has been reconstructed using 50 grid points in the space interval \([4,\,4]\) and integrating the numerical kinetic distribution function with respect to s in the interval \([0,\,20]\) with 100 grid points.
Secondorder hydrodynamics
We turn now to the secondorder hydrodynamic model (36) derived under the monokinetic ansatz (35). Pressureless systems of balance laws have been quite extensively investigated in recent years at both the analytical and the numerical levels, see e.g. [9, 10]. These systems are weakly hyperbolic; thus, in the absence of source terms, the vacuum (i.e. \(\rho =0\) in some space regions) may appear in finite time, thereby producing a propagation of the momentum at infinite speed. In principle, with standard finite volume methods a vanishing time step is necessary to guarantee the stability of the numerical scheme. In order to bypass such structural problems, in the following we will confine our numerical tests to short enough time horizons, however sufficient for a major comparison of the kinetic and the macroscopic solutions. In more detail, we solve numerically system (36) by means of a standard finite volume WENO scheme and a splitting of the transport and the relaxation dynamics. We consider the space domain \([1,\,1]\), that we discretise by means of 50 grid points. Moreover, we set \(\Delta {t}=\Delta {x}/2\), which corresponds to a CFL number equal to 0.5. On the other hand, for the numerical solution of the kinetic model we apply a Monte Carlo algorithm with \(10^5\) particles in the space of the microscopic states \((x,\,s)\in [1,\,1]\times [0,\,20]\). Then we reconstruct the hydrodynamic parameters on the same space mesh of the macroscopic model and integrating numerically the kinetic distribution function with respect to \(s\in [0,\,20]\) with \(10^3\) grid points.
We prescribe the following initial condition:
which induces, at the macroscopic level,
In Fig. 10, we compare the evolution of \(\rho \), h predicted by the secondorder hydrodynamic model (36) and the ones reconstructed from the kinetic model. In particular, we use the following values of the parameters: \(a=30\), \(\nu =\frac{1}{\epsilon }\), \(\Delta {t}=\epsilon \), \(\sigma ^2={\text {Var}}(\eta )=0\) with \(\epsilon =10^{2}\) and \(\epsilon =10^{3}\), in order mimic ideally a pressureless hydrodynamic regime also at the level of the microscopic interactions, cf. (11). The numerical results confirm the expectation anticipated by the theory, cf. Remark 4.3: the secondorder hydrodynamic model (36) is only a rough approximation of the kinetic model quite independently of \(\epsilon \), because the ansatz (35) is not supported by the microscopic physics of the system.
Conclusions
In this paper, we have investigated the impact of automatic cruise control systems at various traffic scales using a modelbased Boltzmanntype kinetic theory approach. Specifically, we have provided a theoretical evidence of the fact that the controls aimed at optimising the headway and aligning the speed of the vehicles are effective on a local aggregate traffic scale but they virtually do not impact on the average fluid regime. In other words, the local statistical properties of the flow of vehicles, such as, e.g. the variance of the headway and speed distributions, are optimised whereas no relevant differences are observed in the overall flux/throughput compared to a traffic stream composed of fully humanmanned vehicles. Such a result supports nicely recent experimental findings [49], which pointed out that the aforesaid types of controls are able to dampen local traffic instabilities, for instance stopandgo waves ascribable to the heterogeneous distributions of headways and speeds, while being essentially nonintrusive in the macroscopic flow of the vehicles. This in turn demonstrates that those driverassist controls can potentially mitigate road risk factors due to heterogeneous headways and speeds without affecting the efficiency of the global traffic flow.
The modelbased approach proposed in this paper suggests that the methods of the kinetic theory are valid tools to unravel the multiscale aspects of driverassist control strategies in a formally rigorous, organic and consistent way. We believe that these methods can be further developed to tackle more ambitious issues, such as the optimal design of vehiclewise driverassist algorithms able to induce prescribed desired effects at higher traffic scales.
Notes
 1.
Here and henceforth, according to the classical jargon of kinetic theory, the word “collision” and its byproducts will be occasionally used as synonyms of “interaction”.
 2.
We use the notation \(a\lesssim b\) to mean that there exists a constant \(C>0\), whose specific value is unimportant, such that \(a\le Cb\).
 3.
Notice that \(1\frac{p\mu }{1+p}>0\), because \(0\le p,\,\mu \le 1\).
References
 1.
Abuelenin, S.M., AbulMagd, A.Y.: Moment analysis of highwaytraffic clearance distribution. IEEE Trans. Intell. Transp. 16(5), 2543–2550 (2015)
 2.
Albi, G., Choi, Y.P., Fornasier, M., Kalise, D.: Mean field control hierarchy. Appl. Math. Optim. 76(1), 93–135 (2017)
 3.
Albi, G., Herty, M., Pareschi, L.: Kinetic description of optimal control problems and application to opinion consensus. Commun. Math. Sci. 13(6), 1407–1429 (2015)
 4.
Albi, G., Pareschi, L., Zanella, M.: Boltzmanntype control of opinion consensus through leaders. Philos. Trans. R. Soc. A 372(2028), 20140138 (2014)
 5.
Albi, G., Pareschi, L., Zanella, M.: Boltzmann games in heterogeneous consensus dynamics. J. Stat. Phys. 175(1), 97–125 (2019)
 6.
Bando, M., Hasebe, K., Nakayama, A., Shibata, A., Sugiyama, Y.: Dynamical model of traffic congestion and numerical simulation. Phys. Rev. E 51(2), 1035–1042 (1995)
 7.
Barbaro, A.B.T., Cañizo, J.A., Carrillo, J.A., Degond, P.: Phase transitions in a kinetic flocking model of Cucker–Smale type. Multiscale Model. Simul. 14(3), 1063–1088 (2016)
 8.
Bobylev, A.V., Nanbu, K.: Theory of collision algorithms for gases and plasmas based on the Boltzmann equation and the Landau–Fokker–Planck equation. Phys. Rev. E 61, 4576–4586 (2000)
 9.
Bouchut, F.: On zero pressure gas dynamics. In: Perthame, B. (ed.) Advances in Kinetic Theory and Computing, Number 22 in Advances in Mathematics and Applied Science. Wolfram Scientific, Singapore (1994)
 10.
Bouchut, F., Jin, S., Li, X.: Numerical approximations of pressureless and isothermal gas dynamics. SIAM J. Numer. Anal. 41, 135–158 (2003)
 11.
Carrillo, J.A., Choi, Y.P., Perez, S.P.: A review on attractiverepulsive hydrodynamics for consensus in collective behavior. In: Bellomo, N., Degond, P., Tadmor, E. (eds.) Active Particles, vol. 1. Birkhäuser, Basel (2017)
 12.
Carrillo, J.A., Fornasier, M., Rosado, J., Toscani, G.: Asymptotic flocking dynamics for the kinetic Cucker–Smale model. SIAM J. Math. Anal. 42(1), 218–236 (2010)
 13.
Cordier, S., Pareschi, L., Toscani, G.: On a kinetic model for a simple market economy. J. Stat. Phys. 120(1), 253–277 (2005)
 14.
Degond, P., Motsch, S.: Continuum limit of selfdriven particles with orientation interaction. Math. Models Methods Appl. Sci. 18(suppl.), 1193–1215 (2008)
 15.
Delis, A.I., Nikolos, I.K., Papageorgiou, M.: Macroscopic traffic flow modeling with adaptive cruise control: development and numerical solution. Comput. Math. Appl. 70(8), 1921–1947 (2015)
 16.
Delis, A.I., Nikolos, I.K., Papageorgiou, M.: A macroscopic multilane traffic flow model for ACC/CACC traffic dynamics. Transportation Research, Record (2018)
 17.
Delitala, M., Tosin, A.: Mathematical modeling of vehicular traffic: a discrete kinetic theory approach. Math. Models Methods Appl. Sci. 17(6), 901–932 (2007)
 18.
Delle Monache, M.L., Sprinkle, J., Vasudevan, R., Work, D.: Autonomous vehicles: from vehicular control to traffic control. Preprint: hal02335658 (2019)
 19.
Di Francesco, M., Fagioli, S., Rosini, M.D., Russo, G.: Followtheleader approximation of macroscopic models for vehicular and pedestrian flows. In: Bellomo, N., Degond, P., Tadmor, E. (eds.) Active Particles, vol. 1. Birkhäuser, Basel (2017)
 20.
Di Francesco, M., Rosini, M.D.: Rigorous derivation of nonlinear scalar conservation laws from followtheleader type models via many particle limit. Arch. Ration. Mech. Anal. 217(3), 831–871 (2015)
 21.
Dimarco, G., Loubère, R., Narski, J., Rey, T.: An efficient numerical method for solving the Boltzmann equation in multidimensions. J. Comput. Phys. 353, 46–81 (2018)
 22.
Dimarco, G., Pareschi, L.: Numerical methods for kinetic equations. Acta Numer. 23, 369–520 (2014)
 23.
Dimarco, G., Tosin, A.: The AwRascle traffic model: Enskogtype kinetic derivation and generalisations. J. Stat. Phys. 178(1), 178–210 (2020)
 24.
Düring, B., Toscani, G.: Hydrodynamics from kinetic models of conservative economies. Physica A 384(2), 493–506 (2007)
 25.
Furioli, G., Pulvirenti, A., Terraneo, E., Toscani, G.: Fokker–Planck equations in the modeling of socioeconomic phenomena. Math. Models Methods Appl. Sci. 27(1), 115–158 (2017)
 26.
Garavello, M., Goatin, P., Liard, T., Piccoli, B.: A controlled multiscale model for traffic regulation via autonomous vehicles. arXiv:1910.04021, (2019)
 27.
Gazis, D.C., Herman, R., Rothery, R.W.: Nonlinear followtheleader models of traffic flow. Oper. Res. 9, 545–567 (1961)
 28.
Gualandi, S., Toscani, G.: Pareto tails in socioeconomic phenomena: a kinetic description. Economics 12(2018–31), 1–17 (2018)
 29.
Herty, M., Pareschi, L.: Fokker–Planck asymptotics for traffic flow models. Kinet. Relat. Models 3(1), 165–179 (2010)
 30.
Herty, M., Tosin, A., Visconti, G., Zanella, M.: Hybrid stochastic kinetic description of twodimensional traffic dynamics. SIAM J. Appl. Math. 78(5), 2737–2762 (2018)
 31.
Herty, M., Zanella, M.: Performance bounds for the meanfield limit of constrained dynamics. Discrete Contin. Dyn. Syst. 37(4), 2023–2043 (2017)
 32.
Hoogendoorn, R., van Arerm, B., Hoogendoom, S.: Automated driving, traffic flow efficiency, and human factors: literature review. Transp. Res. Rec. 2422(1), 113–120 (2014)
 33.
Illner, R., Klar, A., Materne, T.: Vlasov–Fokker–Plank models for multilane traffic flow. Commun. Math. Sci. 1(1), 1–12 (2003)
 34.
Klar, A., Wegener, R.: Enskoglike kinetic models for vehicular traffic. J. Stat. Phys. 87(1–12), 91–114 (1997)
 35.
Neubert, L., Santen, L., Schadschneider, A., Schreckenberg, M.: Singlevehicle data of highway traffic: a statistical analysis. Phys. Rev. E 60(6), 6480–6490 (1999)
 36.
Ntousakis, I.A., Nikolos, I.K., Papageorgiou, M.: On microscopic modelling of adaptive cruise control systems. Transp. Res. Procedia 6, 111–127 (2015)
 37.
Pareschi, L., Russo, G.: An introduction to Monte Carlo method for the Boltzmann equation. ESAIM Proc. 10, 35–75 (2001)
 38.
Pareschi, L., Russo, G.: Time relaxed Monte Carlo methods for the Boltzmann equation. SIAM J. Sci. Comput. 23(4), 1253–1273 (2001)
 39.
Pareschi, L., Toscani, G.: Interacting Multiagent Systems: Kinetic Equations and Monte Carlo methods. Oxford University Press, Oxford (2013)
 40.
Pareschi, L., Toscani, G., Tosin, A., Zanella, M.: Hydrodynamic models of preference formation in multiagent societies. J. Nonlinear Sci. (2019). https://doi.org/10.1007/s0033201909558z
 41.
PaveriFontana, S.L.: On Boltzmannlike treatments for traffic flow: a critical review of the basic model and an alternative proposal for dilute traffic analysis. Transp. Res. 9(4), 225–235 (1975)
 42.
Peden, M., Scurfield, R., Sleet, D., Mohan, D., Hyder, A.A., Jarawan, E., Mathers, C.: World report on road traffic injury prevention. World Health Organization, Technical Report (2004)
 43.
Prigogine, I., Herman, R.: Kinetic Theory of Vehicular Traffic. American Elsevier Publishing Co., New York (1971)
 44.
Qiu, J.M., Shu, C.W.: Convergence of high order finite volume weighted essentially nonoscillatory scheme and discontinuous Galerkin methods for nonconvex conservation laws. SIAM J. Sci. Comput. 31, 584–607 (2008)
 45.
RiosTorres, J., Malikopoulos, A.A.: A survey on the coordination of connected and automated vehicles at intersections and merging at highway onramps. IEEE Trans. Intell. Transp. Syst. 18(5), 1066–1077 (2017)
 46.
Schoettle, B., Sivak, M.: Potential impact of selfdriving vehicles on household vehicle demand and usage. Technical Report UMTRI20153, Transportation Research Institute, University of Michigan (2015)
 47.
Shu, C.W.: High order weighted essentially nonoscillatory schemes for convection dominated problems. SIAM Rev. 51, 82–126 (2009)
 48.
Shu, R., Tadmor, E.: Flocking hydrodynamics with external potentials. arXiv:1901.07099 (2019)
 49.
Stern, R.E., Cui, S., Delle Monache, M.L., Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Haulcy, R., Pohlmann, H., Wu, F., Piccoli, B., Seibold, B., Sprinkle, J., Work, D.B.: Dissipation of stopandgo waves via control of autonomous vehicles: field experiments. Transp. Res. Part C 89, 205–221 (2018)
 50.
Tosin, A., Zanella, M.: Control strategies for road risk mitigation in kinetic traffic modelling. IFACPapersOnLine 51(9), 67–72 (2018)
 51.
Tosin, A., Zanella, M.: Kineticcontrolled hydrodynamics for traffic models with driverassist vehicles. Multiscale Model. Simul. 17(2), 716–749 (2019)
 52.
Tosin, A., Zanella, M.: Boltzmanntype description with cutoff of followtheleader traffic models. In: Albi, G., MerinoAceituno, S., Nota, A., Zanella, M. (eds.) Trails in Kinetic Theory: Foundational Aspects and Numerical Methods. SEMASIMAI Springer Series. Springer, Berlin (2020)
 53.
Transportation Research Board. Highway Capacity Manual (2000)
 54.
Villani, C.: On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equations. Arch. Ration. Mech. Anal. 143(3), 273–307 (1998)
 55.
Visconti, G., Herty, M., Puppo, G., Tosin, A.: Multivalued fundamental diagrams of traffic flow in the kinetic Fokker–Planck limit. Multiscale Model. Simul. 15(3), 1267–1293 (2017)
 56.
World Health Organization: Global status report on road safety. World Health Organization, Technical Report (2015)
Acknowledgements
This research was partially supported by the Italian Ministry of Education, University and Research (MIUR) through the “Dipartimenti di Eccellenza” Programme (2018–2022)—Department of Mathematical Sciences “G. L. Lagrange”, Politecnico di Torino (CUP:E11G18000350001) and Department of Mathematics “F. Casorati”, University of Pavia; and through the PRIN 2017 project (No. 2017KKJP4X) “Innovative numerical methods for evolutionary partial differential equations and applications”. This work is also part of the activities of the Starting Grant “Attracting Excellent Professors” funded by “Compagnia di San Paolo” (Torino) and promoted by Politecnico di Torino. B.P. acknowledges the support of the National Science Foundation under the CPS Synergy Grant No. CNS1837481. A.T. and M.Z. are members of GNFM (Gruppo Nazionale per la Fisica Matematica) of INdAM (Istituto Nazionale di Alta Matematica), Italy.
Funding
Open access funding provided by Politecnico di Torino within the CRUICARE Agreement.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Piccoli, B., Tosin, A. & Zanella, M. Modelbased assessment of the impact of driverassist vehicles using kinetic theory. Z. Angew. Math. Phys. 71, 152 (2020). https://doi.org/10.1007/s00033020013839
Received:
Revised:
Published:
Keywords
 Followtheleader models
 Boltzmanntype equation
 Fokker–Planck asymptotics
 Hydrodynamic limit
Mathematics Subject Classification
 35Q20
 35Q84
 35Q93
 90B20