-
The obstacle problem for linear scalar conservation laws with constant velocity
Authors:
Paulo Amorim,
Alexander Keimer,
Lukas Pflug,
Jakob Rodestock
Abstract:
In this contribution, we present a novel approach for solving the obstacle problem for (linear) conservation laws. Usually, given a conservation law with an initial datum, the solution is uniquely determined. How to incorporate obstacles, i.e., inequality constraints on the solution so that the resulting solution is still "physically reasonable" and obeys the obstacle, is unclear. The proposed app…
▽ More
In this contribution, we present a novel approach for solving the obstacle problem for (linear) conservation laws. Usually, given a conservation law with an initial datum, the solution is uniquely determined. How to incorporate obstacles, i.e., inequality constraints on the solution so that the resulting solution is still "physically reasonable" and obeys the obstacle, is unclear. The proposed approach involves scaling down the velocity of the conservation law when the solution approaches the obstacle. We demonstrate that this leads to a reasonable solution and show that, when scaling down is performed in a discontinuous fashion, we still obtain a suitable velocity - and the solution satisfying a discontinuous conservation law. We illustrate the developed solution concept using numerical approximations.
△ Less
Submitted 13 May, 2024;
originally announced May 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.
-
Stabilization of U 5$f^2$ configuration in UTe$_2$ through U 6d dimers in the presence of Te2 chains
Authors:
Denise S. Christovam,
Martin Sundermann,
Andrea Marino,
Daisuke Takegami,
Johannes Falke,
Paulius Dolmantas,
Manuel Harder,
Hlynur Gretarsson amd Bernhard Keimer,
Andrei Gloskovskii,
Maurits W. Haverkort,
Ilya Elfimov,
Gertrud Zwicknagl,
Alexander V. Andreev,
Ladislav Havela,
Mitchell M. Bordelon,
Eric D. Bauer,
Priscila F. S. Rosa,
Andrea Severing,
Liu Hao Tjeng
Abstract:
We investigate the topological superconductor candidate UTe$_2$ using high-resolution valence-band resonant inelastic x-ray scattering at the U $M_{4,5}$-edges. We observe atomic-like low-energy excitations that support the correlated nature of this unconventional superconductor. These excitations originate from the U $5f^2$ configuration, which is unexpected since the short Te2-Te2 distances excl…
▽ More
We investigate the topological superconductor candidate UTe$_2$ using high-resolution valence-band resonant inelastic x-ray scattering at the U $M_{4,5}$-edges. We observe atomic-like low-energy excitations that support the correlated nature of this unconventional superconductor. These excitations originate from the U $5f^2$ configuration, which is unexpected since the short Te2-Te2 distances exclude Te2 being 2-. By utilizing the photoionization cross-section dependence of the photoemission spectra in combination with band structure calculations, we infer that the stabilization of the U $5f^2$ configuration is due to the U $6d$ bonding states in the U-dimers acting as a charge reservoir. Our results emphasize that the description of the physical properties should commence with a $5f^2$ $ansatz$.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
A note on nonlocal approximations of sign-unrestricted solutions of conservation laws
Authors:
Alexander Keimer,
Lukas Pflug
Abstract:
We study the singular limit problem for nonlocal conservation laws in which the sign of the initial datum is unrestricted and the velocity of the conservation law depends on a nonlocal approximation of the absolute value of the density. We demonstrate that the nonlocal solutions converge to the local entropy solution when the nonlocal kernel tends to a Dirac distribution, and thus obtain an approx…
▽ More
We study the singular limit problem for nonlocal conservation laws in which the sign of the initial datum is unrestricted and the velocity of the conservation law depends on a nonlocal approximation of the absolute value of the density. We demonstrate that the nonlocal solutions converge to the local entropy solution when the nonlocal kernel tends to a Dirac distribution, and thus obtain an approximation result for local unsigned conservation laws, generalizing the current results on the so-called sign-restricted singular limit problem. The considered model class covers special cases like a generalized Burgers' equation and scalar versions of the Keyfitz--Kranzer system.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
On the singular limit problem for nonlocal conservation laws: A general approximation result for kernels with fixed support
Authors:
Alexander Keimer,
Lukas Pflug
Abstract:
We prove the convergence of solutions of nonlocal conservation laws to their local entropic counterpart for a fundamentally extended class of nonlocal kernels when these kernels approach a Dirac distribution. The nonlocal kernels are assumed to have fixed support and do not have to be monotonic. With sharp estimates of the nonlocal kernels and a surrogate nonlocal quantity, we prove compactness in…
▽ More
We prove the convergence of solutions of nonlocal conservation laws to their local entropic counterpart for a fundamentally extended class of nonlocal kernels when these kernels approach a Dirac distribution. The nonlocal kernels are assumed to have fixed support and do not have to be monotonic. With sharp estimates of the nonlocal kernels and a surrogate nonlocal quantity, we prove compactness in $C(L^{1}_{\text{loc}})$ which allow passing to the limit in the weak formulation. A careful analysis of the entropy condition of local conservation laws together with the named estimators for the considered kernels enable it to prove the entropy admissibility of the nonlocal equation in the limit, completing the convergence proof.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
On the singular limit problem in nonlocal balance laws: Applications to nonlocal lane-changing traffic flow models
Authors:
Felisia Angela Chiarello,
Alexander Keimer
Abstract:
We present a convergence result from nonlocal to local behavior for a system of nonlocal balance laws. The velocity field of the underlying conservation laws is diagonal. In contrast, the coupling to the remaining balance laws involves a nonlinear right-hand side that depends on the solution, nonlocal term, and other factors. The nonlocal operator integrates the density around a specific spatial p…
▽ More
We present a convergence result from nonlocal to local behavior for a system of nonlocal balance laws. The velocity field of the underlying conservation laws is diagonal. In contrast, the coupling to the remaining balance laws involves a nonlinear right-hand side that depends on the solution, nonlocal term, and other factors. The nonlocal operator integrates the density around a specific spatial point, which introduces nonlocality into the problem.
Inspired by multi-lane traffic flow modeling and lane-changing, the nonlocal kernel is discontinuous and only looks downstream.
In this paper, we prove the convergence of the system to the local entropy solutions when the nonlocal operator (chosen to be of an exponential type for simplicity) converges to a Dirac distribution. Numerical illustrations that support the main results are also presented.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Oleĭnik-type estimates for nonlocal conservation laws and applications to the nonlocal-to-local limit
Authors:
Giuseppe Maria Coclite,
Maria Colombo,
Gianluca Crippa,
Nicola De Nitti,
Alexander Keimer,
Elio Marconi,
Lukas Pflug,
Laura V. Spinolo
Abstract:
We consider a class of nonlocal conservation laws with exponential kernel and prove that quantities involving the nonlocal term $W:=\mathbb{1}_{(-\infty,0]}(\cdot)\exp(\cdot) \ast ρ$ satisfy an Oleĭnik-type entropy condition. More precisely, under different sets of assumptions on the velocity function $V$, we prove that $W$ satisfies a one-sided Lipschitz condition and that $V'(W) W \partial_x W$…
▽ More
We consider a class of nonlocal conservation laws with exponential kernel and prove that quantities involving the nonlocal term $W:=\mathbb{1}_{(-\infty,0]}(\cdot)\exp(\cdot) \ast ρ$ satisfy an Oleĭnik-type entropy condition. More precisely, under different sets of assumptions on the velocity function $V$, we prove that $W$ satisfies a one-sided Lipschitz condition and that $V'(W) W \partial_x W$ satisfies a one-sided bound, respectively. As a byproduct, we deduce that, as the exponential kernel is rescaled to converge to a Dirac delta distribution, the weak solution of the nonlocal problem converges to the unique entropy-admissible solution of the corresponding local conservation law, under the only assumption that the initial datum is essentially bounded and not necessarily of bounded variation.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Conservation laws with nonlocality in density and velocity and their applicability in traffic flow modelling
Authors:
Jan Friedrich,
Simone Göttlich,
Alexander Keimer,
Lukas Pflug
Abstract:
In this work we present a nonlocal conservation law with a velocity depending on an integral term over a part of the space. The model class covers already existing models in literature, but it is also able to describe new dynamics mainly arising in the context of traffic flow modelling. We prove the existence and uniqueness of weak solutions of the nonlocal conservation law. Further, we provide a…
▽ More
In this work we present a nonlocal conservation law with a velocity depending on an integral term over a part of the space. The model class covers already existing models in literature, but it is also able to describe new dynamics mainly arising in the context of traffic flow modelling. We prove the existence and uniqueness of weak solutions of the nonlocal conservation law. Further, we provide a suitable numerical discretization and present numerical examples.
△ Less
Submitted 24 April, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
On the singular limit problem for a discontinuous nonlocal conservation law
Authors:
Alexander Keimer,
Lukas Pflug
Abstract:
In this contribution we study the singular limit problem of a nonlocal conservation law with a discontinuity in space. The specific choice of the nonlocal kernel involving the spatial discontinuity as well enables it to obtain a maximum principle for the nonlocal equation. The corresponding local equation can be transformed diffeomorphically to a classical scalar conservation law where the well-kn…
▽ More
In this contribution we study the singular limit problem of a nonlocal conservation law with a discontinuity in space. The specific choice of the nonlocal kernel involving the spatial discontinuity as well enables it to obtain a maximum principle for the nonlocal equation. The corresponding local equation can be transformed diffeomorphically to a classical scalar conservation law where the well-know Kružkov theory can be applied. However, the nonlocal equation does not scale that way which is why the study of convergence is interesting to pursue. For exponential kernels in the nonlocal operator, we establish the converge to the corresponding local equation under mild conditions on the involved discontinuous velocity. We illustrate our results with some numerical examples.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks
Authors:
Alexandre M. Bayen,
Alexander Keimer,
Nils Müller
Abstract:
Networks are essential models in many applications such as information technology, chemistry, power systems, transportation, neuroscience, and social sciences. In light of such broad applicability, a general theory of dynamical systems on networks may capture shared concepts, and provide a setting for deriving abstract properties. To this end, we develop a calculus for networks modeled as abstract…
▽ More
Networks are essential models in many applications such as information technology, chemistry, power systems, transportation, neuroscience, and social sciences. In light of such broad applicability, a general theory of dynamical systems on networks may capture shared concepts, and provide a setting for deriving abstract properties. To this end, we develop a calculus for networks modeled as abstract metric spaces and derive an analog of Kirchhoff's first law for hyperbolic conservation laws. In dynamical systems on networks, Kirchhoff's first law connects the study of abstract global objects, and that of a computationally-beneficial edgewise-Euclidean perspective by stating its equivalence. In particular, our results show that hyperbolic conservation laws on networks can be stated without explicit Kirchhoff-type boundary conditions.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Conservation laws with nonlocal velocity -- the singular limit problem
Authors:
Jan Friedrich,
Simone Göttlich,
Alexander Keimer,
Lukas Pflug
Abstract:
We consider conservation laws with nonlocal velocity and show for nonlocal weights of exponential type that the unique solutions converge in a weak or strong sense (dependent on the regularity of the velocity) to the entropy solution of the local conservation law when the nonlocal weight approaches a Dirac distribution. To this end, we establish first a uniform total variation estimate on the nonl…
▽ More
We consider conservation laws with nonlocal velocity and show for nonlocal weights of exponential type that the unique solutions converge in a weak or strong sense (dependent on the regularity of the velocity) to the entropy solution of the local conservation law when the nonlocal weight approaches a Dirac distribution. To this end, we establish first a uniform total variation estimate on the nonlocal velocity which enables it to prove that the nonlocal solution is entropy admissible in the limit. For the entropy solution, we use a tailored entropy flux pair which allows the usage of only one entropy to obtain uniqueness (given some additional constraints).
For general weights, we show that monotonicity of the initial datum is preserved over time which enables it to prove the convergence to the local entropy solution for rather general kernels and monotone initial datum as well. This covers the archetypes of local conservation laws: Shock waves and rarefactions. It also underlines that a ``nonlocal in the velocity'' approximation might be better suited to approximate local conservation laws than a nonlocal in the solution approximation where such monotonicity does only hold for specific velocities.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Composing MPC with LQR and Neural Network for Amortized Efficiency and Stable Control
Authors:
Fangyu Wu,
Guanhua Wang,
Siyuan Zhuang,
Kehan Wang,
Alexander Keimer,
Ion Stoica,
Alexandre Bayen
Abstract:
Model predictive control (MPC) is a powerful control method that handles dynamical systems with constraints. However, solving MPC iteratively in real time, i.e., implicit MPC, remains a computational challenge. To address this, common solutions include explicit MPC and function approximation. Both methods, whenever applicable, may improve the computational efficiency of the implicit MPC by several…
▽ More
Model predictive control (MPC) is a powerful control method that handles dynamical systems with constraints. However, solving MPC iteratively in real time, i.e., implicit MPC, remains a computational challenge. To address this, common solutions include explicit MPC and function approximation. Both methods, whenever applicable, may improve the computational efficiency of the implicit MPC by several orders of magnitude. Nevertheless, explicit MPC often requires expensive pre-computation and does not easily apply to higher-dimensional problems. Meanwhile, function approximation, although scales better with dimension, still requires pre-training on a large dataset and generally cannot guarantee to find an accurate surrogate policy, the failure of which often leads to closed-loop instability. To address these issues, we propose a triple-mode hybrid control scheme, named Memory-Augmented MPC, by combining a linear quadratic regulator, a neural network, and an MPC. From its standard form, we further derive two variants of such hybrid control scheme: one customized for chaotic systems and the other for slow systems. The proposed scheme does not require pre-computation and can improve the amortized running time of the composed MPC with a well-trained neural network. In addition, the scheme maintains closed-loop stability with any neural networks of proper input and output dimensions, alleviating the need for certifying optimality of the neural network in safety-critical applications.
△ Less
Submitted 2 August, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Discontinuous nonlocal conservation laws and related discontinuous ODEs -- Existence, Uniqueness, Stability and Regularity
Authors:
Alexander Keimer,
Lukas Pflug
Abstract:
We study nonlocal conservation laws with a discontinuous flux function of regularity $\mathsf{L}^{\infty}(\mathbb{R})$ in the spatial variable and show existence and uniqueness of weak solutions in $\mathsf{C}\big([0,T];\mathsf{L}^{1}_{\text{loc}}(\mathbb{R})\big)$, as well as related maximum principles. We achieve this well-posedness by a proper reformulation in terms of a fixed-point problem. Th…
▽ More
We study nonlocal conservation laws with a discontinuous flux function of regularity $\mathsf{L}^{\infty}(\mathbb{R})$ in the spatial variable and show existence and uniqueness of weak solutions in $\mathsf{C}\big([0,T];\mathsf{L}^{1}_{\text{loc}}(\mathbb{R})\big)$, as well as related maximum principles. We achieve this well-posedness by a proper reformulation in terms of a fixed-point problem. This fixed-point problem itself necessitates the study of existence, uniqueness and stability of a class of discontinuous ordinary differential equations. On the ODE level, we compare the solution type defined here with the well-known Carathéodory and Filippov solutions.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Quasi-Dynamic Traffic Assignment using High Performance Computing
Authors:
Cy Chan,
Anu Kuncheria,
Bingyu Zhao,
Theophile Cabannes,
Alexander Keimer,
Bin Wang,
Alexandre Bayen,
Jane Macfarlane
Abstract:
Traffic assignment methods are some of the key approaches used to model flow patterns that arise in transportation networks. Since static traffic assignment does not have a notion of time, it is not designed to represent temporal dynamics that arise as vehicles flow through the network and demand varies through the day. Dynamic traffic assignment methods attempt to resolve these issues, but requir…
▽ More
Traffic assignment methods are some of the key approaches used to model flow patterns that arise in transportation networks. Since static traffic assignment does not have a notion of time, it is not designed to represent temporal dynamics that arise as vehicles flow through the network and demand varies through the day. Dynamic traffic assignment methods attempt to resolve these issues, but require significant computational resources if modeling urban-scale regions (on the order of millions of links and vehicles) and often take days of compute time to complete. The focus of this work is two-fold: 1) to introduce a new traffic assignment approach - a quasi-dynamic traffic assignment (QDTA) model and 2) to describe how we parallelized the QDTA algorithms to leverage High-Performance Computing (HPC) and scale to large metropolitan areas while dramatically reducing compute time. We examine and compare different scenarios, including a baseline static traffic assignment (STA) and a quasi-dynamic scenario inspired by the user-equilibrium (UET). Results are presented for the San Francisco Bay Area which accounts for 19M trips/day and an urban road network of 1M links. We utilize an iterative gradient descent method, where the step size is selected using a Quasi-Newton method with parallelized cost function evaluations and compare it to using pre-defined step sizes (MSA). Using the parallelized line search provides a 16 percent reduction in total execution time due to a reduction in the number of gradient descent iterations required for convergence. The full day QDTA comprising 96 optimization steps over 15 minute intervals runs in about 4 minutes on 1,024 cores of the NERSC Cori computer, which represents a speedup of over 36x versus serial execution. To our knowledge, this compute time is significantly lower than other traffic assignment solutions for a problem of this scale.
△ Less
Submitted 18 May, 2021; v1 submitted 26 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.
-
A general result on the approximation of local conservation laws by nonlocal conservation laws: The singular limit problem for exponential kernels
Authors:
Giuseppe Maria Coclite,
Jean-Michel Coron,
Nicola De Nitti,
Alexander Keimer,
Lukas Pflug
Abstract:
We deal with the problem of approximating a scalar conservation law by a conservation law with nonlocal flux. As convolution kernel in the nonlocal flux, we consider an exponential-type approximation of the Dirac distribution. This enables us to obtain a total variation bound on the nonlocal term. By using this, we prove that the (unique) weak solution of the nonlocal problem converges strongly in…
▽ More
We deal with the problem of approximating a scalar conservation law by a conservation law with nonlocal flux. As convolution kernel in the nonlocal flux, we consider an exponential-type approximation of the Dirac distribution. This enables us to obtain a total variation bound on the nonlocal term. By using this, we prove that the (unique) weak solution of the nonlocal problem converges strongly in $C(L^{1}_{\text{loc}})$ to the entropy solution of the local conservation law. We conclude with several numerical illustrations which underline the main results and, in particular, the difference between the solution and the nonlocal term.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Integration of Information Patterns in the Modeling and Design of Mobility Management Services
Authors:
Alexander Keimer,
Nicolas Laurent-Brouty,
Farhad Farokhi,
Hippolyte Signargout,
Vladimir Cvetkovic,
Alexandre M. Bayen,
Karl H. Johansson
Abstract:
Over the last decade, the rise of the mobile internet and the usage of mobile devices has enabled ubiquitous traffic information. With the increased adoption of specific smartphone applications, the number of users of routing applications has become large enough to disrupt traffic flow patterns in a significant manner. Similarly, but at a slightly slower pace, novel services for freight transporta…
▽ More
Over the last decade, the rise of the mobile internet and the usage of mobile devices has enabled ubiquitous traffic information. With the increased adoption of specific smartphone applications, the number of users of routing applications has become large enough to disrupt traffic flow patterns in a significant manner. Similarly, but at a slightly slower pace, novel services for freight transportation and city logistics improve the efficiency of goods transportation and change the use of road infrastructure. The present article provides a general four-layer framework for modeling these new trends. The main motivation behind the development is to provide a unifying formal system description that can at the same time encompass system physics (flow and motion of vehicles) as well as coordination strategies under various information and cooperation structures. To showcase the framework, we apply it to the specific challenge of modeling and analyzing the integration of routing applications in today's transportation systems. In this framework, at the lowest layer (flow dynamics) we distinguish app users from non-app users. A distributed parameter model based on a non-local partial differential equation is introduced and analyzed. The second layer incorporates connected services (e.g., routing) and other applications used to optimize the local performance of the system. As inputs to those applications, we propose a third layer introducing the incentive design and global objectives, which are typically varying over the day depending on road and weather conditions, external events etc. The high-level planning is handled on the fourth layer taking social long-term objectives into account.
△ Less
Submitted 23 July, 2017;
originally announced July 2017.