-
Adapting Priority Riemann Solver for GSOM on road networks
Authors:
Caterina Balzotti,
Roberta Bianchini,
Maya Briani,
Benedetto Piccoli
Abstract:
In this paper, we present an extension of the Generic Second Order Models (GSOM) for traffic flow on road networks. We define a Riemann solver at the junction based on a priority rule and provide an iterative algorithm to construct solutions at junctions with n incoming and m outgoing roads. The logic underlying our solver is as follows: the flow is maximized while respecting the priority rule, wh…
▽ More
In this paper, we present an extension of the Generic Second Order Models (GSOM) for traffic flow on road networks. We define a Riemann solver at the junction based on a priority rule and provide an iterative algorithm to construct solutions at junctions with n incoming and m outgoing roads. The logic underlying our solver is as follows: the flow is maximized while respecting the priority rule, which can be adjusted if the supply of an outgoing road exceeds the demand of a higher-priority incoming road. Approximate solutions for Cauchy problems are constructed using wave-front tracking. We establish bounds on the total variation of waves interacting with the junction and present explicit calculations for junctions with two incoming and two outgoing roads. A key novelty of this work is the detailed analysis of returning waves - waves generated at the junction that return to the junction after interacting along the roads - which, in contrast to first-order models such as LWR, can increase flux variation.
△ Less
Submitted 24 December, 2024;
originally announced December 2024.
-
Scalable analysis of stop-and-go waves
Authors:
Junyi Ji,
Derek Gloudemans,
Yanbing Wang,
Gergely Zachár,
William Barbour,
Jonathan Sprinkle,
Benedetto Piccoli,
Daniel B. Work
Abstract:
Analyzing stop-and-go waves at the scale of miles and hours of data is an emerging challenge in traffic research. In the past, datasets were of limited scale and could be easily analyzed by hand or with rudimentary methods to identify a very limited set of traffic waves present within the data. This paper introduces an automatic and scalable stop-and-go wave identification method capable of captur…
▽ More
Analyzing stop-and-go waves at the scale of miles and hours of data is an emerging challenge in traffic research. In the past, datasets were of limited scale and could be easily analyzed by hand or with rudimentary methods to identify a very limited set of traffic waves present within the data. This paper introduces an automatic and scalable stop-and-go wave identification method capable of capturing wave generation, propagation, dissipation, as well as bifurcation and merging, which have previously been observed only very rarely. Using a concise and simple critical-speed based definition of a stop-and-go wave, the proposed method identifies all wave boundaries that encompass spatio-temporal points where vehicle speed is below a chosen critical speed. The method is built upon a graph-based representation of the spatio-temporal points associated with stop-and-go waves, specifically wave front (start) points and wave tail (end) points, and approaches the solution as a graph component identification problem. The method is implemented in Python and demonstrated on a large-scale dataset, I-24 MOTION INCEPTION. New insights revealed from this demonstration with emerging phenomena include: (a) we demonstrate that waves do generate, propagate, and dissipate at a scale (miles and hours) and ubiquity never observed before; (b) wave fronts and tails travels at a consistent speed for a critical speed between 10-20 mph, with propagation variation across lanes, where wave speed on the outer lane are less consistent compared to those on the inner lane; (c) wave fronts and tails propagate at different speeds; (d) wave boundaries capture rich and non-trivial wave topologies, highlighting the complexity of waves.
△ Less
Submitted 30 August, 2024;
originally announced September 2024.
-
Stop-and-go wave super-resolution reconstruction via iterative refinement
Authors:
Junyi Ji,
Alex Richardson,
Derek Gloudemans,
Gergely Zachár,
Matthew Nice,
William Barbour,
Jonathan Sprinkle,
Benedetto Piccoli,
Daniel B. Work
Abstract:
Stop-and-go waves are a fundamental phenomenon in freeway traffic flow, contributing to inefficiencies, crashes, and emissions. Recent advancements in high-fidelity sensor technologies have improved the ability to capture detailed traffic dynamics, yet such systems remain scarce and costly. In contrast, conventional traffic sensors are widely deployed but suffer from relatively coarse-grain data r…
▽ More
Stop-and-go waves are a fundamental phenomenon in freeway traffic flow, contributing to inefficiencies, crashes, and emissions. Recent advancements in high-fidelity sensor technologies have improved the ability to capture detailed traffic dynamics, yet such systems remain scarce and costly. In contrast, conventional traffic sensors are widely deployed but suffer from relatively coarse-grain data resolution, potentially impeding accurate analysis of stop-and-go waves. This article explores whether generative AI models can enhance the resolution of conventional traffic sensor to approximate the quality of high-fidelity observations. We present a novel approach using a conditional diffusion denoising model, designed to reconstruct fine-grained traffic speed field from radar-based conventional sensors via iterative refinement. We introduce a new dataset, I24-WaveX, comprising 132 hours of data from both low and high-fidelity sensor systems, totaling over 2 million vehicle miles traveled. Our approach leverages this dataset to formulate the traffic measurement enhancement problem as a spatio-temporal super-resolution task. We demonstrate that our model can effectively reproduce the patterns of stop-and-go waves, achieving high accuracy in capturing these critical traffic dynamics. Our results show promising advancements in traffic data enhancement, offering a cost-effective way to leverage existing low spatio-temporal resolution sensor networks for improved traffic analysis and management. We also open-sourced our trained model and code to facilitate further research and applications.
△ Less
Submitted 20 April, 2025; v1 submitted 1 August, 2024;
originally announced August 2024.
-
A multi-scale multi-lane model for traffic regulation via autonomous vehicles
Authors:
Paola Goatin,
Benedetto Piccoli
Abstract:
We propose a new model for multi-lane traffic with moving bottlenecks, e.g., autonomous vehicles (AV). It consists of a system of balance laws for traffic in each lane, coupled in the source terms for lane changing, and fully coupled to ODEs for the AVs' trajectories.More precisely, each AV solves a controlled equation depending on the traffic density, while the PDE on the corresponding lane has…
▽ More
We propose a new model for multi-lane traffic with moving bottlenecks, e.g., autonomous vehicles (AV). It consists of a system of balance laws for traffic in each lane, coupled in the source terms for lane changing, and fully coupled to ODEs for the AVs' trajectories.More precisely, each AV solves a controlled equation depending on the traffic density, while the PDE on the corresponding lane has a flux constraint at the AV's location. We prove existence of entropy weak solutions, and we characterize the limiting behavior for the source term converging to zero (without AVs), corresponding to a scalar conservation law for the total density.The convergence in the presence of AVs is more delicate and we show that the limit does not satisfy an entropic equation for the total density as in the original coupled ODE-PDE model. Finally, we illustrate our results via numerical simulations.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Designing, simulating, and performing the 100-AV field test for the CIRCLES consortium: Methodology and Implementation of the Largest mobile traffic control experiment to date
Authors:
Mostafa Ameli,
Sean Mcquade,
Jonathan W. Lee,
Matthew Bunting,
Matthew Nice,
Han Wang,
William Barbour,
Ryan Weightman,
Chris Denaro,
Ryan Delorenzo,
Sharon Hornstein,
Jon F. Davis,
Dan Timsit,
Riley Wagner,
Rita Xu,
Malaika Mahmood,
Mikail Mahmood,
Maria Laura Delle Monache,
Benjamin Seibold,
Daniel B. Work,
Jonathan Sprinkle,
Benedetto Piccoli,
Alexandre M. Bayen
Abstract:
Previous controlled experiments on single-lane ring roads have shown that a single partially autonomous vehicle (AV) can effectively mitigate traffic waves. This naturally prompts the question of how these findings can be generalized to field operational, high-density traffic conditions. To address this question, the Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing (CIR…
▽ More
Previous controlled experiments on single-lane ring roads have shown that a single partially autonomous vehicle (AV) can effectively mitigate traffic waves. This naturally prompts the question of how these findings can be generalized to field operational, high-density traffic conditions. To address this question, the Congestion Impacts Reduction via CAV-in-the-loop Lagrangian Energy Smoothing (CIRCLES) Consortium conducted MegaVanderTest (MVT), a live traffic control experiment involving 100 vehicles near Nashville, TN, USA. This article is a tutorial for developing analytical and simulation-based tools essential for designing and executing a live traffic control experiment like the MVT. It presents an overview of the proposed roadmap and various procedures used in designing, monitoring, and conducting the MVT, which is the largest mobile traffic control experiment at the time. The design process is aimed at evaluating the impact of the CIRCLES AVs on surrounding traffic. The article discusses the agent-based traffic simulation framework created for this evaluation. A novel methodological framework is introduced to calibrate this microsimulation, aiming to accurately capture traffic dynamics and assess the impact of adding 100 vehicles to existing traffic. The calibration model's effectiveness is verified using data from a six-mile section of Nashville's I-24 highway. The results indicate that the proposed model establishes an effective feedback loop between the optimizer and the simulator, thereby calibrating flow and speed with different spatiotemporal characteristics to minimize the error between simulated and real-world data. Finally, We simulate AVs in multiple scenarios to assess their effect on traffic congestion. This evaluation validates the AV routes, thereby contributing to the execution of a safe and successful live traffic control experiment via AVs.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Reinforcement Learning Based Oscillation Dampening: Scaling up Single-Agent RL algorithms to a 100 AV highway field operational test
Authors:
Kathy Jang,
Nathan Lichtlé,
Eugene Vinitsky,
Adit Shah,
Matthew Bunting,
Matthew Nice,
Benedetto Piccoli,
Benjamin Seibold,
Daniel B. Work,
Maria Laura Delle Monache,
Jonathan Sprinkle,
Jonathan W. Lee,
Alexandre M. Bayen
Abstract:
In this article, we explore the technical details of the reinforcement learning (RL) algorithms that were deployed in the largest field test of automated vehicles designed to smooth traffic flow in history as of 2023, uncovering the challenges and breakthroughs that come with developing RL controllers for automated vehicles. We delve into the fundamental concepts behind RL algorithms and their app…
▽ More
In this article, we explore the technical details of the reinforcement learning (RL) algorithms that were deployed in the largest field test of automated vehicles designed to smooth traffic flow in history as of 2023, uncovering the challenges and breakthroughs that come with developing RL controllers for automated vehicles. We delve into the fundamental concepts behind RL algorithms and their application in the context of self-driving cars, discussing the developmental process from simulation to deployment in detail, from designing simulators to reward function shaping. We present the results in both simulation and deployment, discussing the flow-smoothing benefits of the RL controller. From understanding the basics of Markov decision processes to exploring advanced techniques such as deep RL, our article offers a comprehensive overview and deep dive of the theoretical foundations and practical implementations driving this rapidly evolving field. We also showcase real-world case studies and alternative research projects that highlight the impact of RL controllers in revolutionizing autonomous driving. From tackling complex urban environments to dealing with unpredictable traffic scenarios, these intelligent controllers are pushing the boundaries of what automated vehicles can achieve. Furthermore, we examine the safety considerations and hardware-focused technical details surrounding deployment of RL controllers into automated vehicles. As these algorithms learn and evolve through interactions with the environment, ensuring their behavior aligns with safety standards becomes crucial. We explore the methodologies and frameworks being developed to address these challenges, emphasizing the importance of building reliable control systems for automated vehicles.
△ Less
Submitted 14 May, 2024; v1 submitted 26 February, 2024;
originally announced February 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.
-
Hierarchical Speed Planner for Automated Vehicles: A Framework for Lagrangian Variable Speed Limit in Mixed Autonomy Traffic
Authors:
Han Wang,
Zhe Fu,
Jonathan Lee,
Hossein Nick Zinat Matin,
Arwa Alanqary,
Daniel Urieli,
Sharon Hornstein,
Abdul Rahman Kreidieh,
Raphael Chekroun,
William Barbour,
William A. Richardson,
Dan Work,
Benedetto Piccoli,
Benjamin Seibold,
Jonathan Sprinkle,
Alexandre M. Bayen,
Maria Laura Delle Monache
Abstract:
This paper introduces a novel control framework for Lagrangian variable speed limits in hybrid traffic flow environments utilizing automated vehicles (AVs). The framework was validated using a fleet of 100 connected automated vehicles as part of the largest coordinated open-road test designed to smooth traffic flow. The framework includes two main components: a high-level controller deployed on th…
▽ More
This paper introduces a novel control framework for Lagrangian variable speed limits in hybrid traffic flow environments utilizing automated vehicles (AVs). The framework was validated using a fleet of 100 connected automated vehicles as part of the largest coordinated open-road test designed to smooth traffic flow. The framework includes two main components: a high-level controller deployed on the server side, named Speed Planner, and low-level controllers called vehicle controllers deployed on the vehicle side. The Speed Planner designs and updates target speeds for the vehicle controllers based on real-time Traffic State Estimation (TSE) [1]. The Speed Planner comprises two modules: a TSE enhancement module and a target speed design module. The TSE enhancement module is designed to minimize the effects of inherent latency in the received traffic information and to improve the spatial and temporal resolution of the input traffic data. The target speed design module generates target speed profiles with the goal of improving traffic flow. The vehicle controllers are designed to track the target speed meanwhile responding to the surrounding situation. The numerical simulation indicates the performance of the proposed method: the bottleneck throughput has increased by 5.01%, and the speed standard deviation has been reduced by a significant 34.36%. We further showcase an operational study with a description of how the controller was implemented on a field-test with 100 AVs and its comprehensive effects on the traffic flow.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Enabling Mixed Autonomy Traffic Control
Authors:
Matthew Nice,
Matt Bunting,
Alex Richardson,
Gergely Zachar,
Jonathan W. Lee,
Alexandre Bayen,
Maria Laura Delle Monache,
Benjamin Seibold,
Benedetto Piccoli,
Jonathan Sprinkle,
Dan Work
Abstract:
We demonstrate a new capability of automated vehicles: mixed autonomy traffic control. With this new capability, automated vehicles can shape the traffic flows composed of other non-automated vehicles, which has the promise to improve safety, efficiency, and energy outcomes in transportation systems at a societal scale. Investigating mixed autonomy mobile traffic control must be done in situ given…
▽ More
We demonstrate a new capability of automated vehicles: mixed autonomy traffic control. With this new capability, automated vehicles can shape the traffic flows composed of other non-automated vehicles, which has the promise to improve safety, efficiency, and energy outcomes in transportation systems at a societal scale. Investigating mixed autonomy mobile traffic control must be done in situ given that the complex dynamics of other drivers and their response to a team of automated vehicles cannot be effectively modeled. This capability has been blocked because there is no existing scalable and affordable platform for experimental control. This paper introduces an extensible open-source hardware and software platform, enabling a team of 100 vehicles to execute several different vehicular control algorithms as a collaborative fleet, composed of three different makes and models, which drove 22752 miles in a combined 1022 hours, over 5 days in Nashville, TN in November 2022.
△ Less
Submitted 28 October, 2023;
originally announced October 2023.
-
Traffic smoothing using explicit local controllers
Authors:
Amaury Hayat,
Arwa Alanqary,
Rahul Bhadani,
Christopher Denaro,
Ryan J. Weightman,
Shengquan Xiang,
Jonathan W. Lee,
Matthew Bunting,
Anish Gollakota,
Matthew W. Nice,
Derek Gloudemans,
Gergely Zachar,
Jon F. Davis,
Maria Laura Delle Monache,
Benjamin Seibold,
Alexandre M. Bayen,
Jonathan Sprinkle,
Daniel B. Work,
Benedetto Piccoli
Abstract:
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the N…
▽ More
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the Nashville area was able to regularize the velocity profile by reducing oscillations in time and velocity differences among vehicles. Quantitative measures of this effect were possible due to the innovative I-24 MOTION system capable of monitoring the traffic conditions for all vehicles on the roadway. This paper presents the control design, the technological aspects involved in its deployment, and, finally, the results achieved by the experiment.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
So you think you can track?
Authors:
Derek Gloudemans,
Gergely Zachár,
Yanbing Wang,
Junyi Ji,
Matt Nice,
Matt Bunting,
William Barbour,
Jonathan Sprinkle,
Benedetto Piccoli,
Maria Laura Delle Monache,
Alexandre Bayen,
Benjamin Seibold,
Daniel B. Work
Abstract:
This work introduces a multi-camera tracking dataset consisting of 234 hours of video data recorded concurrently from 234 overlapping HD cameras covering a 4.2 mile stretch of 8-10 lane interstate highway near Nashville, TN. The video is recorded during a period of high traffic density with 500+ objects typically visible within the scene and typical object longevities of 3-15 minutes. GPS trajecto…
▽ More
This work introduces a multi-camera tracking dataset consisting of 234 hours of video data recorded concurrently from 234 overlapping HD cameras covering a 4.2 mile stretch of 8-10 lane interstate highway near Nashville, TN. The video is recorded during a period of high traffic density with 500+ objects typically visible within the scene and typical object longevities of 3-15 minutes. GPS trajectories from 270 vehicle passes through the scene are manually corrected in the video data to provide a set of ground-truth trajectories for recall-oriented tracking metrics, and object detections are provided for each camera in the scene (159 million total before cross-camera fusion). Initial benchmarking of tracking-by-detection algorithms is performed against the GPS trajectories, and a best HOTA of only 9.5% is obtained (best recall 75.9% at IOU 0.1, 47.9 average IDs per ground truth object), indicating the benchmarked trackers do not perform sufficiently well at the long temporal and spatial durations required for traffic scene understanding.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Car-Following Models: A Multidisciplinary Review
Authors:
Tianya Zhang,
Ph. D.,
Peter J. Jin,
Ph. D.,
Sean T. McQuade,
Ph. D.,
Alexandre Bayen,
Ph. D.,
Benedetto Piccoli
Abstract:
Car-following (CF) algorithms are crucial components of traffic simulations and have been integrated into many production vehicles equipped with Advanced Driving Assistance Systems (ADAS). Insights from the model of car-following behavior help us understand the causes of various macro phenomena that arise from interactions between pairs of vehicles. Car-following models encompass multiple discipli…
▽ More
Car-following (CF) algorithms are crucial components of traffic simulations and have been integrated into many production vehicles equipped with Advanced Driving Assistance Systems (ADAS). Insights from the model of car-following behavior help us understand the causes of various macro phenomena that arise from interactions between pairs of vehicles. Car-following models encompass multiple disciplines, including traffic engineering, physics, dynamic system control, cognitive science, machine learning, and reinforcement learning. This paper presents an extensive survey that highlights the differences, complementarities, and overlaps among microscopic traffic flow and control models based on their underlying principles and design logic. It reviews representative algorithms, ranging from theory-based kinematic models, Psycho-Physical Models, and Adaptive cruise control models to data-driven algorithms like Reinforcement Learning (RL) and Imitation Learning (IL). The manuscript discusses the strengths and limitations of these models and explores their applications in different contexts. This review synthesizes existing researches across different domains to fill knowledge gaps and offer guidance for future research by identifying the latest trends in car following models and their applications.
△ Less
Submitted 16 February, 2025; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Control of multi-agent systems: results, open problems, and applications
Authors:
Benedetto Piccoli
Abstract:
The purpose of this review paper is to present some recent results on the modeling and control of large systems of agents. We focus on particular applications where the agents are capable of independent actions instead of simply reacting to external forces. In the literature, such agents were referred to as autonomous, intelligent, self-propelled, greedy, and others. The main applications we have…
▽ More
The purpose of this review paper is to present some recent results on the modeling and control of large systems of agents. We focus on particular applications where the agents are capable of independent actions instead of simply reacting to external forces. In the literature, such agents were referred to as autonomous, intelligent, self-propelled, greedy, and others. The main applications we have in mind are social systems (as opinion dynamics), pedestrian movements (also called crowd dynamics), animal groups, and vehicular traffic. Also, the control problems posed by such systems are new and require innovative methods. We illustrate some ideas, developed recently, including the use of sparse controls, limiting the total variation of controls, and defining new control problems for measures. After reviewing various approaches, we discuss some future research directions of potential interest. The latter encompasses both new types of equations, as well as new types of limiting procedures to connect several scales at which a system can be represented. We conclude by illustrating a recent real-life experiment using autonomous vehicles on an open highway to smooth traffic waves. This opens the door to a new era of interventions to control in real-time multi-agent systems and to increase the societal impact of such interventions guided by control research.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Spatial-Temporal Deep Embedding for Vehicle Trajectory Reconstruction from High-Angle Video
Authors:
Tianya T. Zhang Ph. D.,
Peter J. Jin Ph. D.,
Han Zhou,
Benedetto Piccoli,
Ph. D
Abstract:
Spatial-temporal Map (STMap)-based methods have shown great potential to process high-angle videos for vehicle trajectory reconstruction, which can meet the needs of various data-driven modeling and imitation learning applications. In this paper, we developed Spatial-Temporal Deep Embedding (STDE) model that imposes parity constraints at both pixel and instance levels to generate instance-aware em…
▽ More
Spatial-temporal Map (STMap)-based methods have shown great potential to process high-angle videos for vehicle trajectory reconstruction, which can meet the needs of various data-driven modeling and imitation learning applications. In this paper, we developed Spatial-Temporal Deep Embedding (STDE) model that imposes parity constraints at both pixel and instance levels to generate instance-aware embeddings for vehicle stripe segmentation on STMap. At pixel level, each pixel was encoded with its 8-neighbor pixels at different ranges, and this encoding is subsequently used to guide a neural network to learn the embedding mechanism. At the instance level, a discriminative loss function is designed to pull pixels belonging to the same instance closer and separate the mean value of different instances far apart in the embedding space. The output of the spatial-temporal affinity is then optimized by the mutex-watershed algorithm to obtain final clustering results. Based on segmentation metrics, our model outperformed five other baselines that have been used for STMap processing and shows robustness under the influence of shadows, static noises, and overlapping. The designed model is applied to process all public NGSIM US-101 videos to generate complete vehicle trajectories, indicating a good scalability and adaptability. Last but not least, the strengths of the scanline method with STDE and future directions were discussed. Code, STMap dataset and video trajectory are made publicly available in the online repository. GitHub Link: shorturl.at/jklT0.
△ Less
Submitted 17 September, 2022;
originally announced September 2022.
-
A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles
Authors:
Nicolas Kardous,
Amaury Hayat,
Sean T. McQuade,
Xiaoqian Gong,
Sydney Truong,
Tinhinane Mezair,
Paige Arnold,
Ryan Delorenzo,
Alexandre Bayen,
Benedetto Piccoli
Abstract:
In this paper, a multi-lane multi-population microscopic model, which presents stop and go waves, is proposed to simulate traffic on a ring-road. Vehicles are divided between human-driven and autonomous vehicles (AV). Control strategies are designed with the ultimate goal of using a small number of AVs (less than 5\% penetration rate) to represent Lagrangian control actuators that can smooth the m…
▽ More
In this paper, a multi-lane multi-population microscopic model, which presents stop and go waves, is proposed to simulate traffic on a ring-road. Vehicles are divided between human-driven and autonomous vehicles (AV). Control strategies are designed with the ultimate goal of using a small number of AVs (less than 5\% penetration rate) to represent Lagrangian control actuators that can smooth the multilane traffic flow and dissipate the stop-and-go waves. This in turn may reduce fuel consumption and emissions.
The lane-changing mechanism is based on three components that we treat as parameters in the model: safety, incentive and cool-down time. The choice of these parameters in the lane-change mechanism is critical to modeling traffic accurately, because different parameter values can lead to drastically different traffic behaviors. In particular, the number of lane-changes and the speed variance are highly affected by the choice of parameters. Despite this modeling issue, when using sufficiently simple and robust controllers for AVs, the stabilization of uniform flow steady-state is effective for any realistic value of the parameters, and ultimately bypasses the observed modeling issue. Our approach is based on accurate and rigorous mathematical models, which allows a limit procedure that is termed, in gas dynamic terminology, mean-field. In simple words, from increasing the human-driven population to infinity, a system of coupled ordinary and partial differential equations are obtained. Moreover, control problems also pass to the limit, allowing the design to be tackled at different scales.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
A measure model for the spread of viral infections with mutations
Authors:
Xiaoqian Gong,
Benedetto Piccoli
Abstract:
Genetic variations in the COVID-19 virus are one of the main causes of the COVID-19 pandemic outbreak in 2020 and 2021. In this article, we aim to introduce a new type of model, a system coupled with ordinary differential equations (ODEs), and measure differential equation (MDE), stemming from the classical SIR model for the variants distribution. Specifically, we model the evolution of susceptibl…
▽ More
Genetic variations in the COVID-19 virus are one of the main causes of the COVID-19 pandemic outbreak in 2020 and 2021. In this article, we aim to introduce a new type of model, a system coupled with ordinary differential equations (ODEs), and measure differential equation (MDE), stemming from the classical SIR model for the variants distribution. Specifically, we model the evolution of susceptible $S$ and removed $R$ populations by ODEs and the infected $I$ population by an MDE comprised of a probability vector field (PVF) and a source term. In addition, the ODEs for $S$ and $R$ contain terms that are related to the measure $I$. We establish analytically the well-posedness of the coupled ODE-MDE system by using generalized Wasserstein distance. We give two examples to show that the proposed ODE-MDE model coincides with the classical SIR model in the case of constant or time-dependent
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
Optimization of vaccination for COVID-19 in the midst of a pandemic
Authors:
Qi Luo,
Ryan Weightman,
Sean T. McQuade,
Mateo Diaz,
Emmanuel Trélat,
William Barbour,
Dan Work,
Samitha Samaranayake,
Benedetto Piccoli
Abstract:
During the Covid-19 pandemic a key role is played by vaccination to combat the virus. There are many possible policies for prioritizing vaccines, and different criteria for optimization: minimize death, time to herd immunity, functioning of the health system. Using an age-structured population compartmental finite-dimensional optimal control model, our results suggest that the eldest to youngest v…
▽ More
During the Covid-19 pandemic a key role is played by vaccination to combat the virus. There are many possible policies for prioritizing vaccines, and different criteria for optimization: minimize death, time to herd immunity, functioning of the health system. Using an age-structured population compartmental finite-dimensional optimal control model, our results suggest that the eldest to youngest vaccination policy is optimal to minimize deaths. Our model includes the possible infection of vaccinated populations. We apply our model to real-life data from the US Census for New Jersey and Florida, which have a significantly different population structure. We also provide various estimates of the number of lives saved by optimizing the vaccine schedule and compared to no vaccination.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Stability of multi-population traffic flows
Authors:
Amaury Hayat,
Benedetto Piccoli,
Shengquan Xiang
Abstract:
Traffic waves, known also as stop-and-go waves or phantom hams, appear naturally as traffic instabilities, also in confined environments as a ring-road. A multi-population traffic is studied on a ring-road, comprised of drivers with stable and unstable behavior. There exists a critical penetration rate of stable vehicles above which the system is stable, and under which the system is unstable. In…
▽ More
Traffic waves, known also as stop-and-go waves or phantom hams, appear naturally as traffic instabilities, also in confined environments as a ring-road. A multi-population traffic is studied on a ring-road, comprised of drivers with stable and unstable behavior. There exists a critical penetration rate of stable vehicles above which the system is stable, and under which the system is unstable. In the latter case, stop-and-go waves appear, provided enough cars are on the road. The critical penetration rate is explicitly computable, and, in reasonable situations, a small minority of aggressive drivers is enough to destabilize an otherwise very stable flow. This is a source of instability that a single population model would not be able to explain. Also, the multi-population system can be stable below the critical penetration rate if the number of cars is sufficiently small. Instability emerges as the number of cars increases, even if the traffic density remains the same (i.e. number of cars and road size increase similarly). This shows that small experiments could lead to deducing imprecise stability conditions.
△ Less
Submitted 2 January, 2022;
originally announced January 2022.
-
A deep language model to predict metabolic network equilibria
Authors:
François Charton,
Amaury Hayat,
Sean T. McQuade,
Nathaniel J. Merrill,
Benedetto Piccoli
Abstract:
We show that deep learning models, and especially architectures like the Transformer, originally intended for natural language, can be trained on randomly generated datasets to predict to very high accuracy both the qualitative and quantitative features of metabolic networks. Using standard mathematical techniques, we create large sets (40 million elements) of random networks that can be used to t…
▽ More
We show that deep learning models, and especially architectures like the Transformer, originally intended for natural language, can be trained on randomly generated datasets to predict to very high accuracy both the qualitative and quantitative features of metabolic networks. Using standard mathematical techniques, we create large sets (40 million elements) of random networks that can be used to train our models. These trained models can predict network equilibrium on random graphs in more than 99% of cases. They can also generalize to graphs with different structure than those encountered at training. Finally, they can predict almost perfectly the equilibria of a small set of known biological networks. Our approach is both very economical in experimental data and uses only small and shallow deep-learning model, far from the large architectures commonly used in machine translation. Such results pave the way for larger use of deep learning models for problems related to biological networks in key areas such as quantitative systems pharmacology, systems biology, and synthetic biology.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
A statistical mechanics approach to macroscopic limits of car-following traffic dynamics
Authors:
Felisia Angela Chiarello,
Benedetto Piccoli,
Andrea Tosin
Abstract:
We study the derivation of macroscopic traffic models from car-following vehicle dynamics by means of hydrodynamic limits of an Enskog-type kinetic description. We consider the superposition of Follow-the-Leader (FTL) interactions and relaxation towards a traffic-dependent Optimal Velocity (OV) and we show that the resulting macroscopic models depend on the relative frequency between these two mic…
▽ More
We study the derivation of macroscopic traffic models from car-following vehicle dynamics by means of hydrodynamic limits of an Enskog-type kinetic description. We consider the superposition of Follow-the-Leader (FTL) interactions and relaxation towards a traffic-dependent Optimal Velocity (OV) and we show that the resulting macroscopic models depend on the relative frequency between these two microscopic processes. If FTL interactions dominate then one gets an inhomogeneous Aw-Rascle-Zhang model, whose (pseudo) pressure and stability of the uniform flow are precisely defined by some features of the microscopic FTL and OV dynamics. Conversely, if the rate of OV relaxation is comparable to that of FTL interactions then one gets a Lighthill-Whitham-Richards model ruled only by the OV function. We further confirm these findings by means of numerical simulations of the particle system and the macroscopic models. Unlike other formally analogous results, our approach builds the macroscopic models as physical limits of particle dynamics rather than assessing the convergence of microscopic to macroscopic solutions under suitable numerical discretisations.
△ Less
Submitted 30 June, 2021;
originally announced June 2021.
-
Generalized solutions to opinion dynamics models with discontinuities
Authors:
Francesca Ceragioli,
Paolo Frasca,
Benedetto Piccoli,
Francesco Rossi
Abstract:
Social dynamics models may present discontinuities in the right-hand side of the dynamics for multiple reasons, including topology changes and quantization. Several concepts of generalized solutions for discontinuous equations are available in the literature and are useful to analyze these models. In this chapter, we study Caratheodory and Krasovsky generalized solutions for discontinuous models o…
▽ More
Social dynamics models may present discontinuities in the right-hand side of the dynamics for multiple reasons, including topology changes and quantization. Several concepts of generalized solutions for discontinuous equations are available in the literature and are useful to analyze these models. In this chapter, we study Caratheodory and Krasovsky generalized solutions for discontinuous models of opinion dynamics with state dependent interactions. We consider two definitions of "bounded confidence" interactions, which we respectively call metric and topological: in the former, individuals interact if their opinions are closer than a threshold; in the latter, individuals interact with a fixed number of nearest neighbors. We compare the dynamics produced by the two kinds of interactions, in terms of existence, uniqueness and asymptotic behavior of different types of solutions.
△ Less
Submitted 20 July, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers
Authors:
Jonathan W. Lee,
George Gunter,
Rabie Ramadan,
Sulaiman Almatrudi,
Paige Arnold,
John Aquino,
William Barbour,
Rahul Bhadani,
Joy Carpio,
Fang-Chieh Chou,
Marsalis Gibson,
Xiaoqian Gong,
Amaury Hayat,
Nour Khoudari,
Abdul Rahman Kreidieh,
Maya Kumar,
Nathan Lichtlé,
Sean McQuade,
Brian Nguyen,
Megan Ross,
Sydney Truong,
Eugene Vinitsky,
Yibo Zhao,
Jonathan Sprinkle,
Benedetto Piccoli
, et al. (3 additional authors not shown)
Abstract:
This work presents an integrated framework of: vehicle dynamics models, with a particular attention to instabilities and traffic waves; vehicle energy models, with particular attention to accurate energy values for strongly unsteady driving profiles; and sparse Lagrangian controls via automated vehicles, with a focus on controls that can be executed via existing technology such as adaptive cruise…
▽ More
This work presents an integrated framework of: vehicle dynamics models, with a particular attention to instabilities and traffic waves; vehicle energy models, with particular attention to accurate energy values for strongly unsteady driving profiles; and sparse Lagrangian controls via automated vehicles, with a focus on controls that can be executed via existing technology such as adaptive cruise control systems. This framework serves as a key building block in developing control strategies for human-in-the-loop traffic flow smoothing on real highways. In this contribution, we outline the fundamental merits of integrating vehicle dynamics and energy modeling into a single framework, and we demonstrate the energy impact of sparse flow smoothing controllers via simulation results.
△ Less
Submitted 22 April, 2021;
originally announced April 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.
-
Generalized solutions to bounded-confidence models
Authors:
Benedetto Piccoli,
Francesco Rossi
Abstract:
Bounded-confidence models in social dynamics describe multi-agent systems, where each individual interacts only locally with others. Several models are written as systems of ordinary differential equations with discontinuous right-hand side: this is a direct consequence of restricting interactions to a bounded region with non-vanishing strength at the boundary. Various works in the literature anal…
▽ More
Bounded-confidence models in social dynamics describe multi-agent systems, where each individual interacts only locally with others. Several models are written as systems of ordinary differential equations with discontinuous right-hand side: this is a direct consequence of restricting interactions to a bounded region with non-vanishing strength at the boundary. Various works in the literature analyzed properties of solutions, such as barycenter invariance and clustering. On the other side, the problem of giving a precise definition of solution, from an analytical point of view, was often overlooked. However, a rich literature proposing different concepts of solution to discontinuous differential equations is available. Using several concepts of solution, we show how existence is granted under general assumptions, while uniqueness may fail even in dimension one, but holds for almost every initial conditions. Consequently, various properties of solutions depend on the used definition and initial conditions.
△ Less
Submitted 6 January, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Control of collective dynamics with time-varying weights
Authors:
Nastassia Duteil,
Benedetto Piccoli
Abstract:
This paper focuses on a model for opinion dynamics, where the influence weights of agents evolve in time. We formulate a control problem of consensus type, in which the objective is to drive all agents to a final target point under suitable control constraints. Controllability is discussed for the corresponding problem with and without constraints on the total mass of the system, and control strat…
▽ More
This paper focuses on a model for opinion dynamics, where the influence weights of agents evolve in time. We formulate a control problem of consensus type, in which the objective is to drive all agents to a final target point under suitable control constraints. Controllability is discussed for the corresponding problem with and without constraints on the total mass of the system, and control strategies are designed with the steepest descent approach. The mean-field limit is described both for the opinion dynamics and the control problem. Numerical simulations illustrate the control strategies for the finite-dimensional system.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Multiscale control of generic second order traffic models by driver-assist vehicles
Authors:
Felisia Angela Chiarello,
Benedetto Piccoli,
Andrea Tosin
Abstract:
We study the derivation of generic high order macroscopic traffic models from a follow-the-leader particle description via a kinetic approach. First, we recover a third order traffic model as the hydrodynamic limit of an Enskog-type kinetic equation. Next, we introduce in the vehicle interactions a binary control modelling the automatic feedback provided by driver-assist vehicles and we upscale su…
▽ More
We study the derivation of generic high order macroscopic traffic models from a follow-the-leader particle description via a kinetic approach. First, we recover a third order traffic model as the hydrodynamic limit of an Enskog-type kinetic equation. Next, we introduce in the vehicle interactions a binary control modelling the automatic feedback provided by driver-assist vehicles and we upscale such a new particle description by means of another Enskog-based hydrodynamic limit. The resulting macroscopic model is now a Generic Second Order Model (GSOM), which contains in turn a control term inherited from the microscopic interactions. We show that such a control may be chosen so as to optimise global traffic trends, such as the vehicle flux or the road congestion, constrained by the GSOM dynamics. By means of numerical simulations, we investigate the effect of this control hierarchy in some specific case studies, which exemplify the multiscale path from the vehicle-wise implementation of a driver-assist control to its optimal hydrodynamic design.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Mean-field limit of a hybrid system for multi-lane multi-class traffic
Authors:
Xiaoqian Gong,
Benedetto Piccoli,
Giuseppe Visconti
Abstract:
This article aims to study coupled mean-field equation and ODEs with discrete events motivated by vehicular traffic flow. Precisely, multi-lane traffic flow in presence of human-driven and autonomous vehicles is considered, with the autonomous vehicles possibly influenced by external policy makers. First a finite-dimensional hybrid system is developed based on the continuous Bando-Follow-the-Leade…
▽ More
This article aims to study coupled mean-field equation and ODEs with discrete events motivated by vehicular traffic flow. Precisely, multi-lane traffic flow in presence of human-driven and autonomous vehicles is considered, with the autonomous vehicles possibly influenced by external policy makers. First a finite-dimensional hybrid system is developed based on the continuous Bando-Follow-the-Leader dynamics coupled with discrete events due to lane-change maneuvers. Then the mean-field limit of the finite-dimensional hybrid system is rigorously derived for the dynamics of the human-driven vehicles. The microscopic lane-change maneuvers of the human-driven vehicles generates a source term to the mean-field PDE. This leads to an infinite-dimensional hybrid system, which is described by coupled Vlasov-type PDE, ODEs and discrete events.
△ Less
Submitted 20 October, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Emissions minimization on road networks via Generic Second Order Models
Authors:
Caterina Balzotti,
Maya Briani,
Benedetto Piccoli
Abstract:
In this paper we consider the problem of estimating emissions due to vehicular traffic on complex networks, and minimizing their effect by regulating traffic at junctions. For the traffic evolution, we consider a Generic Second Order Model, which encompasses the majority of two-equations (i.e. second-order) models available in the literature, and extend it to road networks with merge and diverge j…
▽ More
In this paper we consider the problem of estimating emissions due to vehicular traffic on complex networks, and minimizing their effect by regulating traffic at junctions. For the traffic evolution, we consider a Generic Second Order Model, which encompasses the majority of two-equations (i.e. second-order) models available in the literature, and extend it to road networks with merge and diverge junctions. The dynamics on the whole network is determined by selecting a solution to the Riemann Problems at junctions, i.e. the Cauchy problems with constant initial data on each incident road. The latter are solved assuming the maximization of the flow and assigning a traffic distribution coefficient for outgoing roads of diverges, and a priority rule for incoming roads of merges. A general emission model is considered and its parameters are tuned to the NOx emission rate. The minimization of emissions is then formulated in terms of the traffic distribution and priority parameters, taking into account travel times. A comparison is provided between roundabouts with optimized parameters and traffic lights, which correspond to time-varying traffic priorities. Our approach can be adapted to manage traffic in complex networks in order to reduce emissions while keeping travel time at acceptable levels.
△ Less
Submitted 9 March, 2022; v1 submitted 20 April, 2020;
originally announced April 2020.
-
Metabolic graphs, LIFE method and the modeling of drug action on Mycobacterium tuberculosis
Authors:
Sean T. McQuade,
Nathaniel J. Merrill,
Benedetto Piccoli
Abstract:
This paper serves as a framework for designing advanced models for drug action on metabolism. Drug treatment may affect metabolism by either enhancing or inhibiting metabolic reactions comprising a metabolic network. We introduce the concept of \textit{metabolic graphs}, a generalization of hypergraphs having specialized features common to metabolic networks. Linear-in-flux-expression (briefly LIF…
▽ More
This paper serves as a framework for designing advanced models for drug action on metabolism. Drug treatment may affect metabolism by either enhancing or inhibiting metabolic reactions comprising a metabolic network. We introduce the concept of \textit{metabolic graphs}, a generalization of hypergraphs having specialized features common to metabolic networks. Linear-in-flux-expression (briefly LIFE) is a methodology for analyzing metabolic networks and simulating virtual patients. We extend LIFE dynamics to be compatible with metabolic graphs, including the more complex interactions of enhancer and inhibitor molecules that affect biochemical reactions. We discuss results considering network structure required for existence and uniqueness of equilibria on metabolic graphs and show simulations of drug action on \textit{Mycobacterium tuberculosis} (briefly MTB)
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
Evaluation of $\mathrm{NO_x}$ emissions and ozone production due to vehicular traffic via second-order models
Authors:
Caterina Balzotti,
Maya Briani,
Barbara De Filippo,
Benedetto Piccoli
Abstract:
The societal impact of traffic is a long-standing and complex problem. We focus on the estimation of ozone production due to vehicular traffic. For this, we couple a system of conservation laws for vehicular traffic, an emission model, and a system of partial differential equations for the main reactions leading to ozone production and diffusion. The second-order model for traffic is obtained by c…
▽ More
The societal impact of traffic is a long-standing and complex problem. We focus on the estimation of ozone production due to vehicular traffic. For this, we couple a system of conservation laws for vehicular traffic, an emission model, and a system of partial differential equations for the main reactions leading to ozone production and diffusion. The second-order model for traffic is obtained by choosing a special velocity function for a Collapsed Generalized Aw-Rascle-Zhang model and is tuned on NGSIM data. On the other side, the system of partial differential equations describes the main chemical reactions of $\mathrm{NO_x}$ gases with a source term provided by a general emission model applied to the output of the traffic model. We analyze the ozone impact of various traffic scenarios and describe the effect of traffic light timing. The numerical tests show the negative effect of vehicles restarts on $\mathrm{NO_x}$ emissions, suggesting to increase the length of the green phase of traffic lights to reduce them.
△ Less
Submitted 26 October, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Model-based assessment of the impact of driver-assist vehicles using kinetic theory
Authors:
Benedetto Piccoli,
Andrea Tosin,
Mattia Zanella
Abstract:
In this paper we consider a kinetic description of follow-the-leader traffic models, which we use to study the effect of vehicle-wise driver-assist control strategies at various scales, from that of the local traffic up to that of the macroscopic stream of vehicles. We provide a theoretical evidence of the fact that some typical control strategies, such as the alignment of the speeds and the optim…
▽ More
In this paper we consider a kinetic description of follow-the-leader traffic models, which we use to study the effect of vehicle-wise driver-assist control strategies at various scales, from that of the local traffic up to that of the macroscopic stream of vehicles. We provide a 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 design of driver-assist algorithms.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
A Wasserstein norm for signed measures, with application to nonlocal transport equation with source term
Authors:
Benedetto Piccoli,
Francesco Rossi,
Magali Tournus
Abstract:
We introduce the optimal transportation interpretation of the Kantorovich norm on thespace of signed Radon measures with finite mass, based on a generalized Wasserstein distancefor measures with different masses.With the formulation and the new topological properties we obtain for this norm, we proveexistence and uniqueness for solutions to non-local transport equations with source terms, whenthe…
▽ More
We introduce the optimal transportation interpretation of the Kantorovich norm on thespace of signed Radon measures with finite mass, based on a generalized Wasserstein distancefor measures with different masses.With the formulation and the new topological properties we obtain for this norm, we proveexistence and uniqueness for solutions to non-local transport equations with source terms, whenthe initial condition is a signed measure.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
A multiscale model for traffic regulation via autonomous vehicles
Authors:
Mauro Garavello,
Paola Goatin,
Thibault Liard,
Benedetto Piccoli
Abstract:
Autonomous vehicles (AVs) allow new ways of regulating the traffic flow on road networks. Most of available results in this direction are based on microscopic approaches, where ODEs describe the evolution of regular cars and AVs. In this paper, we propose a multiscale approach, based on recently developed models for moving bottlenecks. Our main result is the proof of existence of solutions for ope…
▽ More
Autonomous vehicles (AVs) allow new ways of regulating the traffic flow on road networks. Most of available results in this direction are based on microscopic approaches, where ODEs describe the evolution of regular cars and AVs. In this paper, we propose a multiscale approach, based on recently developed models for moving bottlenecks. Our main result is the proof of existence of solutions for open-loop controls with bounded variation.
△ Less
Submitted 20 April, 2020; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Are commercially implemented adaptive cruise control systems string stable?
Authors:
George Gunter,
Derek Gloudemans,
Raphael E. Stern,
Sean McQuade,
Rahul Bhadani,
Matt Bunting,
Maria Laura Delle Monache,
Roman Lysecky,
Benjamin Seibold,
Jonathan Sprinkle,
Benedetto Piccoli,
Daniel B. Work
Abstract:
In this article, we assess the string stability of seven 2018 model year adaptive cruise control (ACC) equipped vehicles that are widely available in the US market. Seven distinct vehicle models from two different vehicle makes are analyzed using data collected from more than 1,200 miles of driving in car-following experiments with ACC engaged by the follower vehicle. The resulting dataset is used…
▽ More
In this article, we assess the string stability of seven 2018 model year adaptive cruise control (ACC) equipped vehicles that are widely available in the US market. Seven distinct vehicle models from two different vehicle makes are analyzed using data collected from more than 1,200 miles of driving in car-following experiments with ACC engaged by the follower vehicle. The resulting dataset is used to identify the parameters of a linear second order delay differential equation model that approximates the behavior of the black box ACC systems. The string stability of the data-fitted model associated with each vehicle is assessed, and the main finding is that all seven vehicle models have string unstable ACC systems. For one commonly available vehicle model that offers ACC as a standard feature on all trim levels, we validate the string stability finding with a multi-vehicle platoon experiment in which all vehicles are the same year, make, and model. In this test, an initial disturbance of 6 mph is amplified to a 25 mph disturbance, at which point the last vehicle in the platoon is observed to disengage the ACC. The data collected in the driving experiments is made available, representing the largest publicly available comparative driving dataset on ACC equipped vehicles.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Superposition principle and schemes for Measure Differential Equations
Authors:
Fabio Camilli,
Giulia Cavagnari,
Raul De Maio,
Benedetto Piccoli
Abstract:
Measure Differential Equations (MDE) describe the evolution of probability measures driven by probability velocity fields, i.e. probability measures on the tangent bundle. They are, on one side, a measure-theoretic generalization of ordinary differential equations; on the other side, they allow to describe concentration and diffusion phenomena typical of kinetic equations. In this paper, we analyz…
▽ More
Measure Differential Equations (MDE) describe the evolution of probability measures driven by probability velocity fields, i.e. probability measures on the tangent bundle. They are, on one side, a measure-theoretic generalization of ordinary differential equations; on the other side, they allow to describe concentration and diffusion phenomena typical of kinetic equations. In this paper, we analyze some properties of this class of differential equations, especially highlighting their link with nonlocal continuity equations. We prove a representation result in the spirit of the Superposition Principle by Ambrosio-Gigli-Savaré, and we provide alternative schemes converging to a solution of the MDE, with a particular view to uniqueness/non-uniqueness phenomena.
△ Less
Submitted 17 December, 2020; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Measure dynamics with Probability Vector Fields and sources
Authors:
Benedetto Piccoli,
Francesco Rossi
Abstract:
We introduce a new formulation for differential equation describing dynamics of measures on an Euclidean space, that we call Measure Differential Equations with sources. They mix two different phenomena: on one side, a transport-type term, in which a vector field is replaced by a Probability Vector Field, that is a probability distribution on the tangent bundle; on the other side, a source term. S…
▽ More
We introduce a new formulation for differential equation describing dynamics of measures on an Euclidean space, that we call Measure Differential Equations with sources. They mix two different phenomena: on one side, a transport-type term, in which a vector field is replaced by a Probability Vector Field, that is a probability distribution on the tangent bundle; on the other side, a source term. Such new formulation allows to write in a unified way both classical transport and diffusion with finite speed, together with creation of mass.
The main result of this article shows that, by introducing a suitable Wasserstein-like functional, one can ensure existence of solutions to Measure Differential Equations with sources under Lipschitz conditions. We also prove a uniqueness result under the following additional hypothesis: the measure dynamics needs to be compatible with dynamics of measures that are sums of Dirac masses.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
Stability of Metabolic Networks via Linear-In-Flux-Expressions
Authors:
Nathaniel J. Merrill,
Zheming An,
Sean T. McQuade,
Federica Garin,
Karim Azer,
Ruth E. Abrams,
Benedetto Piccoli
Abstract:
The methodology named LIFE (Linear-in-Flux-Expressions) was developed with the purpose of simulating and analyzing large metabolic systems. With LIFE, the number of model parameters is reduced by accounting for correlations among the parameters of the system. Perturbation analysis on LIFE systems results in less overall variability of the system, leading to results that more closely resemble empir…
▽ More
The methodology named LIFE (Linear-in-Flux-Expressions) was developed with the purpose of simulating and analyzing large metabolic systems. With LIFE, the number of model parameters is reduced by accounting for correlations among the parameters of the system. Perturbation analysis on LIFE systems results in less overall variability of the system, leading to results that more closely resemble empirical data. These systems can be associated to graphs, and characteristics of the graph give insight into the dynamics of the system. This work addresses two main problems: 1. for fixed metabolite levels, find all fluxes for which the metabolite levels are an equilibrium, and 2. for fixed fluxes, find all metabolite levels which are equilibria for the system. We characterize the set of solutions for both problems, and show general results relating stability of systems to the structure of the associated graph. We show that there is a structure of the graph necessary for stable dynamics. Along with these general results, we show how stability analysis from the fields of network flows, compartmental systems, control theory and Markov chains apply to LIFE systems.
△ Less
Submitted 28 March, 2019; v1 submitted 24 August, 2018;
originally announced August 2018.
-
Two algorithms for a fully coupled and consistently macroscopic PDE-ODE system modeling a moving bottleneck on a road
Authors:
Gabriella Bretti,
Emiliano Cristiani,
Corrado Lattanzio,
Amelio Maurizi,
Benedetto Piccoli
Abstract:
In this paper we propose two numerical algorithms to solve a coupled PDE-ODE system which models a slow vehicle (bottleneck) moving on a road together with other cars. The resulting system is fully coupled because the dynamics of the slow vehicle depends on the density of cars and, at the same time, it causes a capacity drop in the road, thus limiting the car flux. The first algorithm, based on th…
▽ More
In this paper we propose two numerical algorithms to solve a coupled PDE-ODE system which models a slow vehicle (bottleneck) moving on a road together with other cars. The resulting system is fully coupled because the dynamics of the slow vehicle depends on the density of cars and, at the same time, it causes a capacity drop in the road, thus limiting the car flux. The first algorithm, based on the Wave Front Tracking method, is suitable for theoretical investigations and convergence results. The second one, based on the Godunov scheme, is used for numerical simulations. The case of multiple bottlenecks is also investigated.
△ Less
Submitted 19 March, 2021; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Generalized Dynamic Programming Principle and Sparse Mean-Field Control Problems
Authors:
Giulia Cavagnari,
Antonio Marigonda,
Benedetto Piccoli
Abstract:
In this paper we study optimal control problems in Wasserstein spaces, which are suitable to describe macroscopic dynamics of multi-particle systems. The dynamics is described by a parametrized continuity equation, in which the Eulerian velocity field is affine w.r.t. some variables. Our aim is to minimize a cost functional which includes a control norm, thus enforcing a \emph{control sparsity} co…
▽ More
In this paper we study optimal control problems in Wasserstein spaces, which are suitable to describe macroscopic dynamics of multi-particle systems. The dynamics is described by a parametrized continuity equation, in which the Eulerian velocity field is affine w.r.t. some variables. Our aim is to minimize a cost functional which includes a control norm, thus enforcing a \emph{control sparsity} constraint. More precisely, we consider a nonlocal restriction on the total amount of control that can be used depending on the overall state of the evolving mass. We treat in details two main cases: an instantaneous constraint on the control applied to the evolving mass and a cumulative constraint, which depends also on the amount of control used in previous times. For both constraints, we prove the existence of optimal trajectories for general cost functions and that the value function is viscosity solution of a suitable Hamilton-Jacobi-Bellmann equation. Finally, we discuss an abstract Dynamic Programming Principle, providing further applications in the Appendix.
△ Less
Submitted 29 August, 2019; v1 submitted 15 June, 2018;
originally announced June 2018.
-
Open canals flow with fluvial to torrential phase transitions on networks
Authors:
Maya Briani,
Benedetto Piccoli
Abstract:
Network flows and specifically open canal flows can be modeled by systems of balance laws defined on topological graphs. The shallow water or Saint-Venant system of balance laws is one of the most used model and present two phases: fluvial or sub-critical and torrential or super critical. Phase transitions may occur within the same canal but transitions related to networks are less investigated. I…
▽ More
Network flows and specifically open canal flows can be modeled by systems of balance laws defined on topological graphs. The shallow water or Saint-Venant system of balance laws is one of the most used model and present two phases: fluvial or sub-critical and torrential or super critical. Phase transitions may occur within the same canal but transitions related to networks are less investigated. In this paper we provide a complete characterization of possible phase transitions for a simple network with two canals and one junction. Our analysis allows the study of more complicate scenarios. Moreover, we provide some numerical simulations to show the theory at work.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
Sparse control of Hegselmann-Krause models: Black hole and declustering
Authors:
Benedetto Piccoli,
Nastassia Pouradier Duteil,
Emmanuel Trélat
Abstract:
This paper elaborates control strategies to prevent clustering effects in opinion formation models. This is the exact opposite of numerous situations encountered in the literature where, on the contrary, one seeks controls promoting consensus. In order to promote declustering, instead of using the classical variance that does not capture well the phenomenon of dispersion, we introduce an entropy-t…
▽ More
This paper elaborates control strategies to prevent clustering effects in opinion formation models. This is the exact opposite of numerous situations encountered in the literature where, on the contrary, one seeks controls promoting consensus. In order to promote declustering, instead of using the classical variance that does not capture well the phenomenon of dispersion, we introduce an entropy-type functional that is adapted to measuring pairwise distances between agents. We then focus on a Hegselmann-Krause-type system and design declustering sparse controls both in finite-dimensional and kinetic models. We provide general conditions characterizing whether clustering can be avoided as function of the initial data. Such results include the description of black holes (where complete collapse to consensus is not avoidable), safety zones (where the control can keep the system far from clustering), basins of attraction (attractive zones around the clustering set) and collapse prevention (when convergence to the clustering set can be avoided).
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
Well-posedness for scalar conservation laws with moving flux constraints
Authors:
Thibault Liard,
Benedetto Piccoli
Abstract:
We consider a strongly coupled ODE-PDE system representing moving bottlenecks immersed in vehicular traffic. The PDE consists of a scalar conservation law modeling the traffic flow evolution and the ODE models the trajectory of a slow moving vehicle. The moving bottleneck influences the bulk traffic flow via a point flux constraint, which is given by an inequality on the flux at the slow vehicle p…
▽ More
We consider a strongly coupled ODE-PDE system representing moving bottlenecks immersed in vehicular traffic. The PDE consists of a scalar conservation law modeling the traffic flow evolution and the ODE models the trajectory of a slow moving vehicle. The moving bottleneck influences the bulk traffic flow via a point flux constraint, which is given by an inequality on the flux at the slow vehicle position. We prove uniqueness and continuous dependence of solutions with respect to initial data of bounded variation. The proof is based on a new backward in time method established to capture the values of the norm of generalized tangent vectors at every time.
△ Less
Submitted 15 January, 2018;
originally announced January 2018.
-
Measure differential equations
Authors:
Benedetto Piccoli
Abstract:
A new type of differential equations for probability measures on Euclidean spaces, called Measure Differential Equations (briefly MDEs), is introduced. MDEs correspond to Probability Vector Fields, which map measures on an Euclidean space to measures on its tangent bundle. Solutions are intended in weak sense and existence, uniqueness and continuous dependence results are proved under suitable con…
▽ More
A new type of differential equations for probability measures on Euclidean spaces, called Measure Differential Equations (briefly MDEs), is introduced. MDEs correspond to Probability Vector Fields, which map measures on an Euclidean space to measures on its tangent bundle. Solutions are intended in weak sense and existence, uniqueness and continuous dependence results are proved under suitable conditions. The latter are expressed in terms of the Wasserstein metric on the base and fiber of the tangent bundle. MDEs represent a natural measure-theoretic generalization of Ordinary Differential Equations via a monoid morphism mapping sums of vector fields to fiber convolution of the corresponding Probability Vector Fields. Various examples, including finite-speed diffusion and concentration, are shown, together with relationships to Partial Differential Equations. Finally, MDEs are also natural mean-field limits of multi-particle systems, with convergence results extending the classical Dubroshin approach.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
Authors:
Raphael E. Stern,
Shumo Cui,
Maria Laura Delle Monache,
Rahul Bhadani,
Matt Bunting,
Miles Churchill,
Nathaniel Hamilton,
R'mani Haulcy,
Hannah Pohlmann,
Fangyu Wu,
Benedetto Piccoli,
Benjamin Seibold,
Jonathan Sprinkle,
Daniel B. Work
Abstract:
Traffic waves are phenomena that emerge when the vehicular density exceeds a critical threshold. Considering the presence of increasingly automated vehicles in the traffic stream, a number of research activities have focused on the influence of automated vehicles on the bulk traffic flow. In the present article, we demonstrate experimentally that intelligent control of an autonomous vehicle is abl…
▽ More
Traffic waves are phenomena that emerge when the vehicular density exceeds a critical threshold. Considering the presence of increasingly automated vehicles in the traffic stream, a number of research activities have focused on the influence of automated vehicles on the bulk traffic flow. In the present article, we demonstrate experimentally that intelligent control of an autonomous vehicle is able to dampen stop-and-go waves that can arise even in the absence of geometric or lane changing triggers. Precisely, our experiments on a circular track with more than 20 vehicles show that traffic waves emerge consistently, and that they can be dampened by controlling the velocity of a single vehicle in the flow. We compare metrics for velocity, braking events, and fuel economy across experiments. These experimental findings suggest a paradigm shift in traffic management: flow control will be possible via a few mobile actuators (less than 5%) long before a majority of vehicles have autonomous capabilities.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
A convex formulation of traffic dynamics on transportation networks
Authors:
Yanning Li,
Christian G. Claudel,
Benedetto Piccoli,
Daniel B. Work
Abstract:
This article proposes a numerical scheme for computing the evolution of vehicular traffic on a road network over a finite time horizon. The traffic dynamics on each link is modeled by the Hamilton-Jacobi (HJ) partial differential equation (PDE), which is an equivalent form of the Lighthill-Whitham-Richards PDE. The main contribution of this article is the construction of a single convex optimizati…
▽ More
This article proposes a numerical scheme for computing the evolution of vehicular traffic on a road network over a finite time horizon. The traffic dynamics on each link is modeled by the Hamilton-Jacobi (HJ) partial differential equation (PDE), which is an equivalent form of the Lighthill-Whitham-Richards PDE. The main contribution of this article is the construction of a single convex optimization program which computes the traffic flow at a junction over a finite time horizon and decouples the PDEs on connecting links. Compared to discretization schemes which require the computation of all traffic states on a time-space grid, the proposed convex optimization approach computes the boundary flows at the junction using only the initial condition on links and the boundary conditions of the network. The computed boundary flows at the junction specify the boundary condition for the HJ PDE on connecting links, which then can be separately solved using an existing semi-explicit scheme for single link HJ PDE. As demonstrated in a numerical example of ramp metering control, the proposed convex optimization approach also provides a natural framework for optimal traffic control applications.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
A Collapsed Generalized Aw-Rascle-Zhang Model and Its Model Accuracy
Authors:
Shimao Fan,
Ye Sun,
Benedetto Piccoli,
Benjamin Seibold,
Daniel B. Work
Abstract:
This work presents a collapsed generalized Aw-Rascle-Zhang (CGARZ) model, which fits into a generic second order model (GSOM) framework. GSOMs augment the evolution of the traffic density by a second state variable characterizing a property of vehicles or drivers. A cell transmission model for the numerical solution of GSOMs is derived, which is based on analyzing the sending and receiving functio…
▽ More
This work presents a collapsed generalized Aw-Rascle-Zhang (CGARZ) model, which fits into a generic second order model (GSOM) framework. GSOMs augment the evolution of the traffic density by a second state variable characterizing a property of vehicles or drivers. A cell transmission model for the numerical solution of GSOMs is derived, which is based on analyzing the sending and receiving functions of the traffic density and total property. The predictive accuracy of the CGARZ model is then compared to the classical first-order LWR and four second-order models. To that end, a systematic approach to calibrate model parameters from sensor flow-density data is introduced and applied to all models studied. The comparative model validation is conducted using two types of field data: vehicle trajectory data, and loop detector data. It is shown that the CGARZ model provides an intriguing combination of simple model dynamics in the free-flow regime and a representation of the spread of flow-density data in the congested regime, while possessing a competitive prediction accuracy.
△ Less
Submitted 12 February, 2017;
originally announced February 2017.
-
Mean-Field Sparse Jurdjevic--Quinn Control
Authors:
Marco Caponigro,
Benedetto Piccoli,
Francesco Rossi,
Emmanuel Trélat
Abstract:
We consider nonlinear transport equations with non-local velocity, describing the time-evolution of a measure, which in practice may represent the density of a crowd. Such equations often appear by taking the mean-field limit of finite-dimensional systems modelling collective dynamics. We first give a sense to dissipativity of these mean-field equations in terms of Lie derivatives of a Lyapunov fu…
▽ More
We consider nonlinear transport equations with non-local velocity, describing the time-evolution of a measure, which in practice may represent the density of a crowd. Such equations often appear by taking the mean-field limit of finite-dimensional systems modelling collective dynamics. We first give a sense to dissipativity of these mean-field equations in terms of Lie derivatives of a Lyapunov function depending on the measure. Then, we address the problem of controlling such equations by means of a time-varying bounded control action localized on a time-varying control subset with bounded Lebesgue measure (sparsity space constraint). Finite-dimensional versions are given by control-affine systems, which can be stabilized by the well known Jurdjevic--Quinn procedure. In this paper, assuming that the uncontrolled dynamics are dissipative, we develop an approach in the spirit of the classical Jurdjevic--Quinn theorem, showing how to steer the system to an invariant sublevel of the Lyapunov function. The control function and the control domain are designed in terms of the Lie derivatives of the Lyapunov function, and enjoy sparsity properties in the sense that the control support is small. Finally, we show that our result applies to a large class of kinetic equations modelling multi-agent dynamics.
△ Less
Submitted 5 January, 2017;
originally announced January 2017.
-
Interaction Network, State Space and Control in Social Dynamics
Authors:
Aylin Aydogdu,
Marco Caponigro,
Sean McQuade,
Benedetto Piccoli,
Nastassia Pouradier Duteil,
Francesco Rossi,
Emmanuel Trélat
Abstract:
In the present chapter we study the emergence of global patterns in large groups in first and second-order multi-agent systems, focusing on two ingredients that influence the dynamics: the interaction network and the state space. The state space determines the types of equilibrium that can be reached by the system. Meanwhile, convergence to specific equilibria depends on the connectivity of the in…
▽ More
In the present chapter we study the emergence of global patterns in large groups in first and second-order multi-agent systems, focusing on two ingredients that influence the dynamics: the interaction network and the state space. The state space determines the types of equilibrium that can be reached by the system. Meanwhile, convergence to specific equilibria depends on the connectivity of the interaction network and on the interaction potential. When the system does not satisfy the necessary conditions for convergence to the desired equilibrium, control can be exerted, both on finite-dimensional systems and on their mean-field limit.
△ Less
Submitted 25 July, 2016; v1 submitted 1 July, 2016;
originally announced July 2016.
-
Priority-based Riemann solver for traffic flow on networks
Authors:
Maria Laura Delle Monache,
Paola Goatin,
Benedetto Piccoli
Abstract:
In this article we introduce a new Riemann solver for traffic flow on networks. The Priority Riemann solver (PRS) provides a solution at junctions by taking into consideration priorities for the incoming roads and maximization of through flux. We prove existence of solutions for the solver for junctions with up to two incoming and two outgoing roads and show numerically the comparison with previou…
▽ More
In this article we introduce a new Riemann solver for traffic flow on networks. The Priority Riemann solver (PRS) provides a solution at junctions by taking into consideration priorities for the incoming roads and maximization of through flux. We prove existence of solutions for the solver for junctions with up to two incoming and two outgoing roads and show numerically the comparison with previous Riemann solvers. Additionally, we introduce a second version of the solver that considers the priorities as softer constraints and illustrate numerically the differences between the two solvers.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Control of reaction-diffusion equations on time-evolving manifolds
Authors:
Francesco Rossi,
Nastassia Pouradier Duteil,
Nir Yakoby,
Benedetto Piccoli
Abstract:
Among the main actors of organism development there are morphogens, which are signaling molecules diffusing in the developing organism and acting on cells to produce local responses. Growth is thus determined by the distribution of such signal. Meanwhile, the diffusion of the signal is itself affected by the changes in shape and size of the organism. In other words, there is a complete coupling be…
▽ More
Among the main actors of organism development there are morphogens, which are signaling molecules diffusing in the developing organism and acting on cells to produce local responses. Growth is thus determined by the distribution of such signal. Meanwhile, the diffusion of the signal is itself affected by the changes in shape and size of the organism. In other words, there is a complete coupling between the diffusion of the signal and the change of the shapes. In this paper, we introduce a mathematical model to investigate such coupling. The shape is given by a manifold, that varies in time as the result of a deformation given by a transport equation. The signal is represented by a density, diffusing on the manifold via a diffusion equation. We show the non-commutativity of the transport and diffusion evolution by introducing a new concept of Lie bracket between the diffusion and the transport operator. We also provide numerical simulations showing this phenomenon.
△ Less
Submitted 19 September, 2016; v1 submitted 17 May, 2016;
originally announced May 2016.