Safety and Liveness in Intelligent Intersections Chapter 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.

author list (cited authors)

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

citation count

  • 4

complete list of authors

  • Kowshik, Hemant||Caveney, Derek||Kumar, PR

editor list (cited editors)

  • Egerstedt, M., & Mishra, B.

Book Title

  • Hybrid Systems: Computation and Control

publication date

  • January 2008