Monday, February 25, 2019
Location: 100 Hancock Hall
Time: 4:00 p.m.
Faculty Host: Dr. Craig Woolsey

Abstract: Cyber-Physical Systems that interconnect continuous physical processes and discrete controlling embedded computers by a complex communication network appear in almost every aspect of daily life: transportation, energy, medical systems, and food production. In this talk, I will address the challenges of developing mathematically rigorous frameworks and computationally feasible algorithms for the synthesis, analysis, and verification of attack-resilient, privacy-guarantee, and secure cyber-physical systems. First, I will present new controllability theorems for discrete event systems under regular-rewriting attacks with or without occasional authentications. Then, I will give several results on the trade-off between differential privacy and performance, as well as optimal mechanisms in distributed dynamical systems. Finally, I will introduce a novel framework for verifying cyber-physical systems via model reduction and statistical algorithms.

Bio: Yu Wang is a Postdoctoral Associate in the Department of Electrical and Computer Engineering at Duke University. He received his Ph.D. degree in Mechanical Engineering and his M.S. degrees in Statistics, Mathematics, and Mechanical Engineering from the University of Illinois at Urbana-Champaign in 2018, 2017, 2016 and 2014, respectively. Before that, he received his B.S. degree in Engineering Mechanics from the School of Aerospace at Tsinghua University in 2012.