A safety check method for checking a neural network output state onboard a spacecraft includes executing a neural network model onboard a spacecraft, which includes calculating a neural network output based on a current navigation state of the spacecraft, propagating the navigation state with the neural network output to a next target epoch to determine a next navigation state of the spacecraft, and evaluating whether the neural network output and the next navigation state are within predetermined bounds. When the neural network output and the next navigation state are within the predetermined bounds, the method is incremented to a next tick. When the neural network output and the next navigation state are determined to be outside the predetermined bounds, a corrective action may be taken.

    L'invention concerne un procédé de vérification de sécurité pour vérifier un état de sortie de réseau neuronal à bord d'un engin spatial qui comprend l'exécution d'un modèle de réseau neuronal à bord d'un engin spatial, qui comprend le calcul d'une sortie de réseau neuronal sur la base d'un état de navigation actuel de l'engin spatial, la propagation de l'état de navigation avec la sortie de réseau neuronal vers une époque cible suivante pour déterminer un état de navigation suivant de l'engin spatial, et l'évaluation si la sortie de réseau neuronal et l'état de navigation suivant sont dans des limites prédéterminées. Lorsque la sortie du réseau neuronal et l'état de navigation suivant se trouvent dans les limites prédéterminées, le procédé est incrémenté à un prochain cycle d'horloge. Lorsque la sortie de réseau neuronal et l'état de navigation suivant sont déterminés comme étant en dehors des limites prédéterminées, une action corrective peut être prise.


    Access

    Download


    Export, share and cite



    Title :

    NEURAL NETWORK SAFETY CHECK


    Additional title:

    VÉRIFICATION DE SÉCURITÉ DE RÉSEAU NEURONAL


    Contributors:

    Publication date :

    2024-11-21


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    G06N COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS , Rechnersysteme, basierend auf spezifischen Rechenmodellen / B64G Raumfahrt , COSMONAUTICS / G05D SYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES , Systeme zum Steuern oder Regeln nichtelektrischer veränderlicher Größen / G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung



    Neural Network Safety Check

    RÉ NATHAN PARRISH / SULLIVAN TIMOTHY M / POPPLEWELL MATTHEW D et al. | European Patent Office | 2024

    Free access