arXiv subjects

Benedetto Piccoli

Publications and source records attributed to Benedetto Piccoli.

At least 37 records · Page 2Linked to original sources

arXiv2023

Control of multi-agent systems: results, open problems, and applications

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.

math.OC↗

arXiv2022

Spatial-Temporal Deep Embedding for Vehicle Trajectory Reconstruction from High-Angle Video

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.

cs.CV↗

arXiv2022

A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles

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.

eess.SY↗

arXiv2022

Limitations and Improvements of the Intelligent Driver Model (IDM)

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.

eess.SY↗

arXiv2022

A measure model for the spread of viral infections with mutations

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

math.AP↗

arXiv2022

Optimization of vaccination for COVID-19 in the midst of a pandemic

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.

q-bio.PE↗

arXiv2022

Emissions minimization on road networks via Generic Second Order Models

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.

physics.soc-ph↗

arXiv2022

Stability of multi-population traffic flows

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.

math.OC↗

arXiv2021

A deep language model to predict metabolic network equilibria

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.

cs.LG↗

arXiv2021

Mean-field limit of a hybrid system for multi-lane multi-class traffic

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.

math.AP↗

arXiv2021

Generalized solutions to opinion dynamics models with discontinuities

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.

math.OC↗

arXiv2021

A statistical mechanics approach to macroscopic limits of car-following traffic dynamics

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.

cond-mat.stat-mech↗

arXiv2021

Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers

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.

eess.SY↗

arXiv2021

Two algorithms for a fully coupled and consistently macroscopic PDE-ODE system modeling a moving bottleneck on a road

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.

math.DS↗

arXiv2021

Generalized solutions to bounded-confidence models

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.

math.OC↗

arXiv2020

Superposition principle and schemes for Measure Differential Equations

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.

math.AP↗

arXiv2020

Control of collective dynamics with time-varying weights

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.

math.AP↗

arXiv2020

Evaluation of $\mathrm{NO_x}$ emissions and ozone production due to vehicular traffic via second-order models

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.

math.NA↗