We present an application of action description languages to spacecraft operational redundancy management problems. In these problems we concern ourselves with the identification and execution of operator actions that - in response to some loss of spacecraft functionality-regain equivalent functionality or reduce exposure to subsequent faults. Action languages allow one to represent such actions and reason about their effects on the domain. We describe the syntax and semantics of the action language /spl Lscr//sub 0/, as well as a general translation from domain descriptions of /spl Lscr//sub 0/ to logic programming. We demonstrate the feasibility of this approach using realistic complex domain models for the Space Shuttle orbiter's orbital maneuvering system and reaction control system. Computational examples are given which demonstrate reasonable response times for typical queries.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Reasoning about actions for spacecraft redundancy management


    Beteiligte:
    Barry, M. (Autor:in) / Watson, R. (Autor:in)


    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    797363 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Reasoning About Actions for Spacecraft Redundancy Management

    IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1999




    Redundancy for electric motors in spacecraft applications

    Smith, Robert J. / Flew, Alastair R. | NTRS | 1986