Analysis of neural network takeover-time predictions for shared-control autonomous driving

C. Pasareanu
{"title":"Analysis of neural network takeover-time predictions for shared-control autonomous driving","authors":"C. Pasareanu","doi":"10.1145/3459086.3459630","DOIUrl":null,"url":null,"abstract":"Autonomous driving systems may encounter situations where it is necessary to transfer control to the human driver, for instance when encountering unpredictable dangerous road conditions. To be able to do so safely, the autonomous system needs an estimate of how long it will take for the human driver to take control of the vehicle. A neural network can be used for making such predictions. However ensuring that such a neural network can be used in safety-critical situations is very challenging. We discuss our recent efforts for building, analysing and formally verifying a neural network built for predicting takeover time in a shared-control autonomous driving system. The network was trained on data collected from a (semi-) autonomous driving simulator. We evaluated several techniques for the analysis of the neural network as follows. We performed robustness and sensitivity analysis for the neural network, using the Marabou formal verification tool. We evaluated off-the-shelf attribution tools to determine the important features upon which the neural network makes its predictions. We investigated trust and confidence analysis to better understand the neural network outputs. And finally, we performed adversarial training to improve the quality of the neural network. We discuss our results and outline directions for future work.","PeriodicalId":127610,"journal":{"name":"Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2021-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3459086.3459630","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Autonomous driving systems may encounter situations where it is necessary to transfer control to the human driver, for instance when encountering unpredictable dangerous road conditions. To be able to do so safely, the autonomous system needs an estimate of how long it will take for the human driver to take control of the vehicle. A neural network can be used for making such predictions. However ensuring that such a neural network can be used in safety-critical situations is very challenging. We discuss our recent efforts for building, analysing and formally verifying a neural network built for predicting takeover time in a shared-control autonomous driving system. The network was trained on data collected from a (semi-) autonomous driving simulator. We evaluated several techniques for the analysis of the neural network as follows. We performed robustness and sensitivity analysis for the neural network, using the Marabou formal verification tool. We evaluated off-the-shelf attribution tools to determine the important features upon which the neural network makes its predictions. We investigated trust and confidence analysis to better understand the neural network outputs. And finally, we performed adversarial training to improve the quality of the neural network. We discuss our results and outline directions for future work.
共享控制自动驾驶的神经网络接管时间预测分析
自动驾驶系统可能会遇到需要将控制权移交给人类驾驶员的情况,例如遇到不可预测的危险路况时。为了能够安全地做到这一点,自动驾驶系统需要估计人类驾驶员需要多长时间才能控制车辆。神经网络可以用来做这样的预测。然而,确保这种神经网络可以用于安全关键情况是非常具有挑战性的。我们讨论了我们最近在构建、分析和正式验证用于预测共享控制自动驾驶系统接管时间的神经网络方面所做的努力。该网络是根据从(半)自动驾驶模拟器收集的数据进行训练的。我们评估了几种用于分析神经网络的技术,如下所示。我们使用Marabou形式化验证工具对神经网络进行鲁棒性和敏感性分析。我们评估了现成的归因工具,以确定神经网络做出预测的重要特征。我们研究了信任和信心分析,以更好地理解神经网络的输出。最后,我们进行了对抗性训练来提高神经网络的质量。我们讨论了我们的结果,并概述了未来工作的方向。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信