AUTONOMOUS SYSTEMS IN THE INTERSECTION OF CONTROLS, LEARNING THEORY AND FORMAL METHODS

ABSTRACT: 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. I argue that the non-conventional problems that arise in the design and veri?cation of autonomous systems require hybrid solutions at the intersection of learning, formal methods, and controls. I will present examples of such hybrid solutions in several problems in autonomy at varying levels of detail.