Exploring the role of simulator fidelity in the safety validation of learning-enabled autonomous systems

被引:1
|
作者
Baheri, Ali [1 ]
机构
[1] Rochester Inst Technol, Dept Mech Engn, Rochester, NY 14623 USA
基金
美国国家科学基金会;
关键词
FALSIFICATION;
D O I
10.1002/aaai.12141
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This article presents key insights from the New Faculty Highlights talk given at AAAI 2023, focusing on the crucial role of fidelity simulators in the safety evaluation of learning-enabled components (LECs) within safety-critical systems. With the rising integration of LECs in safety-critical systems, the imperative for rigorous safety and reliability verification has intensified. Safety assurance goes beyond mere compliance, forming a foundational element in the deployment of LECs to reduce risks and ensure robust operation. In this evolving field, simulations have become an indispensable tool, and fidelity's role as a critical parameter is increasingly recognized. By employing multifidelity simulations that balance the needs for accuracy and computational efficiency, new paths toward comprehensive safety validation are emerging. This article delves into our recent research, emphasizing the role of simulation fidelity in the validation of LECs in safety-critical systems.
引用
收藏
页码:453 / 459
页数:7
相关论文
共 50 条
  • [1] Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems
    Zhu, Qi
    Huang, Chao
    Jiao, Ruochen
    Lan, Shuyue
    Liang, Hengyi
    Liu, Xiangguo
    Wang, Yixuan
    Wang, Zhilu
    Xu, Shichao
    [J]. 2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 753 - 760
  • [2] Formal Specification for Learning-Enabled Autonomous Systems
    Bensalem, Saddek
    Cheng, Chih-Hong
    Huang, Xiaowei
    Katsaros, Panagiotis
    Molin, Adam
    Nickovic, Dejan
    Peled, Doron
    [J]. SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 131 - 143
  • [3] Assuring Learning-Enabled Increasingly Autonomous Systems
    Narayan, Nandith
    Ganeriwala, Parth
    Jones, Randolph M.
    Matessa, Michael
    Bhattacharyya, Siddhartha
    Davis, Jennifer
    Purohit, Hemant
    Rollini, Simone Fulvio
    [J]. 2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
  • [4] INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
    Tuncali, Cumhur Erkan
    Kapinski, James
    Ito, Hisahiro
    Deshmukh, Jyotirmoy V.
    [J]. 2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018,
  • [5] Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles
    Chen, Shengduo
    Sun, Yaowei
    Li, Dachuan
    Wang, Qiang
    Hao, Qi
    Sifakis, Joseph
    [J]. 2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2022, 2022, : 8978 - 8984
  • [6] Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems
    Tran, Hoang-Dung
    Xiang, Weiming
    Johnson, Taylor T.
    [J]. IEEE DESIGN & TEST, 2022, 39 (01) : 24 - 34
  • [7] MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
    Michael Austin Langford
    Kenneth H. Chan
    Jonathon Emil Fleck
    Philip K. McKinley
    Betty H. C. Cheng
    [J]. Software and Systems Modeling, 2023, 22 : 1543 - 1563
  • [8] Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective
    Singh, Suraj
    Hazra, Somnath
    Dey, Sumanta
    Dey, Soumyajit
    [J]. PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 270 - 275
  • [9] MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems
    Langford, Michael Austin
    Chan, Kenneth H.
    Fleck, Jonathon Emil
    McKinley, Philip K.
    Cheng, Betty H. C.
    [J]. 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021), 2021, : 182 - 193
  • [10] Design of the Safety Case of the Reinforcement Learning-enabled Component of a Quanser Autonomous Vehicle
    Sivakumar, Mithila
    Belle, Alvine B.
    Shan, Jinjun
    Odu, Oluwafemi
    Yuan, Mingfeng
    [J]. 32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 57 - 67