Invited Speaker

June 30th 18:00-18:30

Toward High-Assurance Learning-Enabled Cyber-Physical Systems

Insup Lee, PRECISE Center,Department of Computer and Information Science, University of Pennsylvania

Learning-Enabled Cyber-Physical Systems are becoming increasingly essential to society. Many advances have been made in the last decade in constructing autonomous Cyber-Physical Systems (CPS), as evidenced by the proliferation of unmanned systems in air, ground, and sea. These advances have been driven by innovations in several areas, such as computing platform technologies, control theory, design methods and tools, machine learning, modeling, and simulation technologies, among others. In particular, machine learning provides a potentially revolutionary way of extracting functionalities needed for higher-level autonomy. Unfortunately, our current lack of understanding of when and how machine learning works makes it challenging to provide guarantees for learning-enable components in safety-critical systems. Despite this limitation, given the impressive experimental results of machine learning, researchers have quickly incorporated learning in perception-action loops, even in driverless cars and aerial vehicles, where the safety requirements are very high. This has resulted in unreliable behavior and public failures (e.g., Tesla and drone crashes, Uber running a red light) that may lead to a loss of trust in autonomy.

There are many challenges in developing autonomous Learning-Enabled CPS that are safe and secure. This talk will present assurance problems, challenges, and techniques. They include safety verification of closed-loop systems with neural network components, confidence estimation and composition at runtime, assumption monitoring and checking of CPS, Out-of-Distribution (OOD) detection and adversarial digital and physical attack detection, and CPS checkpointing and recovery.

Prof.Insup Lee, PRECISE Center,Department of Computer and Information Science, University of Pennsylvania
Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center since 2008 at the University of Pennsylvania. He also holds a secondary appointment in the Department of Electrical and Systems Engineering. His research interests include cyber-physical systems (CPS), real-time systems, embedded systems, high-confidence medical device systems, formal methods and tools, run-time verification, and adversarial learning. The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. His papers received the nine best conference paper awards. Recently, he has been working in Internet of Medical Things, security of cyber physical systems, and safe autonomy.
He has served on many program committees, chaired many international conferences and workshops, and served on various steering and advisory committees of technical societies. He is founding co-Editor-in-Chief of ACM Transactions on Computing for Healthcare (HEALTH, 2018) and was founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE, 2007). He has also served on the editorial boards on the several scientific journals, including Journal of ACM, ACM Transactions on Cyber-Physical Systems, IEEE Transactions on Computers, Formal Methods in System Design, and Real-Time Systems Journal. He was founding Co-Director of Penn Health Tech (2017-2020). He was Chair of ACM Special Interest Group on Embedded Systems (SIGBED, 2015-2019) and Chair of IEEE TC on Real-Time Systems (TCRTS, 2003-2004). He was a member of Technical Advisory Group (TAG) of President’s Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (2006-2007). He was a member of the National Research Council’s committee on 21st Century Cyber-Physical Systems Education (2014-2015). He received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008. He received an appreciation award from Ministry of Science, IT and Future Planning, South Korea in 2013. His work received the Runtime Verification (RV) Test-of-Time award in 2019. He received ACM SIGBED Distinguished Leadership Award in 2022 and IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Distinguished Leadership Award in 2023. He is ACM fellow, IEEE fellow and AAAS fellow.