-
Traffic signal optimization in large-scale urban road networks: an adaptive-predictive controller using Ising models
Authors:
Daisuke Inoue,
Hiroshi Yamashita,
Kazuyuki Aihara,
Hiroaki Yoshida
Abstract:
Realizing smooth traffic flow is important for achieving carbon neutrality. Adaptive traffic signal control, which considers traffic conditions, has thus attracted attention. However, it is difficult to ensure optimal vehicle flow throughout a large city using existing control methods because of their heavy computational load. Here, we propose a control method called AMPIC (Adaptive Model Predicti…
▽ More
Realizing smooth traffic flow is important for achieving carbon neutrality. Adaptive traffic signal control, which considers traffic conditions, has thus attracted attention. However, it is difficult to ensure optimal vehicle flow throughout a large city using existing control methods because of their heavy computational load. Here, we propose a control method called AMPIC (Adaptive Model Predictive Ising Controller) that guarantees both scalability and optimality. The proposed method employs model predictive control to solve an optimal control problem at each control interval with explicit consideration of a predictive model of vehicle flow. This optimal control problem is transformed into a combinatorial optimization problem with binary variables that is equivalent to the so-called Ising problem. This transformation allows us to use an Ising solver, which has been widely studied and is expected to have fast and efficient optimization performance. We performed numerical experiments using a microscopic traffic simulator for a realistic city road network. The results show that AMPIC enables faster vehicle cruising speed with less waiting time than that achieved by classical control methods, resulting in lower CO2 emissions. The model predictive approach with a long prediction horizon thus effectively improves control performance. Systematic parametric studies on model cities indicate that the proposed method realizes smoother traffic flows for large city road networks. Among Ising solvers, D-Wave's quantum annealing is shown to find near-optimal solutions at a reasonable computational cost.
△ Less
Submitted 12 July, 2024; v1 submitted 5 June, 2024;
originally announced June 2024.
-
An Uncertainty-aware, Mesh-free Numerical Method for Kolmogorov PDEs
Authors:
Daisuke Inoue,
Yuji Ito,
Takahito Kashiwabara,
Norikazu Saito,
Hiroaki Yoshida
Abstract:
This study introduces an uncertainty-aware, mesh-free numerical method for solving Kolmogorov PDEs. In the proposed method, we use Gaussian process regression (GPR) to smoothly interpolate pointwise solutions that are obtained by Monte Carlo methods based on the Feynman-Kac formula. The proposed method has two main advantages: 1. uncertainty assessment, which is facilitated by the probabilistic na…
▽ More
This study introduces an uncertainty-aware, mesh-free numerical method for solving Kolmogorov PDEs. In the proposed method, we use Gaussian process regression (GPR) to smoothly interpolate pointwise solutions that are obtained by Monte Carlo methods based on the Feynman-Kac formula. The proposed method has two main advantages: 1. uncertainty assessment, which is facilitated by the probabilistic nature of GPR, and 2. mesh-free computation, which allows efficient handling of high-dimensional PDEs. The quality of the solution is improved by adjusting the kernel function and incorporating noise information from the Monte Carlo samples into the GPR noise model. The performance of the method is rigorously analyzed based on a theoretical lower bound on the posterior variance, which serves as a measure of the error between the numerical and true solutions. Extensive tests on three representative PDEs demonstrate the high accuracy and robustness of the method compared to existing methods.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Convergence Analysis of the Upwind Difference Methods for Hamilton-Jacobi-Bellman Equations
Authors:
Daisuke Inoue,
Yuji Ito,
Takahito Kashiwabara,
Norikazu Saito,
Hiroaki Yoshida
Abstract:
The convergence properties of the upwind difference scheme for the Hamilton-Jacobi-Bellman (HJB) equation, which is a fundamental equation for optimal control theory, are investigated. We first perform a convergence analysis for the solution of the scheme, which eliminates ambiguities in the proofs of existing studies. We then prove the convergence of the spatial difference of the solution in the…
▽ More
The convergence properties of the upwind difference scheme for the Hamilton-Jacobi-Bellman (HJB) equation, which is a fundamental equation for optimal control theory, are investigated. We first perform a convergence analysis for the solution of the scheme, which eliminates ambiguities in the proofs of existing studies. We then prove the convergence of the spatial difference of the solution in the scheme by the correspondence between the HJB equations and the conservation laws. This result leads to a property of the objective function called epi-convergence, by which the convergence property of the input function is shown. The latter two results have not been addressed in existing studies. Numerical calculations support the obtained results.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
A fictitious-play finite-difference method for linearly solvable mean field games
Authors:
Daisuke Inoue,
Yuji Ito,
Takahito Kashiwabara,
Norikazu Saito,
Hiroaki Yoshida
Abstract:
An iterative finite difference scheme for mean field games (MFGs) is proposed. The target MFGs are derived from control problems for multidimensional systems with advection terms. For such MFGs, linearization using the Cole-Hopf transformation and iterative computation using fictitious play are introduced. This leads to an implementation-friendly algorithm that iteratively solves explicit schemes.…
▽ More
An iterative finite difference scheme for mean field games (MFGs) is proposed. The target MFGs are derived from control problems for multidimensional systems with advection terms. For such MFGs, linearization using the Cole-Hopf transformation and iterative computation using fictitious play are introduced. This leads to an implementation-friendly algorithm that iteratively solves explicit schemes. The convergence properties of the proposed scheme are mathematically proved by tracking the error of the variable through iterations. Numerical calculations show that the proposed method works stably for both one- and two-dimensional control problems.
△ Less
Submitted 25 April, 2023; v1 submitted 14 April, 2022;
originally announced April 2022.
-
Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method
Authors:
Daisuke Inoue,
Yuji Ito,
Hiroaki Yoshida
Abstract:
Swarm robot systems, which consist of many cooperating mobile robots, have attracted attention for their environmental adaptability and fault tolerance advantages. One of the most important tasks for such systems is coverage control, in which robots autonomously deploy to approximate a given spatial distribution. In this study, we formulate a coverage control paradigm using the concept of optimal…
▽ More
Swarm robot systems, which consist of many cooperating mobile robots, have attracted attention for their environmental adaptability and fault tolerance advantages. One of the most important tasks for such systems is coverage control, in which robots autonomously deploy to approximate a given spatial distribution. In this study, we formulate a coverage control paradigm using the concept of optimal transport and propose a novel control technique, which we have termed the optimal transport-based coverage control (OTCC) method. The proposed OTCC, derived via the gradient flow of the cost function in the Kantorovich dual problem, is shown to covers a widely used existing control method as a special case. We also perform a Lyapunov stability analysis of the controlled system, and provide numerical calculations to show that the OTCC reproduces target distributions with better performance than the existing control method.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
Model Predictive Mean Field Games for Controlling Multi-Agent Systems
Authors:
Daisuke Inoue,
Yuji Ito,
Takahito Kashiwabara,
Norikazu Saito,
Hiroaki Yoshida
Abstract:
When controlling multi-agent systems, the trade-off between performance and scalability is a major challenge. Here, we address this difficulty by using mean field games (MFGs), which is a framework that deduces the macroscopic dynamics describing the density profile of agents from their microscopic dynamics. To effectively use the MFG, we propose a model predictive MFG (MP-MFG), which estimates th…
▽ More
When controlling multi-agent systems, the trade-off between performance and scalability is a major challenge. Here, we address this difficulty by using mean field games (MFGs), which is a framework that deduces the macroscopic dynamics describing the density profile of agents from their microscopic dynamics. To effectively use the MFG, we propose a model predictive MFG (MP-MFG), which estimates the agent population density profile with using kernel density estimation and manages the input generation with model predictive control. The proposed MP-MFG generates control inputs by monitoring the agent population at each time step, and thus achieves higher robustness than the conventional MFG. Numerical results show that the MP-MFG outperforms the MFG when the agent model has modeling errors or the number of agents in the system is small.
△ Less
Submitted 5 August, 2021; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Traffic Signal Optimization on a Square Lattice with Quantum Annealing
Authors:
Daisuke Inoue,
Akihisa Okada,
Tadayoshi Matsumori,
Kazuyuki Aihara,
Hiroaki Yoshida
Abstract:
The spread of intelligent transportation systems in urban cities has caused heavy computational loads, requiring a novel architecture for managing large-scale traffic. In this study, we develop a method for globally controlling traffic signals arranged on a square lattice by means of a quantum annealing machine, namely the D-Wave quantum annealer. We first formulate a signal optimization problem t…
▽ More
The spread of intelligent transportation systems in urban cities has caused heavy computational loads, requiring a novel architecture for managing large-scale traffic. In this study, we develop a method for globally controlling traffic signals arranged on a square lattice by means of a quantum annealing machine, namely the D-Wave quantum annealer. We first formulate a signal optimization problem that minimizes the imbalance of traffic flows in two orthogonal directions. Then we reformulate this problem as an Ising Hamiltonian, which is fully compatible with quantum annealers. The new control method is compared with a conventional local control method for a large 50-by-50 city, and the results exhibit the superiority of our global control method in suppressing traffic imbalance over wide parameter ranges. Furthermore, the solutions to the global control method obtained with the quantum annealing machine are better than those obtained with conventional simulated annealing. In addition, we prove analytically that the local and the global control methods converge at the limit where cars have equal probabilities for turning and going straight. These results are verified with numerical experiments.
△ Less
Submitted 1 February, 2021; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Calabi--Yau 3-folds from projective joins of del Pezzo manifolds
Authors:
Daisuke Inoue
Abstract:
In this paper, we will construct new examples of derived equivalent Calabi--Yau 3-folds with Picard number greater than one. We also study their mirror Calabi--Yau manifolds and find that they are given by Schoen's fiber products of suitable rational elliptic modular surfaces.
In this paper, we will construct new examples of derived equivalent Calabi--Yau 3-folds with Picard number greater than one. We also study their mirror Calabi--Yau manifolds and find that they are given by Schoen's fiber products of suitable rational elliptic modular surfaces.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
$I$-functions of Calabi--Yau 3-folds in Grassmannians
Authors:
Daisuke Inoue,
Atsushi Ito,
Makoto Miura
Abstract:
We study $I$-functions of Calabi--Yau 3-folds with Picard number one which are zero loci of general sections of direct sums of globally generated irreducible homogeneous vector bundles on Grassmannians.
We study $I$-functions of Calabi--Yau 3-folds with Picard number one which are zero loci of general sections of direct sums of globally generated irreducible homogeneous vector bundles on Grassmannians.
△ Less
Submitted 5 September, 2017; v1 submitted 27 July, 2016;
originally announced July 2016.
-
Complete intersection Calabi--Yau manifolds with respect to homogeneous vector bundles on Grassmannians
Authors:
Daisuke Inoue,
Atsushi Ito,
Makoto Miura
Abstract:
Based on the method by [Küc95], we give a procedure to list up all complete intersection Calabi--Yau manifolds with respect to direct sums of irreducible homogeneous vector bundles on Grassmannians for each dimension. In particular, we give a classification of such Calabi--Yau 3-folds and determine their topological invariants. We also give alternative descriptions for some of them.
Based on the method by [Küc95], we give a procedure to list up all complete intersection Calabi--Yau manifolds with respect to direct sums of irreducible homogeneous vector bundles on Grassmannians for each dimension. In particular, we give a classification of such Calabi--Yau 3-folds and determine their topological invariants. We also give alternative descriptions for some of them.
△ Less
Submitted 17 January, 2019; v1 submitted 26 July, 2016;
originally announced July 2016.
