AI software is often used as a means for providing greater autonomy to automated systems, capable of coping with harsh and unpredictable environments. Due in part to the enormous space of possible situations that they aim to addrs, autonomous systems pose a serious challenge to traditional test-based verification approaches. Efficient verification approaches need to be perfected before these systems can reliably control critical applications. This publication describes Livingstone PathFinder (LPF), a verification tool for autonomous control software. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the controller embedded in a simulated operating environment. Although LPF has focused on NASA s Livingstone model-based diagnosis system applications, the architecture is modular and adaptable to other systems. This article presents different facets of LPF and experimental results from applying the software to a Livingstone model of the main propulsion feed subsystem for a prototype space vehicle.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder


    Beteiligte:
    Lindsey, A. E. (Autor:in) / Pecheur, Charles (Autor:in)

    Kongress:

    Tools and Algorithms for the Construction and Analysis of Systems


    Erscheinungsdatum :

    01.01.2004


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Mars Pathfinder Surface Operations Verification

    Harris, Jennifer A. | NTRS | 1997



    Thermal Test Verification of the Performance of LISA Pathfinder

    Barraclough, Simon / Smith, Katy / Fishwick, Nick et al. | AIAA | 2011


    Pathfinder: Overview

    Hudson, Wayne R. / Mankins, John / Anderson, John L. | NTRS | 1988


    Mars pathfinder

    Kubota, T. | British Library Online Contents | 1997