报告题目:Towards the Design of Safety-Critical Cyber-Physical Systems: A Formal Approach。 基于形式化方法的信息物理系统安全防护
报告人:殷翔 副教授
主持人:李天成 教授
报告时间:2019年9月2日(周一)下午16:00
报告地点:自动化学院341会议室
报告简介:Cyber-physical systems are at the core of key infrastructure in our society. Ever-increasing demands for safety, security, and certification of these critical systems put stringent constraints on their design and necessitate the use of formal model-based approaches. This talk presents recently developed formal methodologies for analysis and control of cyber-physical systems. We focus on the design of safety-critical cyber-physical systems. We will present correct-by-construction design approach for controller synthesis. Then we will discuss how to use formal model-based approach for the purpose of fault diagnosis. Finally, we will discuss how to leverage formal techniques for security analysis of CPS.
报告人简历:
殷翔,上海交通大学自动化系副教授,博士生导师,国家“青年海外高层次人才引进计划”入选者。2012年本科毕业于浙江大学电气工程学院,2017年于美国密西根大学EECS系获得博士学位,随后加入上海交通大学。现任IEEE控制系统协会-离散事件系统委员会共同主席。主要从事信息物理系统的分析与控制、工业控制系统安全防护与故障诊断、形式化方法等领域研究。近五年在IEEE TAC和Automatica两刊发表论文24篇(长文8篇)。入选2018年度福布斯“30岁以下科技精英榜”,曾获IEEE CDC最佳论文提名奖等荣誉。