Large-Scale Traffic Signal Offset Optimization

The offset optimization problem seeks to coordinate and synchronize the timing of traffic signals throughout a network in order to enhance traffic flow and reduce stops and delays. Recently, offset optimization was formulated into a continuous optimization problem without integer variables by modeling traffic flow as sinusoidal. In this article, we present a novel algorithm to solve this new formulation to near-global optimality on a large scale. Specifically, we solve a convex relaxation of the nonconvex problem using a tree decomposition reduction, and use randomized rounding to recover a near-global solution. We prove that the algorithm always delivers solutions of expected value at least 0.785 times the globally optimal value. Moreover, assuming that the topology of the traffic network is “tree-like,” we prove that the algorithm has near-linear time complexity with respect to the number of intersections. These theoretical guarantees are experimentally validated on the Berkeley, Manhattan, and Los Angeles traffic networks. In our numerical results, the empirical time complexity of the algorithm is linear, and the solutions have objectives within 0.99 times the globally optimal value.

[1]  Zhi-Quan Luo,et al.  Semidefinite Relaxation of Quadratic Optimization Problems , 2010, IEEE Signal Processing Magazine.

[2]  Kazuo Murota,et al.  Exploiting Sparsity in Semidefinite Programming via Matrix Completion I: General Framework , 2000, SIAM J. Optim..

[3]  David J. Spiegelhalter,et al.  Probabilistic Networks and Expert Systems - Exact Computational Methods for Bayesian Networks , 1999, Information Science and Statistics.

[4]  Javad Lavaei,et al.  Sparse semidefinite programs with guaranteed near-linear time complexity via dualized clique tree conversion , 2017, Mathematical Programming.

[5]  John R. Gilbert,et al.  Approximating Treewidth, Pathwidth, Frontsize, and Shortest Elimination Tree , 1995, J. Algorithms.

[6]  Kevin Curran,et al.  OpenStreetMap , 2012, Int. J. Interact. Commun. Syst. Technol..

[7]  Nathan H. Gartner,et al.  MITROP: A COMPUTER PROGRAM FOR SIMULTANEOUS OPTIMISATION OF OFFSETS, SPLITS AND CYCLE TIME , 1976 .

[8]  P. Varaiya,et al.  Analysis of fixed-time control☆ , 2014, 1408.4229.

[9]  Anthony Man-Cho So,et al.  On approximating complex quadratic optimization problems via semidefinite programming relaxations , 2005, IPCO.

[10]  N. Gartner,et al.  Arterial-based control of traffic flow in urban grid networks , 2002 .

[11]  Roberto Horowitz,et al.  Offset optimization of signalized intersections via the Burer-Monteiro method , 2017, 2017 American Control Conference (ACC).

[12]  Javad Lavaei,et al.  Exactness of Semidefinite Relaxations for Nonlinear Optimization Problems with Underlying Graph Structure , 2014, SIAM J. Optim..

[13]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[14]  Alexander Skabardonis,et al.  Optimizing Offsets in Signalized Traffic Networks: A Case Study , 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).

[15]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[16]  Kenneth G Courage,et al.  TRANSYT-7F USER'S MANUAL , 1984 .

[17]  Pravin Varaiya,et al.  Offset optimization for a network of signalized intersections via semidefinite relaxation , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[18]  R. E. Allsop Selection of Offsets to Minimize Delay to Traffic in a Network Controlled by Fixed-Time Signals , 1968 .

[19]  Patrick R. Amestoy,et al.  An Approximate Minimum Degree Ordering Algorithm , 1996, SIAM J. Matrix Anal. Appl..

[20]  C.,et al.  Plea for a semidefinite optimization solver in complex numbers , 2017 .

[21]  Johan Löfberg,et al.  Dualize it: software for automatic primal and dual conversions of conic programs , 2009, Optim. Methods Softw..

[22]  Javad Lavaei,et al.  Finding Low-rank Solutions of Sparse Linear Matrix Inequalities using Convex Optimization , 2017, SIAM J. Optim..

[23]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[24]  Yu Zhang,et al.  Conic Relaxations for Power System State Estimation With Line Measurements , 2017, IEEE Transactions on Control of Network Systems.

[25]  Nathan H. Gartner,et al.  Progression Optimization Featuring Arterial- and Route-Based Priority Signal Networks , 2004, J. Intell. Transp. Syst..

[26]  John D. C. Little,et al.  Optimization of Traffic Signal Settings by Mixed-Integer Linear Programming , 1975 .

[27]  Martin S. Andersen,et al.  Chordal Graphs and Semidefinite Optimization , 2015, Found. Trends Optim..

[28]  Pravin Varaiya,et al.  Offset optimization in signalized traffic networks via semidefinite relaxation , 2017 .

[29]  Mohamad Talas,et al.  A scalable algorithm for the control of congested urban networks with intricate traffic patterns : New York City case studies , 2016 .

[30]  John D. C. Little,et al.  MAXBAND : a versatile program for setting signals on arteries and triangular networks , 1981 .

[31]  Javad Lavaei,et al.  Promises of Conic Relaxation for Contingency-Constrained Optimal Power Flow Problem , 2014, IEEE Transactions on Power Systems.

[32]  Javad Lavaei,et al.  Convex Relaxation for Optimal Power Flow Problem: Mesh Networks , 2015, IEEE Transactions on Power Systems.

[33]  Derek G. Corneil,et al.  Complexity of finding embeddings in a k -tree , 1987 .

[34]  John D. C. Little,et al.  The Synchronization of Traffic Signals by Mixed-Integer Linear Programming , 2011, Oper. Res..

[35]  John D. C. Little,et al.  GENERALIZED COMBINATION METHOD FOR AREA TRAFFIC CONTROL , 1975 .

[36]  Javad Lavaei,et al.  Sparse Semidefinite Programs with Near-Linear Time Complexity , 2017, 2018 IEEE Conference on Decision and Control (CDC).

[37]  Nathan H. Gartner,et al.  OPTIMAL SYNCHRONIZATION OF TRAFFIC SIGNAL NETWORKS BY DYNAMIC PROGRAMMING , 1972 .

[38]  Pravin Varaiya,et al.  Conic Approximation with Provable Guarantee for Traffic Signal Offset Optimization , 2018, 2018 IEEE Conference on Decision and Control (CDC).