Learning-Based Bayesian Inference for Testing of Autonomous Systems

被引:0
|
作者
Parashar, Anjali [1 ]
Yin, Ji [2 ]
Dawson, Charles [1 ]
Tsiotras, Panagiotis [2 ]
Fan, Chuchu [1 ]
机构
[1] MIT, Lab Informat & Decis Syst LIDS, Cambridge, MA 02139 USA
[2] Georgia Inst Technol, Sch Aerosp Engn, Atlanta, GA 30332 USA
来源
基金
美国国家航空航天局;
关键词
Testing; Optimization; Bayes methods; Dynamical systems; Convergence; Space exploration; Robots; Robot safety; probabilistic inference; formal methods in robotics and automation;
D O I
10.1109/LRA.2024.3455782
中图分类号
TP24 [机器人技术];
学科分类号
080202 ; 1405 ;
摘要
For the safe operation of robotic systems, it is important to accurately understand its failure modes using prior testing. Hardware testing of robotic infrastructure is known to be slow and costly. Instead, failure prediction in simulation can help to analyze the system before deployment. Conventionally, large-scale na & iuml;ve Monte Carlo simulations are used for testing; however, this method is only suitable for testing average system performance. For safety-critical systems, worst-case performance is more crucial as failures are often rare events, and the size of test batches increases substantially as failures become rarer. Rare-event sampling methods can be helpful; however, they exhibit slow convergence and cannot handle constraints. This research introduces a novel sampling-based testing framework for autonomous systems which bridges these gaps by utilizing a discretized gradient-based second-order Langevin algorithm combined with learning-based techniques for constrained sampling of failure modes. Our method can predict more diverse failures by exploring the search space efficiently and ensures feasibility with respect to temporal and implicit constraints. We demonstrate the use of our testing methodology on two categories of testing problems, via simulations and hardware experiments. Our method discovers up to 2X failures compared to na & iuml;ve Random Walk sampling, with only half of the sample size.
引用
收藏
页码:9063 / 9070
页数:8
相关论文
共 50 条
  • [31] Fast Sparse Bayesian Learning-Based Channel Estimation for Underwater Acoustic OFDM Systems
    Cho, Yong-Ho
    APPLIED SCIENCES-BASEL, 2022, 12 (19):
  • [32] Block Sparse Bayesian Learning-Based Channel Estimation for MIMO-OTFS Systems
    Zhao, Lei
    Yang, Jei
    Liu, Yueliang
    Guo, Wenbin
    IEEE COMMUNICATIONS LETTERS, 2022, 26 (04) : 892 - 896
  • [33] Bayesian Learning-based ISAC in RIS-aided MmWave Systems with Superimposed Symbols
    Gan, Xu
    Yang, Zhaohui
    Huang, Chongwen
    Zhong, Caijun
    Zhang, Zhaoyang
    2023 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS WORKSHOPS, ICC WORKSHOPS, 2023, : 1463 - 1468
  • [34] SecTL: Secure and Verifiable Transfer Learning-based inference
    Madi, Abbass
    Stan, Oana
    Sirdey, Renaud
    Gouy-Pailler, Cedric
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP), 2021, : 220 - 229
  • [35] ENIGMA: Efficient Learning-Based Inference Guiding Machine
    Jakubuv, Jan
    Urban, Josef
    INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 292 - 302
  • [36] Componentwise Holder Inference for Robust Learning-Based MPC
    Maria Manzano, Jose
    Munoz de la Pena, David
    Calliess, Jan-Peter
    Limon, Daniel
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (11) : 5577 - 5583
  • [37] MadMiner: Machine Learning-Based Inference for Particle Physics
    Brehmer J.
    Kling F.
    Espejo I.
    Cranmer K.
    Computing and Software for Big Science, 2020, 4 (1)
  • [38] DLI: A Deep Learning-Based Granger Causality Inference
    Peng, Wei
    COMPLEXITY, 2020, 2020 (2020)
  • [39] Bayesian Learning and Inference in Recurrent Switching Linear Dynamical Systems
    Linderman, Scott W.
    Johnson, Matthew J.
    Miller, Andrew C.
    Adams, Ryan P.
    Blei, David M.
    Paninski, Liam
    ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 54, 2017, 54 : 914 - 922
  • [40] Dynamic Knowledge Inference Based on Bayesian Network Learning
    Wang, Deyan
    AmrilJaharadak, Adam
    Xiao, Ying
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 2020