报告摘要：Trust in cyber-physical systems (CPS) has become increasingly important as systems are being designed to operate with more autonomy in safety-critical applications.  Trustworthy systems must deal with uncertainties that arise at runtime. Traditional control theory has focused on using feedback to compensate for uncertainties in the physical world. This talk considers the role of control theory in addressing uncertainties encountered in the cyber dimensions of CPS. We consider cyber-attacks that can modify the run-time code and present recent work on the application of so-called software rejuvenation to provide safety and liveness guarantees in the presence of these types of vulnerabilities. The approach is illustrated for the control of a quadrotor.

演讲人简历：Bruce Krogh is professor emeritus of electrical and computer engineering at Carnegie Mellon University and founding director of Carnegie Mellon University-Africa, a branch of Carnegie Mellon University’s College of Engineering in Kigali, Rwanda.  He is currently a researcher at the CMU Software Engineering Institute.  Throughout his career, Professor Krogh’s research has focused on the integration of computation, communication and control in a number of areas, including robotics, manufacturing, and energy management systems.  He has served as an editor for several journals and conference proceedings and was founding Editor-in-Chief of the IEEE Transactions on Control Systems Technology.  Professor Krogh received the Presidential Young Investigator Award from the U.S. National Science Foundation and the Senior U.S. Scientist Award from the Alexander von Humboldt Foundation in Germany.  He is a Distinguished Member the Institution of Electrical and Electronics Engineers (IEEE) Control Systems Society and a Life Fellow of IEEE.

欢迎广大研究生参加，也欢迎导师莅临指导。

联系人：赵千川 zhaoqc@tsinghua.edu.cn