Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components

被引:0
|
作者
Calinescu, Radu [1 ]
Imrie, Calum [1 ]
Mangal, Ravi [2 ]
Rodrigues, Genaina Nunes [3 ]
Pasareanu, Corina [2 ]
Santana, Misael Alpizar [1 ]
Vazquez, Gricel [1 ]
机构
[1] Univ York, Dept Comp Sci, York YO10 5GH, England
[2] Carnegie Mellon Univ, Moffett Field, CA 94035 USA
[3] Univ Brasilia, Dept Comp Sci, BR-70910900 Brasilia, Brazil
基金
英国工程与自然科学研究理事会;
关键词
Discrete-event controller synthesis; Markov model; deep neural network; uncertainty quantification; neuro-symbolic AI; VERIFICATION; MODELS;
D O I
10.1109/TSE.2024.3385378
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We present DeepDECS, a new method for the synthesis of correct-by-construction software controllers for autonomous systems that use deep neural network (DNN) classifiers for the perception step of their decision-making processes. Despite major advances in deep learning in recent years, providing safety guarantees for these systems remains very challenging. Our controller synthesis method addresses this challenge by integrating DNN verification with the synthesis of verified Markov models. The synthesised models correspond to discrete-event software controllers guaranteed to satisfy the safety, dependability and performance requirements of the autonomous system, and to be Pareto optimal with respect to a set of optimisation objectives. We evaluate the method in simulation by using it to synthesise controllers for mobile-robot collision limitation, and for maintaining driver attentiveness in shared-control autonomous driving.
引用
收藏
页码:1374 / 1395
页数:22
相关论文
共 50 条
  • [11] Collaborative models for autonomous systems controller synthesis
    Fraser, Douglas
    Giaquinta, Ruben
    Hoffmann, Ruth
    Ireland, Murray
    Miller, Alice
    Norman, Gethin
    FORMAL ASPECTS OF COMPUTING, 2020, 32 (2-3) : 157 - 186
  • [12] Diagnosis of normal chest radiographs using an autonomous deep-learning algorithm
    Dyer, T.
    Dillard, L.
    Harrison, M.
    Morgan, T. Naunton
    Tappouni, R.
    Malik, Q.
    Rasalingham, S.
    CLINICAL RADIOLOGY, 2021, 76 (06) : 473.e9 - 473.e15
  • [13] A Survey on Deep-Learning Approaches for Vehicle Trajectory Prediction in Autonomous Driving
    Liu, Jianbang
    Mao, Xinyu
    Fang, Yuqi
    Zhu, Delong
    Meng, Max Q. -H.
    2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (IEEE-ROBIO 2021), 2021, : 978 - 985
  • [14] Detecting Structural Components of Building Engineering Based on Deep-Learning Method
    Hou, Xueliang
    Zeng, Ying
    Xue, Jingguo
    JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT, 2020, 146 (02)
  • [15] Deep-learning seismology
    Mousavi, S. Mostafa
    Beroza, Gregory C.
    SCIENCE, 2022, 377 (6607) : 725 - +
  • [16] Deep-learning boost
    Rachel Won
    Nature Photonics, 2018, 12 : 443 - 443
  • [17] Deep-learning for microscopy
    Daryl J. V. David
    Nature Cell Biology, 2022, 24 : 1321 - 1321
  • [18] Deep-learning boost
    Won, Rachel
    NATURE PHOTONICS, 2018, 12 (08) : 443 - 443
  • [19] Deep-learning for microscopy
    David, Daryl J. V.
    NATURE CELL BIOLOGY, 2022, 24 (09) : 1321 - 1321
  • [20] Sensing, Perception and Decision for Deep Learning Based Autonomous Driving
    Yamashita, Takayoshi
    DISTRIBUTED, AMBIENT AND PERVASIVE INTERACTIONS: TECHNOLOGIES AND CONTEXTS, DAPI 2018, PT II, 2018, 10922 : 152 - 163