SearcharxivSearch

arXiv subjects

Alexander Keimer

Publications and source records attributed to Alexander Keimer.

At least 19 recordsLinked to original sources

Systems of nonlocal conservation laws: well-posedness and the singular limit for a nonlocal generalized Aw-Rascle-Zhang model

In this paper, we study a system of nonlocal conservation laws motivated by traffic flow: a nonlocal version of the generalized Aw-Rascle-Zhang (GARZ) model. The nonlocality arises from downstream spatial averaging of the velocity by a one-sided kernel. We prove the existence and uniqueness of weak solutions for initial data of bounded variation via a fixed-point argument in the nonlocal velocity. We also establish stability with respect to the initial datum and an approximation of weak solutions by strong solutions in $L^1$. Under additional, physically meaningful assumptions on the velocity and the initial datum, we obtain either a maximum principle for the density or invariant-region estimates. Finally, we study the singular limit as the nonlocal kernel converges to a Dirac distribution. Indeed, under additional assumptions, convergence to the unique local entropy solution can be proved. Some numerical simulations are provided, and the paper concludes with a discussion of open problems.

math.AP

A general framework for nonlocal traffic flow models on networks

We present a general computational framework for macroscopic nonlocal traffic flow models on networks with multiple commodities. The model combines scalar conservation laws on edges with nonlocal velocity functions and couples them via buffer-based junction dynamics. Routing is defined in general as a prescription for distributing drivers across outgoing road segments. As an example, we implement dynamic k-shortest-path routing, where travel times along roads and waiting times at intersections are used to compute shortest paths to the commodities' destinations at each time step, and drivers are distributed accordingly. In another example, we optimize routing over a considered time horizon to minimize the total travel time. This framework naturally creates a feedback loop between traffic evolution and route choice. Numerical examples, ranging from small test cases to large grid-like networks, demonstrate the robustness of the approach and allow for a comparison of different routing strategies.

math.OC

The obstacle problem for scalar conservation laws with nonlocal dynamics

In this article, we present a method to find a solution to a one-dimensional nonlocal conservation law that respects a space-dependent mapping, referred to as the obstacle. This is achieved by generalizing existing results for the local conservation law: We consider a relaxation of the velocity, that explicitly depends on the obstacle. We prove existence of solutions to the relaxed problem and show that, as the relaxation mapping converges to a Heaviside-type function, the corresponding solutions converge to a weak solution of a discontinuous nonlocal conservation law. Moreover, we can characterize the limiting flux in several cases.\\ The paper concludes with a numerical study that illustrates the aforementioned convergence.

math.AP

Nonlocal Approximation Principle for Entropy Solutions of Scalar Conservation Laws

We establish a general nonlocal approximation principle for the entropy solutions of scalar conservation laws on $\mathbb{R}$. More precisely, we show that the entropy solution to a nonnegative initial datum can be obtained as a weak-star limit of a corresponding scalar nonlocal conservation law. The flux function of the nonlocal conservation law depends on suitable spatial averages of the density. The proof is based on a reformulation on the Hamilton--Jacobi level: working with the primitives, we identify the limit via the stability properties of viscosity solutions; we then recover the entropy solution using the classical relation between Hamilton--Jacobi equations and scalar conservation laws. We further show that the approximation extends, after a suitable shift, to sign-changing initial data, and we prove a quantitative convergence estimate for convex fluxes in terms of the first moments of the nonlocal kernels. This result makes it possible to define entropy solutions for general fluxes using their nonlocal approximations, which satisfy the requirement for a finite speed of mass propagation, a key feature of hyperbolic conservation laws.

math.AP

Existence and uniqueness of nonlocal nonlinear conservation laws via fixed-point methods

