Adaptive Traffic Control System: Design and Simulation

Traditional traffic control infrastructures have not changed much in the last several decades, while the volume of traffic has increased disproportionably to infrastructure improvement. A solution to mobility cannot be addressed by simply improving the technology of a single vehicle any further. A solution is to enable people to reach their destinations safely and in optimal time, given the topology of road networks. This thesis offers such a solution based on an adaptive traffic control algorithm which takes the road network topology and dynamically varying traffic streams as input, and guarantees dependable and optimal mobility for vehicles. The algorithm calculates dependable passages for vehicles to cross road intersections, and enables point-to-point travel by minimizing travel time and maximizing fuel consumption. The adaptive algorithm is embedded in the Arbiter, managed by an Intersection Manager at every road intersection. A distributed traffic management architecture, consisting of a hierarchy of road managers, is proposed in the thesis. Extensions to the adaptive algorithm and the architecture are given. The extended algorithm will efficiently function under exceptional situations, such as bad weather, road repairs, and emergency vehicle mobility. The extended architecture is expected to have autonomic computing properties, such as self-healing, self-recovery, and self-protection, and Cyber-physical system properties, such as tightly-coupled feed-back loops with all entities in its environment. A simulator has been implemented, and simulated results reveal that the adaptive algorithm is far superior in performance to fixed-time control systems.

[1]  P. G. Gipps,et al.  A behavioural car-following model for computer simulation , 1981 .

[2]  Harilaos N. Koutsopoulos,et al.  A microscopic traffic simulator for evaluation of dynamic traffic management systems , 1996 .

[3]  R L Gordon,et al.  Traffic Control Systems Handbook , 1996 .

[4]  Lawrence A. Klein,et al.  Traffic Detector Handbook: Third Edition - Volume I , 2006 .

[5]  R E Allsop.  SIGSET: A COMPUTER PROGRAM FOR CALCULATING TRAFFIC SIGNAL SETTINGS , 1971 .

[6]  R. Bellman.  Dynamic programming. , 1957, Science.

[7]  Dong-Soo Kwon,et al.  Mobile robots at your fingertip: Bezier curve on-line trajectory generation for supervisory control , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[8]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[9]  Helbing,et al.  Congested traffic states in empirical observations and microscopic simulations , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[10]  David A. Duce,et al.  Scalable Vector Graphics SVG 1.0 Specification , 2000 .

[11]  Mike McDonald,et al.  Car-following: a historical review , 1999 .

[12]  Kanok Boriboonsomsin,et al.  Real-World Carbon Dioxide Impacts of Traffic Congestion , 2008 .

[13]  P. G. Gipps,et al.  A MODEL FOR THE STRUCTURE OF LANE-CHANGING DECISIONS , 1986 .

[14]  Rodrigo Fernandez,et al.  Evolution of the TRANSYT model in a developing country , 2006 .

[15]  Pitu B. Mirchandani,et al.  A REAL-TIME TRAFFIC SIGNAL CONTROL SYSTEM: ARCHITECTURE, ALGORITHMS, AND ANALYSIS , 2001 .

[16]  Louis A. Pipes,et al.  Car following models and the fundamental diagram of road traffic , 1967 .

[17]  E. Mainsah.  Autonomic computing: the next era of computing , 2002 .

[18]  Sophie Midenet,et al.  Pedestrian crossing detection based on evidential fusion of video-sensors , 2009 .

[19]  Rajeev Alur.  Can we verify cyber-physical systems? , 2013, Commun. ACM.

[20]  J. Butcher.  The numerical analysis of ordinary differential equations: Runge-Kutta and general linear methods , 1987 .

[21]  Roy Sterritt,et al.  Towards an autonomic computing environment , 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..

[22]  Thomas A. Henzinger,et al.  Theory in practice for system design and verification , 2015, SIGL.

[23]  D I Robertson,et al.  TRANSYT: A TRAFFIC NETWORK STUDY TOOL , 1969 .

[24]  Martin Odersky,et al.  Unifying functional and object-oriented programming with Scala , 2014, Commun. ACM.

[25]  C. Bron,et al.  Algorithm 457: finding all cliques of an undirected graph , 1973 .

[26]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[27]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[28]  Panos M. Pardalos,et al.  The maximum clique problem , 1994, J. Glob. Optim..

[29]  R. Rothery.  CAR FOLLOWING MODELS , 1997 .

[30]  Haris N. Koutsopoulos,et al.  Modeling Integrated Lane-Changing Behavior , 2003 .

[31]  Warren B. Powell,et al.  Approximate Dynamic Programming: Solving the Curses of Dimensionality (Wiley Series in Probability and Statistics) , 2007 .

[32]  Hesham Rakha,et al.  ESTIMATING VEHICLE FUEL CONSUMPTION AND EMISSIONS BASED ON INSTANTANEOUS SPEED AND ACCELERATION LEVELS , 2002 .

[33]  Michel Bierlaire,et al.  Specification, estimation and validation of a pedestrian walking behaviour model , 2007 .

[34]  Kaiyu Wan,et al.  A Framework for Developing Context-aware Systems , 2014, EAI Endorsed Trans. Context aware Syst. Appl..

[35]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[36]  Peter Hidas,et al.  MODELLING LANE CHANGING AND MERGING IN MICROSCOPIC TRAFFIC SIMULATION , 2002 .

[37]  J. F. Gabard.  Car-Following Models , 1991 .

[38]  Kaiyu Wan,et al.  An approach to designing an autonomic network of traffic managers , 2014, 2014 International Conference on Connected Vehicles and Expo (ICCVE).

[39]  M. E. Williams,et al.  TRANSIMS: TRANSPORTATION ANALYSIS AND SIMULATION SYSTEM , 1995 .

[40]  Dirk Helbing,et al.  General Lane-Changing Model MOBIL for Car-Following Models , 2007 .

[41]  Rajeev Alur,et al.  Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[42]  Fei-Yue Wang,et al.  RHODES to Intelligent Transportation Systems , 2005, IEEE Intell. Syst..

[43]  Wang,et al.  Review of road traffic control strategies , 2003, Proceedings of the IEEE.

[44]  Daniel Krajzewicz,et al.  SUMO - Simulation of Urban MObility An Overview , 2011 .