EECI 2020: Course Introduction

Prev: Main Page

Course home

Next: Automata Theory

This lecture provides an introduction to specification, design and verification of autonomous systems, with a focus on self-driving cars. Multi-layer, networked control systems are a common architecture for control of cyberphysical systems, where a combination of physics-based dynamical behavior is combined with software-enabled functionality. A key challenge in designing such systems is specification, design and verification of control protocols for decision-making and control in networked control systems. In this lecture, we review the system architecture and design patterns used in development and deployment of autonomous vehicles, along with the challenges in obtaining high performance, robust, and safe operations.

Lecture Materials

• Lecture slides: Introduction to Self-Driving Cars

Further Reading

• Alice: An Information-Rich Autonomous Vehicle for High-Speed Desert Navigation, Cremean et al. Journal of Field Robotics, 2006. This article provides an overview of Alice's architecture and operation.

  • 2005 DARPA Grand Challenge video - desert operation, showing failure due to loss of GPS tracking
  • 2007 DARPA Grand Challenge video - successful run of course 2
  • 2007 DARPA Grand Challenge video - unsuccessful run of course 1 (interference between different controllers)

• Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge, DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.

• Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks, A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendle- ton, J. Fu, and E. Frazzoli. International Conference on Robotics and Automation (ICRA), 2019.

• Towards Assume-Guarantee Profiles for Autonomous Vehicles, T. Phan-Minh, K. X. Cai, R. M. Murray. IEEE Conference on Decision and Control (CDC), 2019.

Additional Information

• Specification, Design and Verification of Distributed Embedded Systems (MURI project)
• Cyber-Physical Systems - Are Computing Foundations Adequate?, Edward Lee. Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 16-17, 2006.