We investigate the well-posedness of scalar conservation laws whose flux depends on the solution both pointwise and nonlocally through integral averages. Our analysis is based on a fixed-point formulation, in which the nonlocal dependence is incorporated as a space- and time-dependent component of the flux, together with classical stability estimates for entropy solutions. This framework unifies and extends several models previously considered in the literature and applies, in particular, to conservation laws with memory effects (nonlocality in time) or delay. We prove the existence and uniqueness of weak entropy solutions on a sufficiently short time horizon and show that under additional assumptions, existence and uniqueness can be obtained on any finite time horizon. In addition, we present numerical simulations to illustrate the qualitative effects of memory on the solution dynamics.

math.AP

Analysis of the long-term behavior of the "Bando--follow-the-leader'' car-following model

In this article, we investigate the long-term behavior of the ``Bando--follow-the-leader'' car-following model, whose well-posedness and stability with respect to delay were analyzed in a recent work \cite{gong2023well}. We first establish the collision-free property of the model with \(N+1\in\N_{\geq2}\) vehicles over an infinite time horizon, assuming that the trajectory of the first vehicle is prescribed, by demonstrating the existence of a uniform strictly positive lower bound on the space headway between adjacent vehicles. Furthermore, assuming that the first vehicle travels at a constant velocity and \(N\in\N_{\geq1}\) vehicles follow it according to the Bando--follow-the-leader model on a single lane, our main results state that, with certain reasonable constraints imposed on the modeling parameters, all \(N\) following vehicles will eventually (i.e., when time goes to infinity) converge to the same headway and velocity with a globally exponential convergence rate. The analytical methods are based on Lyapunov functions and a perturbation argument. Numerical simulations are also provided to illustrate the obtained theoretical convergence guarantees.

math.CA

Nonlocal conservation laws with p-norm, the singular limit problem and applications to traffic flow

In this contribution, we study scalar nonlocal conservation laws with the $p$-norm. Here, 'nonlocal' means that the velocity of the conservation law depends on an integral term in space. Typically, the nonlocal term consists of integrating the solution in $L^{1}$, whereas here we will study the case when the solution is integrated in the $L^{p}$-norm. We consider even the case of the $L^{p}$ metric when $p\in (0,1)$ and establish, for an initial datum which is uniformly bounded away from zero, the existence and uniqueness of weak solutions. We then demonstrate that there are also solutions to the initial datum being zero under more restrictive assumptions. Furthermore, we investigate the singular limit, i.e., what happens when the nonlocal kernel converges to a Dirac distribution. Indeed, for the one-sided exponential kernel, we recover the (entropy) solution of the corresponding local conservation law for all $p\in(0,\infty)$ with further restrictions for $p\in(0,1)$. This generalizes the celebrated singular limit result for nonlocal conservation laws for $p=1$ significantly and showcases the robustness of the approximation of local conservation laws by nonlocal ones. We investigate also the monotonicity of the solution when assuming that the initial datum is monotone. Finally, we prove the convergence of solutions for $p\rightarrow 0$ on a small time horizon, resulting in a different kind of nonlocal conservation law. Numerical studies showcasing the effect of $p$ on the singular limit convergence and more conclude the contribution.

math.AP

Optimal Control Problems with Nonlocal Conservation Laws: Existence of Optimizers and Singular Limits in Approximations of Local Conservation Laws

This contribution considers optimal control problems subject to nonlocal conservation laws -- those in which the velocity depends nonlocally (i.e., via a convolution) on the solution -- and the so-called singular limit. First, the existence of minimizers is demonstrated for a broad class of optimal control problems, involving optimization over the initial datum, velocity, and nonlocal kernel for classical tracking-type $L^2$ cost functionals. Then, it is proven that the obtained minimizers converge to minimizers of the corresponding local optimal control problem when the kernel function of the convolution is of exponential type and approaches a Dirac distribution. Finally, some numerical results are presented.

math.OC

Optimal Control of ODE Car-Following Models: Applications to Mixed-Autonomy Platoon Control via Coupled Autonomous Vehicles

