Simulated validation of an intelligent traffic control system

Driverless cars and robot-driven autonomous vehicles are being promoted as safer than ordinary human-driver. Although it is clear that the software-hardware components embedded in such vehicles may react in a timely manner to reduce errors attributed to human drivers, their timely adaptation to dynamic changes in their environment for safe navigation needs a convincing proof or at least a simulated validation. This paper proposes the use of Adaptive Traffic Control System (ATCS), and explains through a simulation platform how it can enforce safety and promote optimized travel on the road populated by vehicles with and without human drivers. A mathematical models for vehicle behavior near road intersections is given as the foundation of ATCS simulator. The simulation results on a variety of traffic patterns is presented followed by the discussion on the limitation of the current work and challenges in extending the simulator.

[1]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

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

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

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

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

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

[7]  R. Stephenson A and V , 1962, The British journal of ophthalmology.

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

[9]  Duy Nhat Nguyen,et al.  Adaptive Traffic Control System: Design and Simulation , 2015 .

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

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

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

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

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

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