新闻中心

【软件讲坛】美国西北大学黄超博士后来访我院

发布时间:2019-05-17 08:45:40 发布者:学生科(钟) 作者: 查看:182

应智能信息技术实验室博士生导师江维副教授的邀请,5月16日,美国西北大学的黄超博士后莅临我院,并做了在时间扰动和神经网络控制器下的汽车电子系统的安全验证方面的专题讲座。

黄超博士首先针对汽车电子系统提出了三种可能的扰动类型:系统的状态扰动、时间扰动以及输入样本扰动。在其报告中,对于具有时间扰动的系统,需要考虑考虑“弱-硬约束模型”,这样得到了保证系统安全的充分条件。对于神经网络控制系统,利用Bernstein多项式抽象了前馈神经网络控制器,并提出了两种估计逼近分类边界的方法。该方法结合正向可达性分析,可以计算出具有精确误差边界的神经网络控制系统的可达集。最后,黄超博士与老师、同学们讨论并总结了该数学模型的进步与不足,并展望了在未来的应用与研究。

智能信息技术实验室詹瑾瑜副教授和相关学生参加了本次的专题讲座,并提出了许多有意义且具有探讨性的问题,黄超博士也对每个问题都做出了详细的解答。

  本次活动由信息与软件工程学院主办,智能信息技术实验室研究生党支部承办。

嘉宾简介:

  黄超是美国西北大学电子与计算机工程系朱祺教授的博士后。黄博士分别于2018年和2011年在南京大学获得哲学博士学位和理学学士学位。他的研究兴趣包括网络物理系统(CPS)、物联网、嵌入式和实时系统的综合与验证。他的论文被IJCAI、FM EMSOFT、HSCC等会议录用。并且他担任IJCAI 19的审稿员。


秒速时时彩