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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    NEURAL NETWORK SAFETY CHECK


    Weitere Titelangaben:

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


    Beteiligte:
    RÉ NATHAN (Autor:in) / SULLIVAN TIMOTHY (Autor:in) / POPPLEWELL MATTHEW (Autor:in) / HANF TYLER (Autor:in)

    Erscheinungsdatum :

    21.11.2024


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    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. | Europäisches Patentamt | 2024

    Freier Zugriff