Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
Not on the map. Why?
Abstract (arXiv)
There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and measurement noise. A robustly stable interval observer is designed to generate sound and precise lower and upper bounds for the neural network, nonlinear function, and system state. The obtained interval is utilised to monitor the real-time system safety and detect faults in the system outputs or actuators. An adaptive cruise control vehicular system is simulated to demonstrate effectiveness of the proposed design.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 12 of its 21 references that are in the map. First posted on arXiv 24 Mar 2024.
Builds on
12 of 21 references.
References · 12
- 2019Algorithms for Verifying Deep Neural Networkscited by 221
- 2021Activation Functions in Deep Learning: A Comprehensive Survey and Benchmarkcited by 155
- 2019Branch and Bound for Piecewise Linear Neural Network Verificationcited by 138
- 2017An approach to reachability analysis for feed-forward ReLU neural networkscited by 127
- 2020Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programmingcited by 43
- 2021Reachability Analysis of Neural Feedback Loopscited by 41
- 2021OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systemscited by 38
- 2020Perception and Navigation in Autonomous Systems in the Era of Learning: A Surveycited by 30
- 2020Stability and feasibility of neural network-based controllers via output range analysiscited by 10
- 2022Safety Verification of Neural Feedback Systems Based on Constrained Zonotopescited by 7
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systemscited by 6
- 2021Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systemscited by 2
Built on by
Not cited yet.