University of Illinois at Urbana-Champaign
Tuesday, May 15, 2018, 10 AM
ECE, Room 125E
Talk abstract: Cyber-physical systems, which 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 present two of my works that seek to address the challenges of developing mathematically rigorous frameworks and computationally feasible algorithms for the synthesis, analysis, and verification of privacy-guarantee and secure cyber-physical systems. In the first part, I will introduce a novel framework for statistical verification of cyber-physical systems via model reduction, together with computationally feasible algorithms. In the second part, I will present the trade-off between privacy and performance in the design of differentially private communication algorithms in multi-agent systems and the optimality of a class of Laplace-noise-adding mechanism in the unbiased estimation of the private data under different statistical and information-theoretic measures.