Sequential decision-making problems can be modeled as Markov decision processes and solved with value iteration to produce a table of values. However, the numeric table can be too large to deploy in systems using limited or legacy hardware with memory constraints. Neural networks have been suggested as a way to significantly compress the data while still preserving performance. Because simulations evaluate only a finite number of inputs, simulations are not sufficient to guarantee that a continuous neural network function will perform safely for all possible inputs. This paper presents a methodology for providing safety guarantees when using neural network representations of decision-making systems. This methodology uses the neural network verification tool ReluVal to determine the actions available in regions of the state space. With the action space restricted, a conservative overapproximation of the system dynamics is used to ensure that unsafe regions of the state space are unreachable. Experiments with example systems inspired by the ACAS X family of aircraft collision avoidance systems show that neural networks giving either horizontal or vertical maneuvers can be proven safe. In addition, constraints on aircraft dynamics are relaxed to compute the uncertainty tolerated before safety is compromised. The reachability method is flexible and can incorporate uncertainties such as pilot delay and sensor error. These results suggest that the method could be used in the future to certify neural network collision avoidance systems for use in real aircraft.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Reachability Analysis for Neural Network Aircraft Collision Avoidance Systems


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2021-02-22


    Format / Umfang :

    11 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Deep Neural Network Compression for Aircraft Collision Avoidance Systems

    Julian, Kyle D. / Kochenderfer, Mykel J. / Owen, Michael P. | AIAA | 2018



    AIRCRAFT COLLISION AVOIDANCE SYSTEM

    ZIV AV AMIR / BAR-ON MICHAEL | Europäisches Patentamt | 2023

    Freier Zugriff

    AIRCRAFT COLLISION AVOIDANCE SYSTEM

    ZIV AV AMIR / BAR-ON MICHAEL | Europäisches Patentamt | 2021

    Freier Zugriff

    Aircraft Collision Avoidance System

    Belkin, V.V. / Yanovsky, F.J. | IEEE | 2007