Safety and liveness in intelligent intersections Conference Paper uri icon


  • Automation of driving tasks is becoming of increasing interest for highway traffic management. Technologies for on-board sensing, combined with global positioning and inter-vehicular wireless communications, can potentially provide remarkable improvements in safety and efficiency. We address the problem of designing intelligent intersections where traffic lights and stop signs are removed, and cars negotiate the intersection through a combination of centralized and distributed decision making. Such intelligent intersections are representative of complex distributed hybrid systems which need architectures and algorithms with provable safety and liveness. We propose a hybrid architecture which involves an appropriate interplay between centralized coordination and distributed freedom for the cars. Our approach is based on each car having an open-loop infinite horizon contingency plan, which is updated at each sampling time in a distributed fashion. We also define a partial order relation between cars which specifies to each car a set of cars whose worst case behaviors it should guard against. We prove the safety and liveness of the overall scheme. Concerning performance, we conduct a simulation study that shows the benefits over stop signs and traffic lights. 2008 Springer-Verlag Berlin Heidelberg.

published proceedings

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

author list (cited authors)

  • Kowshik, H., Caveney, D., & Kumar, P. R.

complete list of authors

  • Kowshik, H||Caveney, D||Kumar, PR

publication date

  • December 2008