信息物理系统中的安全假设检验
报告专家：莫一林 副教授（清华大学）
时间：9月21星期三上午9：00-10：30
报告地点：腾讯会议：320-274-316
摘要：信息物理系统将传感、通讯、控制与计算结合，并将其嵌入到物理空间。其在航空航天，运输，流程与离散制造业，能源，医疗等等行业中都得到了广泛的应用。对大部分信息物理系统，其安全性都非常重要。对重要信息物理系统的成功攻击可能会对经济甚至是人民的生命安全造成损害。第一个针对信息物理系统的恶意软件，震网病毒，与2010年被发现。从那时开始，信息物理系统的安全就被提上了议事日程。信息系统、通讯系统与物理系统的紧密结合，对信息物理系统的安全提出了新的挑战。本演讲探讨了在存在恶意节点的情况下，信息物理系统中常见的假设检验问题。针对单步假设检验，我们给出了最优检测器的形式。针对序贯检验的问题，我们同时给出了最优的检测器和最优的攻击策略，并证明了他们形成了一个纳什均衡。
专家简介：莫一林现任清华大学自动系副教授。他于2007年在清华大学自动化系获得学士学位，2012年于美国卡内基梅隆大学电子与计算机工程系获得博士学位。加入清华大学之前，他曾于卡内基梅隆大学，加州理工学院进行博士后研究。2015年他加入了新加坡南洋理工大学电子与电机工程学院，任助理教授，2018年返回清华大学自动化系任职。曾获2022年爱思唯尔中国高被引学者。目前担任控制领域期刊Automatica的Associate Editor。他的主要研究方向包括控制系统安全与网络化控制系统，及其在智能电网、机器人与无人驾驶领域的应用。
