内容摘要：

In this talk, we will discuss several case studies of data-driven and model-based approaches to enabling intelligent infrastructure. Specifically, we will discuss how to analyze cyber-physical systems affected by random processes against deterministic performance requirements using power substation automation systems as an example. The research was initiated from discussions with industry collaborators when they were helping their customers to modernize substation automation systems for smart grid applications by adopting international standard IEC (International Electro-technical Commission) 61850. I’ll also discuss case studies of real-time bridge monitoring and underground sensing.

主讲人介绍：

Liang Cheng's research is geared toward enabling smarter cities based on the convergence of real-time sensing, model-driven data analytics, and machine learning through inter-disciplinary projects. He has served as an expert reviewer for projects/grant proposals/panels for programs in U.S. such as NSF, DOE, NIH (National Institute of Health), and GENI (Global Environment for Network Innovations), and in Europe such as The Knowledge Foundation and Austrian Science Fund. Prof. Cheng has advised six Ph.D. students to their graduation and supervised two postdocs in Computer Science and Engineering at Lehigh University. He was a keynote speaker at IEEE International Conference on the Edges of Innovation for Smarter Cities, 2015. He was a Visiting Professor at TU Dortmund, Germany and University of Science and Technology of China during his sabbatical year. More information about his research and scholarship can be found at http://liangcheng.info/.