Establishing correctness of learning-based autonomous systems
ECE 595 SEMINAR SERIES
September 30, 2022
11:00 AM - 12:00 PM
Location
online
Calendar
Download iCal FileEstablishing correctness of learning-based autonomous systems
Presenter: Tichakorn (Nok) Wongpiromsarn, Iowa State University
Abstract: Autonomous systems are subject to multiple regulatory requirements due to their safety-critical nature. In general, it may not be feasible to guarantee the satisfaction of all requirements under all conditions. In such situations, the system needs to decide how to prioritize among them. Two main factors complicate this decision. First, the priorities among the conflicting requirements may not be fully established. Second, the decision needs to be made under uncertainties arising from both the learning-based components within the system and the unstructured, unpredictable, and non-cooperating nature of the environments. Therefore, establishing the correctness of autonomous systems requires a specification language that captures the unequal importance of the requirements, quantifies the violation of each requirement, and incorporates uncertainties faced by the systems. In this talk, I will discuss our early effort to partially address this problem and the remaining challenges.
Speaker bio: Tichakorn (Nok) Wongpiromsarn received the BS degree in mechanical engineering from Cornell University in 2005 and the MS and PhD degrees in mechanical engineering from California Institute of Technology in 2006 and 2010, respectively. She is currently an assistant professor of computer science at Iowa State University. Her research spans several areas of computer science, control, and optimization, including formal methods, motion planning, situational reasoning, hybrid systems, and distributed control systems. Most of her work draws inspiration from practical applications, especially in autonomy, robotics, and transportation. A significant portion of her career has been devoted to the development of autonomous vehicles, both in academia and industry settings. In particular, Wongpiromsarn was a principal research scientist and led the planning team at nuTonomy (now Motional), where her work focused on planning, decision making, control, behavior specification, and validation of autonomous vehicles.
Faculty host: Shuo Han, hanshuo@uic.edu
This event will be held via Zoom; please contact department for login details.
Date posted
Oct 10, 2022
Date updated
Oct 10, 2022