In this paper, we study the optimal control of a mixed-autonomy platoon driving on a single lane to smooth traffic flow. The platoon consists of autonomous vehicles, whose acceleration is controlled, and human-driven vehicles, whose behavior is described using a microscopic car-following model. We formulate the optimal control problem where the dynamics of the platoon are describing through a system of non-linear ODEs, with explicit constraints on both the state and the control variables. Theoretically, we analyze the well-posedness of the system dynamics under a reasonable set of admissible controls and establish the existence of minimizers for the optimal control problem. To solve the problem numerically, we propose a gradient descent-based algorithm that leverages the adjoint method, along with a penalty approach to handle state constraints. We demonstrate the effectiveness of the proposed numerical scheme through several experiments, exploring various scenarios with different penetration rates and distributions of controlled vehicles within the platoon.

math.OC

The obstacle problem for linear scalar conservation laws with constant velocity

In this contribution, we present a novel approach for solving the obstacle problem for (linear) conservation laws. Usually, given a conservation law with an initial datum, the solution is uniquely determined. How to incorporate obstacles, i.e., inequality constraints on the solution so that the resulting solution is still "physically reasonable" and obeys the obstacle, is unclear. The proposed approach involves scaling down the velocity of the conservation law when the solution approaches the obstacle. We demonstrate that this leads to a reasonable solution and show that, when scaling down is performed in a discontinuous fashion, we still obtain a suitable velocity - and the solution satisfying a discontinuous conservation law. We illustrate the developed solution concept using numerical approximations.

math.AP

Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs

The CIRCLES project aims to reduce instabilities in traffic flow, which are naturally occurring phenomena due to human driving behavior. These "phantom jams" or "stop-and-go waves,"are a significant source of wasted energy. Toward this goal, the CIRCLES project designed a control system referred to as the MegaController by the CIRCLES team, that could be deployed in real traffic. Our field experiment leveraged a heterogeneous fleet of 100 longitudinally-controlled vehicles as Lagrangian traffic actuators, each of which ran a controller with the architecture described in this paper. The MegaController is a hierarchical control architecture, which consists of two main layers. The upper layer is called Speed Planner, and is a centralized optimal control algorithm. It assigns speed targets to the vehicles, conveyed through the LTE cellular network. The lower layer is a control layer, running on each vehicle. It performs local actuation by overriding the stock adaptive cruise controller, using the stock on-board sensors. The Speed Planner ingests live data feeds provided by third parties, as well as data from our own control vehicles, and uses both to perform the speed assignment. The architecture of the speed planner allows for modular use of standard control techniques, such as optimal control, model predictive control, kernel methods and others, including Deep RL, model predictive control and explicit controllers. Depending on the vehicle architecture, all onboard sensing data can be accessed by the local controllers, or only some. Control inputs vary across different automakers, with inputs ranging from torque or acceleration requests for some cars, and electronic selection of ACC set points in others. The proposed architecture allows for the combination of all possible settings proposed above. Most configurations were tested throughout the ramp up to the MegaVandertest.

eess.SY

A note on nonlocal approximations of sign-unrestricted solutions of conservation laws

We study the singular limit problem for nonlocal conservation laws in which the sign of the initial datum is unrestricted and the velocity of the conservation law depends on a nonlocal approximation of the absolute value of the density. We demonstrate that the nonlocal solutions converge to the local entropy solution when the nonlocal kernel tends to a Dirac distribution, and thus obtain an approximation result for local unsigned conservation laws, generalizing the current results on the so-called sign-restricted singular limit problem. The considered model class covers special cases like a generalized Burgers' equation and scalar versions of the Keyfitz--Kranzer system.

math.AP

On the singular limit problem for nonlocal conservation laws: A general approximation result for kernels with fixed support

