Safe Autonomy

The development of autonomous vehicles, aircraft, and robots is a major theme in 21st-century technology, and these systems have the potential to provide many benefits, such as reduced traffic collisions, less traffic congestion, increased roadway capacity, and relief for drivers. However, guaranteeing the safety certification and correctness of their design remains a significant obstacle to their successful deployment. Although various techniques have been developed in areas such as perception, planning, and control, the lack of any guarantee of correctness raises concerns about liability in case of accidents or unforeseen events.

The lab focuses on developing control frameworks for autonomous systems with an emphasis on enforcing safety guarantees. The methodologies employed in this pursuit involve interdisciplinary research that intersects control theory, formal methods, and tools derived from AI/ML techniques. The focus areas involve:

Application Areas:

Related Publications: