-
Convex Optimization Boundary-Control Policies for Stability and Invariance of Traffic Flow Dynamics
Authors:
Maria Teresa Chiri,
Roberto Guglielmi,
Gennaro Notomista
Abstract:
In this letter we propose an optimization-based boundary controller for traffic flow dynamics capable of achieving both stability and invariance conditions. The approach is based on the definition of Boundary Control Barrier Functionals (BCBFal), from which sets of invariance-preserving boundary controllers are derived. In combination with sets of stabilizing controllers, we reformulate the proble…
▽ More
In this letter we propose an optimization-based boundary controller for traffic flow dynamics capable of achieving both stability and invariance conditions. The approach is based on the definition of Boundary Control Barrier Functionals (BCBFal), from which sets of invariance-preserving boundary controllers are derived. In combination with sets of stabilizing controllers, we reformulate the problem as a convex optimization program solved at each point in time to synthesize the boundary control inputs. Sufficient conditions for the existence of optimal controllers are derived in the case of traffic flow models with stability and invariance conditions.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
A Semidiscrete Lagrangian-Eulerian scheme for the LWR traffic model with discontinuous flux
Authors:
Eduardo Abreu,
Maria Teresa Chiri,
Richard De la cruz,
Juan Juajibioy,
Wanderson Lambert
Abstract:
In this work, we present a semi-discrete scheme to approximate solutions to the scalar LWR traffic model with spatially discontinuous flux, described by the equation $u_t + (k(x)u(1-u))_x = 0$. This approach is based on the Lagrangian-Eulerian method proposed by E. Abreu, J. Francois, W. Lambert, and J. Perez [J. Comp. Appl. Math. 406 (2022) 114011] for scalar conservation laws. We derive a non-un…
▽ More
In this work, we present a semi-discrete scheme to approximate solutions to the scalar LWR traffic model with spatially discontinuous flux, described by the equation $u_t + (k(x)u(1-u))_x = 0$. This approach is based on the Lagrangian-Eulerian method proposed by E. Abreu, J. Francois, W. Lambert, and J. Perez [J. Comp. Appl. Math. 406 (2022) 114011] for scalar conservation laws. We derive a non-uniform bound on the growth rate of the total variation for approximate solutions. Since the total variation can explode only at $x=0$, we can provide a convergence proof for our scheme in $BV_{loc}(\mathbb{R}\setminus \lbrace 0 \rbrace)$ by using Helly's compactness theorem.
△ Less
Submitted 12 December, 2024; v1 submitted 9 December, 2024;
originally announced December 2024.
-
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs
Authors:
Jonathan W. Lee,
Han Wang,
Kathy Jang,
Amaury Hayat,
Matthew Bunting,
Arwa Alanqary,
William Barbour,
Zhe Fu,
Xiaoqian Gong,
George Gunter,
Sharon Hornstein,
Abdul Rahman Kreidieh,
Nathan Lichtlé,
Matthew W. Nice,
William A. Richardson,
Adit Shah,
Eugene Vinitsky,
Fangyu Wu,
Shengquan Xiang,
Sulaiman Almatrudi,
Fahd Althukair,
Rahul Bhadani,
Joy Carpio,
Raphael Chekroun,
Eric Cheng
, et al. (39 additional authors not shown)
Abstract:
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 experim…
▽ More
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.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Weakly coupled systems of eikonal equations for autonomous vehicles
Authors:
Maria Teresa Chiri,
Kenneth D Czuprynski,
Ludmil T Zikatanov
Abstract:
In this paper, we study solutions for a weakly coupled system of eikonal equations arising in an optimal path-planning problem with random breakdown. The model considered takes into account two types of breakdown for the vehicle, partial and total, which happen at a known, spatially inhomogeneous rate. In particular, we analyze the complications due to the delicate degenerate coupling condition by…
▽ More
In this paper, we study solutions for a weakly coupled system of eikonal equations arising in an optimal path-planning problem with random breakdown. The model considered takes into account two types of breakdown for the vehicle, partial and total, which happen at a known, spatially inhomogeneous rate. In particular, we analyze the complications due to the delicate degenerate coupling condition by using existing results on weakly coupled systems of Hamilton-Jacobi equations. Then we consider finite element method schemes built for convection-diffusion problems to construct approximate solutions for this system and produce some numerical simulations.
△ Less
Submitted 20 May, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Optimal Solutions for a Class of Set-Valued Evolution Problems
Authors:
Stefano Bianchini,
Alberto Bressan,
Maria Teresa Chiri
Abstract:
The paper is concerned with a class of optimization problems for moving sets $t\mapstoΩ(t)\subset\mathbb{R}^2$, motivated by the control of invasive biological populations. Assuming that the initial contaminated set $Ω_0$ is convex, we prove that a strategy is optimal if an only if at each given time $t\in [0,T]$ the control is active along the portion of the boundary $\partial Ω(t)$ where the cur…
▽ More
The paper is concerned with a class of optimization problems for moving sets $t\mapstoΩ(t)\subset\mathbb{R}^2$, motivated by the control of invasive biological populations. Assuming that the initial contaminated set $Ω_0$ is convex, we prove that a strategy is optimal if an only if at each given time $t\in [0,T]$ the control is active along the portion of the boundary $\partial Ω(t)$ where the curvature is maximal. In particular, this implies that $Ω(t)$ is convex for all $t\geq 0$. The proof relies on the analysis of a one-step constrained optimization problem, obtained by a time discretization.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Optimal Control of Moving Sets
Authors:
Alberto Bressan,
Maria Teresa Chiri,
Najmeh Salehi
Abstract:
Motivated by the control of invasive biological populations, we consider a class of optimization problems for moving sets $t\mapsto Ω(t)\subset\mathbb{R}^2$. Given an initial set $Ω_0$, the goal is to minimize the area of the contaminated set $Ω(t)$ over time, plus a cost related to the control effort. Here the control function is the inward normal speed along the boundary $\partial Ω(t)$. We prov…
▽ More
Motivated by the control of invasive biological populations, we consider a class of optimization problems for moving sets $t\mapsto Ω(t)\subset\mathbb{R}^2$. Given an initial set $Ω_0$, the goal is to minimize the area of the contaminated set $Ω(t)$ over time, plus a cost related to the control effort. Here the control function is the inward normal speed along the boundary $\partial Ω(t)$. We prove the existence of optimal solutions, within a class of sets with finite perimeter. Necessary conditions for optimality are then derived, in the form of a Pontryagin maximum principle. Additional optimality conditions show that the sets $Ω(t)$ cannot have certain types of outward or inward corners. Finally, some explicit solutions are presented.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
On the Optimal Control of Propagation Fronts
Authors:
Alberto Bressan,
Maria Teresa Chiri,
Najmeh Salehi
Abstract:
We consider a controlled reaction-diffusion equation, motivated by a pest eradication problem. Our goal is to derive a simpler model, describing the controlled evolution of a contaminated set. In this direction, the first part of the paper studies the optimal control of 1-dimensional traveling wave profiles. Using Stokes' formula, explicit solutions are obtained, which in some cases require measur…
▽ More
We consider a controlled reaction-diffusion equation, motivated by a pest eradication problem. Our goal is to derive a simpler model, describing the controlled evolution of a contaminated set. In this direction, the first part of the paper studies the optimal control of 1-dimensional traveling wave profiles. Using Stokes' formula, explicit solutions are obtained, which in some cases require measure-valued optimal controls. In the last section we introduce a family of optimization problems for a moving set. We show how these can be derived from the original parabolic problems, by taking a sharp interface limit.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Limitations and Improvements of the Intelligent Driver Model (IDM)
Authors:
Saleh Albeaik,
Alexandre Bayen,
Maria Teresa Chiri,
Xiaoqian Gong,
Amaury Hayat,
Nicolas Kardous,
Alexander Keimer,
Sean T. McQuade,
Benedetto Piccoli,
Yiling You
Abstract:
This contribution analyzes the widely used and well-known "intelligent driver model (briefly IDM), which is a second order car-following model governed by a system of ordinary differential equations. Although this model was intensively studied in recent years for properly capturing traffic phenomena and driver braking behavior, a rigorous study of the well-posedness has, to our knowledge, never be…
▽ More
This contribution analyzes the widely used and well-known "intelligent driver model (briefly IDM), which is a second order car-following model governed by a system of ordinary differential equations. Although this model was intensively studied in recent years for properly capturing traffic phenomena and driver braking behavior, a rigorous study of the well-posedness has, to our knowledge, never been performed. First it is shown that, for a specific class of initial data, the vehicles' velocities become negative or even diverge to $-\infty$ in finite time, both undesirable properties for a car-following model. Various modifications of the IDM are then proposed in order to avoid such ill-posedness. The theoretical remediation of the model, rather than post facto by ad-hoc modification of code implementations, allows a more sound numerical implementation and preservation of the model features. Indeed, to avoid inconsistencies and ensure dynamics close to the one of the original model, one may need to inspect and clean large input data, which may result in practically impossible scenarios for large-scale simulations. Although well-posedness issues occur only for specific initial data, this may happen frequently when different traffic scenarios are analyzed, and especially in presence of lane-changing, on ramps and other network components as it is the case for most commonly used micro-simulators. On the other side, it is shown that well-posedness can be guaranteed by straight-forward improvements, such as those obtained by slightly changing the acceleration to prevent the velocity from becoming negative.
△ Less
Submitted 1 April, 2022; v1 submitted 2 April, 2021;
originally announced April 2021.
-
On the Regularity of Optimal Dynamic Blocking Strategies
Authors:
Alberto Bressan,
Maria Teresa Chiri
Abstract:
The paper studies a dynamic blocking problem, motivated by a model of optimal fire confinement. While the fire can expand with unit speed in all directions, barriers are constructed in real time. An optimal strategy is sought, minimizing the total value of the burned region, plus a construction cost. It is well known that optimal barriers exists. In general, they are a countable union of compact,…
▽ More
The paper studies a dynamic blocking problem, motivated by a model of optimal fire confinement. While the fire can expand with unit speed in all directions, barriers are constructed in real time. An optimal strategy is sought, minimizing the total value of the burned region, plus a construction cost. It is well known that optimal barriers exists. In general, they are a countable union of compact, connected, rectifiable sets. The main result of the present paper shows that optimal barriers are nowhere dense. The proof relies on new estimates on the reachable sets and on optimal trajectories for the fire, solving a minimum time problem in the presence of obstacles.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
A posteriori Error Estimates for Numerical Solutions to Hyperbolic Conservation Laws
Authors:
Alberto Bressan,
Maria Teresa Chiri,
Wen Shen
Abstract:
The paper is concerned with a posteriori error bounds for a wide class of numerical schemes, for $n\times n$ hyperbolic conservation laws in one space dimension. These estimates are achieved by a "post-processing algorithm", checking that the numerical solution retains small total variation, and computing its oscillation on suitable subdomains. The results apply, in particular, to solutions obtain…
▽ More
The paper is concerned with a posteriori error bounds for a wide class of numerical schemes, for $n\times n$ hyperbolic conservation laws in one space dimension. These estimates are achieved by a "post-processing algorithm", checking that the numerical solution retains small total variation, and computing its oscillation on suitable subdomains. The results apply, in particular, to solutions obtained by the Godunov or the Lax-Friedrichs scheme, backward Euler approximations, and the method of periodic smoothing. Some numerical implementations are presented.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Attainable profiles for conservation laws with flux function spatially discontinuous at a single point
Authors:
Fabio Ancona,
Maria Teresa Chiri
Abstract:
Consider a scalar conservation law with discontinuous flux \begin{equation*}\tag{1} \quad u_{t}+f(x,u)_{x}=0, \qquad f(x,u)= \begin{cases} f_l(u)\ &\text{if}\ x<0,\\ f_r(u)\ & \text{if} \ x>0, \end{cases} \end{equation*} where $u=u(x,t)$ is the state variable and $f_{l}$, $f_{r}$ are strictly convex maps. We study the Cauchy problem for (1) from the point of view of control theory regarding the in…
▽ More
Consider a scalar conservation law with discontinuous flux \begin{equation*}\tag{1} \quad u_{t}+f(x,u)_{x}=0, \qquad f(x,u)= \begin{cases} f_l(u)\ &\text{if}\ x<0,\\ f_r(u)\ & \text{if} \ x>0, \end{cases} \end{equation*} where $u=u(x,t)$ is the state variable and $f_{l}$, $f_{r}$ are strictly convex maps. We study the Cauchy problem for (1) from the point of view of control theory regarding the initial datum as a control. Letting $u(x,t)\doteq \mathcal{S}_t^{AB} \overline u(x)$ denote the solution of the Cauchy problem for (1), with initial datum $u(\cdot,0)=\overline u$, that satisfy at $x=0$ the interface entropy condition associated to a connection $(A,B)$ (see~\cite{MR2195983}), we analyze the family of profiles that can be attained by (1) at a given time $T>0$: \begin{equation*} \mathcal{A}^{AB}(T)=\left\{\mathcal{S}_T^{AB} \,\overline u : \ \overline u\in{\bf L}^\infty(\mathbb{R})\right\}. \end{equation*} We provide a full characterization of $\mathcal{A}^{AB}(T)$ as a class of functions in $BV_{loc}(\mathbb{R}\setminus\{0\})$ that satisfy suitable Oleǐnik-type inequalities, and that admit one-sided limits at $x=0$ which satisfy specific conditions related to the interface entropy criterium. Relying on this characterisation, we establish the ${\bf L^1}_{loc}$-compactness of the set of attainable profiles when the initial data $\overline u$ vary in a given class of uniformly bounded functions, taking values in closed convex sets. We also discuss some applications of these results to optimization problems arising in porous media flow models for oil recovery and in traffic flow.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Soil searching by an artificial root
Authors:
Fabio Ancona,
Alberto Bressan,
Maria Teresa Chiri
Abstract:
We model an artificial root which grows in the soil for underground prospecting. Its evolution is described by a controlled system of two integro-partial differential equations: one for the growth of the body and the other for the elongation of the tip. At any given time, the angular velocity of the root is obtained by solving a minimization problem with state constraints. We prove the existence o…
▽ More
We model an artificial root which grows in the soil for underground prospecting. Its evolution is described by a controlled system of two integro-partial differential equations: one for the growth of the body and the other for the elongation of the tip. At any given time, the angular velocity of the root is obtained by solving a minimization problem with state constraints. We prove the existence of solutions to the evolution problem, up to the first time where a "breakdown configuration" is reached. Some numerical simulations are performed, to test the effectiveness of our feedback control algorithm.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
