Claviere, Arthur and Asselin, Eric and Garion, Christophe
and Pagetti, Claire
Safety Verification of Neural Network Controlled Systems.
(2021)
In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 21 June 2021 - 24 June 2021 (Tapei, Taiwan, Province Of China).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 438kB |
Official URL: https://doi.org/10.1109/DSN-W52860.2021.00019
Abstract
In this paper, we propose a system-level approach for verifying the safety of systems combining a continuous-time 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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Thanks to the IEEE (Institute of Electrical and Electronics Engineers). This paper is available at : https://ieeexplore.ieee.org/document/9502456“© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE) Other partners > Collins Aerospace (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 07 Jan 2022 13:14 |
Repository Staff Only: item control page
