【自动化学院南山青年快乐炸金花棋牌论坛】快乐炸金花棋牌报告通知(第二十三讲)-快乐炸金花_棋牌游戏平台_精品游戏平台
【自动化学院南山青年快乐炸金花棋牌论坛】快乐炸金花棋牌报告叮嘱(第二十三讲)
2019-08-29 09:17   自动化学院 审核人:   (点击: )

报告标题问题: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最佳论文提名奖等荣誉。

封锁窗口