首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Verifying Robustness of Human-Aware Autonomous Cars
  • 本地全文:下载
  • 作者:Dorsa Sadigh ; S. Shankar Sastry ; Sanjit A. Seshia
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2019
  • 卷号:51
  • 期号:34
  • 页码:131-138
  • DOI:10.1016/j.ifacol.2019.01.055
  • 语种:English
  • 出版社:Elsevier
  • 摘要:AbstractAs human-robot systems make their ways into our every day life, safety has become a core concern of the learning algorithms used by such systems. Examples include semi-autonomous vehicles such as automobiles and aircrafts. The robustness of controllers in such systems relies on the accuracy of models of human behavior. In this paper, we propose a systematic methodology for analyzing the robustness of learning-based control of human-cyber-physical systems. We focus on the setting where human models are learned from data, with humans modeled as approximately rational agents optimizing their reward functions. In this setting, we provide a novel optimization-driven approach to find small deviations in learned human behavior that lead to violation of desired (safety) objectives. Our approach is experimentally validated via simulation for the application of autonomous driving.
  • 关键词:KeywordsUrban mobilityShared controlHuman-Cyber-Physical SystemsHuman-Robot InteractionAutonomous DrivingFormal Verification
国家哲学社会科学文献中心版权所有