The Autonomous Systems Group has a focus on the theoretical and computational aspects of autonomous systems with an emphasis on systematic verification and design of such systems. Its intellectual core will be in the intersection of controls, theoretical computer science, learning theory, and computational engineering.
Autonomy is increasingly becoming an enabling technology for a wide range of applications from vehicular systems to infrastructure networks. Establishing verifiable trust in the operation of such systems is considered—by industry and government—as one of the major barriers toward the integration of autonomous systems at scales they can make an impact. This research group focuses on this timely challenge.
The group has a portfolio of research projects on various aspects of verifiable autonomy supported by the U.S. Air Force, U.S. Navy, U.S. Army, U.S. Defense Advanced Research Projects Agency (DARPA), the National Science Foundation, NASA and Sandia National Laboratories.