Engineering Seminars Test Calendar 2.10

Back to Listing

AE 590 Seminar: Autonomous systems in the intersection of learning, formal methods, and controls

Event Type
Department of Aerospace Engineering
Talbot 103
Feb 17, 2022   12:30 - 1:30 pm  
Ufuk Topcu, University of Texas
Registration is required and is limited.
Courtney McLearin
Originating Calendar
Aerospace Engineering Seminars


Autonomous systems are emerging as a driving technology for countlessly many applications. For example, they will play central roles in advanced air mobility, the electrification of air transportation, and the operation and in-orbit servicing of satellite networks in low-Earth orbit's increasingly crowded and contested environment. Numerous disciplines tackle the challenges toward making these systems trustworthy, adaptable, user-friendly, and economical. On the other hand, the existing disciplinary boundaries delay and possibly even obstruct progress. I argue that the nonconventional problems that arise in designing and verifying autonomous systems require hybrid solutions at the intersection of learning, formal methods, and controls. I will present examples of such hybrid solutions in the context of learning in sequential decision-making processes: (i) physics-informed neural networks for the modeling of unknown dynamical systems, (ii) joint task inference and reinforcement learning, and (iii) cooperative multi-agent reinforcement learning.  These results offer novel means for effectively integrating physics-based, contextual, or structural prior knowledge into data-driven learning algorithms. They improve data efficiency by several orders of magnitude and generalizability to environments and tasks that the system had not experienced previously.


Ufuk Topcu is an Associate Professor in the Department of Aerospace Engineering and Engineering Mechanics at The University of Texas at Austin. He is a core faculty member at the Oden Institute for Computational Engineering and Sciences and Texas Robotics and the director of the Autonomous Systems Group. Ufuk obtained his Doctor of Philosophy degree from the University of California, Berkeley in 2008. Prior to joining The University of Texas at Austin, he was with the Department of Electrical and Systems Engineering at the University of Pennsylvania. He was a postdoctoral scholar at the California Institute of Technology until 2012. Ufuk’s research focuses on the theoretical and algorithmic aspects of the design and verification of autonomous systems, typically in the intersection of formal methods, reinforcement learning, and control theory. He takes a relatively broad view on autonomy and tends to tackle abstract problems motivated by challenges cutting across multiple applications of autonomy. His research contributions have been recognized by the NSF CAREER Award, the Air Force Young Investigator Award, the IEEE CSS Antonio Ruberti Young Researcher Prize, and Oden Institute Distinguished Researcher Award. He is a member of the Computing Community Consortium Council.

Due to room size, in-person attendance will be limited. To-go style lunch will be available for those that attend. Registration is due Monday, February 14. Register at

link for robots only