学术报告:自动驾驶技术及安全模型

题目:自动驾驶技术及安全模型

主讲人:吉建民 副教授 中国科学技术大学

日期:2018年11月23日(星期五)

时间:上午9:30- 10:30

地点:太阳城娱乐城 A201

主持:万海 副教授

摘要

自动驾驶汽车从根本上改变了传统的“人 - 车 - 路”闭环控制模式,这是一种通过车载传感系统感知道路环境的智能车,自动规划行车路线,并控制车辆达到预定目标。为了适应中国相对复杂的道路交通环境,消除自动驾驶车辆公路行车的交通安全隐患,自动驾驶汽车应进行严格的环境适应性和技术安全性试验。然而,道路试验和模拟的安全测试方法不能使自动驾驶系统达到期望的安全水平。安全规则可视为自动驾驶规则,确保车辆行为决策的安全性。目前,正式方法通过模型抽象,安全规则定义和安全规则性质证明来证明一组安全规则的可行性。

个人介绍

纪建民,男,1984年出生,博士,中国科学技术大学副教授。他于2005年毕业于中国科学技术大学计算机科学系。他获得了博士学位。 2010年获得中国科学技术大学计算机应用。随后,他在香港科技大学计算机科学与工程系担任博士后研究员。他目前在中国科技大学计算机科学与技术学院工作。代理系统实验室。主要研究方向:知识表示与推理,智能机器人控制。参与智能服务机器人项目——科大“科嘉”项目的重要成员。他曾担任IJCAI,KR,AAAI,ICLP,AAMAS等国际人工智能会议的评审员,并担任AAAI-2011,IJCAI-2011计划委员会的成员。在过去三年中,他在国际会议和期刊上发表了许多论文,并共同翻译了一本书。