Center for Autonomy

Autonomous Systems in the Intersection of Controls, Learning

Autonomous systems are emerging as a driving technology for countlessly many applications. Numerous disciplines tackle the challenges toward making these systems agile, adaptable, reliable, user-friendly and economical. On the other hand, the existing disciplinary boundaries delay and possibly even obstruct progress. The work of the Autonomous Systems Group embraces the observation that the non-conventional problems that arise in the design and verification of autonomous systems require hybrid solutions at the intersection of learning, formal methods, and controls.

The Group's work is supported by the NSF, NASA, Army, Air Force, Navy, DARPA and Sandia National Laboratories.