讲座主题：
AI for and against CPS
主讲人姓名及介绍：
孙军是新加坡管理大学的副教授。于2002年和2006年获得新加坡国立大学计算机科学学士学位和博士学位。于2007年，获得了享有盛名的LEE KUAN YEW博士后奖学金。研究方向包括软件工程，形式方法，程序分析和网络安全。
报告摘要：
信息物理系统（CPS）由传感器，执行器和控制器组成，它们全部通过网络进行通信。 如果任何子集遭到破坏，一个攻击者便可以造成重大的损失。 通过访问数据日志和CPS模型，可以在造成任何损害之前检测到攻击的物理影响。 但是，手动构建实际上足够准确的模型非常困难。在本讲座中，我将讨论自动构造CPS不变性的新方法。 该方法在系统中植入有缺陷的软件组件（“突变体”）获得的数据跟踪之后，用有监督的机器学习方法来构建新模型。
