Your browser is unsupported

We recommend using the latest version of IE11, Edge, Chrome, Firefox or Safari.

Sep 30 2022

Establishing correctness of learning-based autonomous systems


September 30, 2022

11:00 AM - 12:00 PM



Establishing 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,

This event will be held via Zoom; please contact department for login details.


ECE Student Affairs

Date posted

Oct 10, 2022

Date updated

Oct 10, 2022