Design Automation of Cyber-Physical Systems: from Cars to Buildings

报告题目:Design Automation of Cyber-Physical Systems: from Cars to Buildings

报告人:Qi Zhu  Assistant Professor

主持人:陈铭松 教授报告时间:6 月 15 日上午10:00-11:30

报告地点:中北校区数学馆201


报告摘要: 

Cars, airplanes, buildings, robots, …… , in many domains, cyber-physical systems have become pervasive, where control and computation applications implemented on embedded platforms interact with mechanical components, physical environment and humans. However, designing such systems faces tremendous challenges from the fast increase of system scale and heterogeneity, the close interaction with dynamic environment and human activities, the employment of distributed architectural platforms, and the stringent requirements on various design metrics. To address these challenges, a new set of design automation methods and tools are needed for the modeling, synthesis and verification of cyber-physical systems. 

In this talk, I will discuss some of the unique challenges in CPS design, and present our work on model-based design and synthesis of automotive electronic systems and energy-efficient buildings. In particular, I will introduce a software synthesis framework for generating correct, predictable and efficient software implementations from functional models, while addressing system metrics including safety, security, control performance, fault tolerance, reliability and extensibility. I will also briefly talk about our work on cross-layer design for CPS security, and energy-efficient building management and its integration with grid-level optimization.

报告人简介:

Dr. Qi Zhu is an Assistant Professor at the Department of Electrical and Computer Engineering in University of California, Riverside. Prior to joining UCR, Dr. Zhu was a research scientist at the Strategic CAD Labs in Intel from 2008 to 2011. Dr. Zhu received a Ph.D. in EECS from University of California, Berkeley in 2008, and a B.E. in CS from Tsinghua University in 2003. His research interests include model-based design and software synthesis for cyber-physical systems, CPS security, energy-efficient buildings and infrastructures, and system-on-chip design. He received the National Science Foundation (NSF) CAREER award in 2016. He received best paper awards at the Design Automation Conference (DAC) 2006, DAC 2007, International Conference on Cyber-Physical Systems (ICCPS) 2013, and ACM Transactions on Design Automation of Electronic Systems (TODAES) 2016. Dr. Zhu has served on the technical program committees and as session organizer and chair for a number of international conferences, including DAC, ICCAD, DATE, ASP-DAC, CODES+ISSS, RTSS, RTAS, SAC, SIES, MEMOCODE, etc. He is a member and the education committee chair of the IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS). He received the ACM SIGDA Service Award in 2015.

©2016 华东师范大学高可信计算重点实验室