Booz Allen Hamilton Colloquium: "Verification for Safe Autonomy: Challenges and Recent Developments"
Friday, May 3, 2019
3:30 p.m.-4:30 p.m.
1110 Kim Engineering Building
301 405 4471
Professor, Department of Electrical and Computer Engineering
University of Illinois, Urbana-Champaign
Verification for Safe Autonomy: Challenges and Recent Developments
Abstract: Verification is the science of checking claims about a system meeting a set of requirements. Autonomous systems in transportation bring many opportunities alongside new kinds of safety hazards, and therefore, verification is poised to play an important role in their design, development, and certification. In this talk, we will discuss the theoretical and practical challenges in verification of autonomous and cyberphysical systems and recent advances in data-driven verification algorithms. The application of these ideas will be on a wide variety of systems, including autonomous driving scenarios, automatic emergency braking systems, parallel landing protocols for aircraft, and autonomous satellite maneuvers for space operations. The ideas will be framed in the broader context of certifying trust in autonomous.
Bio: Sayan Mitra is a Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. He holds a PhD in Electrical Engineering and Computer Science from MIT (2007), MSc in Computer Science and Automation from the Indian Institute of Science, and a Bachelors Degree in Electrical Engineering from Jadavpur University. He was a postdoctoral fellow at the Center for Mathematics of Information of Caltech (2008), and has held visiting faculty positions at Oxford University and Kirtland Air Force Research Laboratory. Dr. Mitra received the National Science Foundation's CAREER Award in 2011, AFOSR Young Investigator Research Program Award in 2012, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), a RiSE Fellowship from TU Vienna, a Seibel Research Grant (2018), and several best paper awards. His research interests span the areas of formal verification, control and hybrid systems, and distributed systems. His lab develops theory, algorithms, and tools for estimation, verification and synthesis, and studies their applications in autonomous vehicles, medical devices, and aircraft and spacecraft control systems.