报告一: Secure Estimation and Control in Cyber-Physical Systems

报告人: Dr. Yilin Mo
Department of Control and Dynamical Systems, California Institute of Technology

主持人: 陈积明教授
报告时间：11月28日星期四下午2:00
报告地点：浙江大学教九207会议室

报告摘要：The concept of Cyber-Physical System (CPS) refers to the embedding of sensing, communication, control and computation into the physical spaces. Today, CPSs can be found in areas as diverse as aerospace, automotive, chemical process control, civil infrastructure, energy, health-care, manufacturing and transportation, most of which are safety critical. Any successful attack to such kind of systems can cause major disruptions, leading to great economic losses and may even endanger human lives. The first-ever CPS malware (called Stuxnet) was found in July 2010 and has raised significant concerns about CPS security. The tight coupling between information and communication technologies and physical systems in CPS introduces new security concerns, requiring a rethinking and reexamining of the commonly used objectives and methods. In this talk, we provide two different cyber-physical threat models of CPS and analyze the performance of CPS under malicious attacks. We also develop new secure and resilient estimation and control algorithms to counter the attack.

报告人简介：Yilin Mo is a postdoctoral researcher in the Department of Control and Dynamical Systems at California Institute of Technology. He received his Ph.D. In Electrical and Computer Engineering from Carnegie Mellon University in 2012 and his Bachelor of Engineering degree from Department of Automation, Tsinghua University in 2007. His research interests include secure control systems and networked control systems, with applications in sensor networks.

报告二: Sustainable Internet of Things: Exploring Sustainable Embedded Systems for Green Energy Infrastructures

报告人: Prof. Ting Zhu
Department of Computer Science,State University of New York, Binghamton

主持人: 陈积明教授
报告时间：11月28日星期四下午3:00
报告地点：浙江大学教九207会议室

报告摘要：Energy is one of the most precious resources on the planet. To achieve sustainability, extensive study has been conducted on energy harvesting, conservation, and management techniques by researchers from physics, chemistry, mechanical engineering, electrical engineering, and computer science. This talk introduces a unique sustainable pathway (i.e., sustainable internet of things) from a computer science researcher’s perspective. Specifically, this talk contains two parts: (i) developing sustainable embedded systems, and (ii) utilizing embedded systems (e.g., sensor devices) to efficiently manage green energy infrastructures (i.e., smart grids).
Embedded systems (e.g., wireless sensor networks) are an active research area with numerous long-term applications including health monitoring, intelligent transportation, infrastructure protection, and scientific explorations. In the first part of this talk, I review my two sustainable embedded systems (i.e., energy synchronized system and energy shared system) from hardware layer up to operating system layer and network layer. Based on the experiences I gained from designing these two systems, I further extended my research on renewable energy management in buildings. This is because buildings account for 72% of United States electricity usage. Thus, the rest of the talk focuses on how to utilize embedded systems to monitor and control the renewable energy usage in buildings.

报告人简介：Dr. Ting Zhu is currently an assistant professor in the Department of Computer Science at the State University of New York, Binghamton. Dr. Zhu received his Ph.D. from the University of Minnesota, Twin Cities. He also holds two Master degrees: one in Computer Science and the other in Electrical Engineering. He was a recipient of the NSF Computing Innovation Fellowship in 2010. His research interests include energy-aware computing, embedded systems, network protocols and architecture, smart-grid, security, wireless sensor networks, and Big Data. In these areas, he has published a lot of papers in premier journals and conferences, including ACM/IEEE Transactions on Networking, ACM Transactions on Sensor Networks, JSAC, NSDI, MobiSys, SenSys, BuildSys, INFOCOM, ICDE, ICCPS, e-Energy, and ICNP. He served as a member of technical program committee of multiple premier conferences, including INFOCOM and ICDCS.