The IEEE Robotics & Automation Society awarded to Prof. Tabuada and his collaborators, Prof. Xu at U. Wisconsin-Madison, Prof. Grizzle at U. Michigan, and Prof. Ames at Caltech, the IEEE Transactions on Automation Science and Engineering Best New Application Paper Award for the paper “Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control.”


This paper describes a new design and analysis methodology for driver assistance systems, such as adaptive cruise control and lane keeping, that allows these systems to be independently designed while guaranteeing correctness of their concurrent operation. The methodology is based on the concept of control barrier/safety function, recently introduced by the same authors, to reason about safety of autonomous systems.