报告题目：Safety Design and Verification of Learning-Enabled Cyber-Physical Systems

报告人：黄超          英国利物浦大学

报告时间：2021年5月24日 13:30

报告地点：理科楼B1002

主持人：杨争峰

报告摘要：

Learning-enabled CPSs have been receiving numerous attractions from both academia and industry due to promising applications.

They often leverage machine learning techniques in their perception of the environment, and increasingly also in the consequent decision

making process for planning, navigation, control, etc. With no doubt, safety is one of the key issues before such systems are applied in practice.  In this talk, I will introduce our recent works on safety verification and design of learning-enabled systems with respect to perception,  adaptation, control and its timing impact on overall execution with theoretical guarantees. This talk aims to provide some insights  on mathematical foundation of machine learning from the perspective of formal methods.Prof. Chao Huang will join the University of Liverpool this June as a lecturer in aritificial intelligence. He is now a postdoc at the Department of Electrical and Computer Engineering (ECE) in Northwestern University.

报告人简介：

Prof. Huang received a Ph.D. and a B.E. in CS from Nanjing University in 2018 and 2011 respectively. His research interests include verification and design of intelligent systems, including Learning-Enabled Cyber-Physical Systems (LE-CPS), real-time systems, embedded systems, and various applications, such as autonomous driving and mobile robot navigation.

He has published more than 20 articles at top-tier conferences and journals on machine learning safety, e.g., CAV, HSCC, EMSOFT, FM, IJCAI, ICRA, DAC, ICCAD, TECS, TCAD. His paper at ICCAD 2020 was selected as Best Paper Candidate. He also served as a PC member on the conferences, e.g., RTSS, HSCC, SETTA.