Reliable autonomy in transportation via formal and statistical reasoning

By Sayan Mitra on 02/20/2025 from 2:00 p.m. to 3:00 p.m. in 1611 Titan Dr., Rantoul, IL 61866

Join Sayan Mitra of the University of Illinois Urbana-Champaign as he presents in person at the Spring 2025 Kent Seminar Series Thursday, February 20, from 2-3 p.m. (CT).

The Spring 2025 semester is set to feature 14 presentations, each addressing a topic related to autonomy in transportation. See the full lineup of speakers for Spring 2025 semester.

Pizza and soft drinks will be provided beginning at 1:30 p.m. in the ICT Classroom. 

All presentations will be held on Zoom, but some speakers will present in person at ICT.

Join Zoom Meeting
https://illinois.zoom.us/j/89890781073?pwd=CewiD3535GNiWvliWpS6nqBksMqnAE.1 

Meeting ID: 898 9078 1073
Passcode: 116680

Abstract and Bio

Engineering autonomous transportation systems requires a combination of statistical and symbolic (formal) reasoning. This talk presents two emerging methods that enable such reasoning. The first is data-driven, code-level reachability analysis, which makes analyzing autonomous multi-agent scenarios accessible to undergraduates in engineering design courses. The second involves perception contracts, which facilitate the analysis of autonomous systems that rely on machine learning models for perception. Applications of these methods include vision-based auto-landing and air traffic management systems.

Mitra is a professor of electrical and computer engineering at the University of Illinois Urbana-Champaign. His research focuses on reliable autonomous systems, and his group develops design and analysis software for autonomous technologies. His former doctoral students include faculty members at MIT, Vanderbilt, Washington University in St. Louis, and the University of North Carolina. He earned his doctorate from MIT under Nancy Lynch. His textbook on cyber-physical systems verification was published in 2021.