報(bào)告題目：Towards the Design of Safety-Critical Cyber-Physical Systems: A Formal Approach。 基于形式化方法的信息物理系統(tǒng)安全防護(hù)
報(bào)告人：殷翔 副教授
主持人：李天成 教授
報(bào)告時(shí)間：2019年9月2日（周一）下午16:00
報(bào)告地點(diǎn)：自動(dòng)化學(xué)院341會(huì)議室
報(bào)告簡(jiǎn)介：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.
報(bào)告人簡(jiǎn)歷：
殷翔，上海交通大學(xué)自動(dòng)化系副教授，博士生導(dǎo)師，國(guó)家“青年海外高層次人才引進(jìn)計(jì)劃”入選者。2012年本科畢業(yè)于浙江大學(xué)電氣工程學(xué)院，2017年于美國(guó)密西根大學(xué)EECS系獲得博士學(xué)位，隨后加入上海交通大學(xué)?，F(xiàn)任IEEE控制系統(tǒng)協(xié)會(huì)-離散事件系統(tǒng)委員會(huì)共同主席。主要從事信息物理系統(tǒng)的分析與控制、工業(yè)控制系統(tǒng)安全防護(hù)與故障診斷、形式化方法等領(lǐng)域研究。近五年在IEEE TAC和Automatica兩刊發(fā)表論文24篇（長(zhǎng)文8篇）。入選2018年度福布斯“30歲以下科技精英榜”，曾獲IEEE CDC最佳論文提名獎(jiǎng)等榮譽(yù)。
