Safety Verification of Neural Network Controlled Systems
Résumé
In this paper, we propose a system-level approach for verifying the safety of systems combining a continuoustime physical system with a discrete-time neural network based controller. We define a generic modelling approach and an associated reachability analysis that soundly approximates the reachable states of the overall system. We illustrate our approach through a real-world use case.
Origine : Fichiers produits par l'(les) auteur(s)