We prove the convergence of solutions of nonlocal conservation laws to their local entropic counterpart for a fundamentally extended class of nonlocal kernels when these kernels approach a Dirac distribution. The nonlocal kernels are assumed to have fixed support and do not have to be monotonic. With sharp estimates of the nonlocal kernels and a surrogate nonlocal quantity, we prove compactness in $C(L^{1}_{\text{loc}})$ which allow passing to the limit in the weak formulation. A careful analysis of the entropy condition of local conservation laws together with the named estimators for the considered kernels enable it to prove the entropy admissibility of the nonlocal equation in the limit, completing the convergence proof.

math.AP

On the singular limit problem in nonlocal balance laws: Applications to nonlocal lane-changing traffic flow models

We present a convergence result from nonlocal to local behavior for a system of nonlocal balance laws. The velocity field of the underlying conservation laws is diagonal. In contrast, the coupling to the remaining balance laws involves a nonlinear right-hand side that depends on the solution, nonlocal term, and other factors. The nonlocal operator integrates the density around a specific spatial point, which introduces nonlocality into the problem. Inspired by multi-lane traffic flow modeling and lane-changing, the nonlocal kernel is discontinuous and only looks downstream. In this paper, we prove the convergence of the system to the local entropy solutions when the nonlocal operator (chosen to be of an exponential type for simplicity) converges to a Dirac distribution. Numerical illustrations that support the main results are also presented.

math.AP

Ole\u{\i}nik-type estimates for nonlocal conservation laws and applications to the nonlocal-to-local limit

We consider a class of nonlocal conservation laws with exponential kernel and prove that quantities involving the nonlocal term $W:=\mathbb{1}_{(-\infty,0]}(\cdot)\exp(\cdot) \ast \rho$ satisfy an Ole\u{\i}nik-type entropy condition. More precisely, under different sets of assumptions on the velocity function $V$, we prove that $W$ satisfies a one-sided Lipschitz condition and that $V'(W) W \partial_x W$ satisfies a one-sided bound, respectively. As a byproduct, we deduce that, as the exponential kernel is rescaled to converge to a Dirac delta distribution, the weak solution of the nonlocal problem converges to the unique entropy-admissible solution of the corresponding local conservation law, under the only assumption that the initial datum is essentially bounded and not necessarily of bounded variation.

math.AP

Conservation laws with nonlocality in density and velocity and their applicability in traffic flow modelling

In this work we present a nonlocal conservation law with a velocity depending on an integral term over a part of the space. The model class covers already existing models in literature, but it is also able to describe new dynamics mainly arising in the context of traffic flow modelling. We prove the existence and uniqueness of weak solutions of the nonlocal conservation law. Further, we provide a suitable numerical discretization and present numerical examples.

math.AP

On the singular limit problem for a discontinuous nonlocal conservation law

In this contribution we study the singular limit problem of a nonlocal conservation law with a discontinuity in space. The specific choice of the nonlocal kernel involving the spatial discontinuity as well enables it to obtain a maximum principle for the nonlocal equation. The corresponding local equation can be transformed diffeomorphically to a classical scalar conservation law where the well-know Kru\v{z}kov theory can be applied. However, the nonlocal equation does not scale that way which is why the study of convergence is interesting to pursue. For exponential kernels in the nonlocal operator, we establish the converge to the corresponding local equation under mild conditions on the involved discontinuous velocity. We illustrate our results with some numerical examples.

math.AP

A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks

Networks are essential models in many applications such as information technology, chemistry, power systems, transportation, neuroscience, and social sciences. In light of such broad applicability, a general theory of dynamical systems on networks may capture shared concepts, and provide a setting for deriving abstract properties. To this end, we develop a calculus for networks modeled as abstract metric spaces and derive an analog of Kirchhoff's first law for hyperbolic conservation laws. In dynamical systems on networks, Kirchhoff's first law connects the study of abstract global objects, and that of a computationally-beneficial edgewise-Euclidean perspective by stating its equivalence. In particular, our results show that hyperbolic conservation laws on networks can be stated without explicit Kirchhoff-type boundary conditions.

math.AP