Reasoning about actions for spacecraft redundancy management

Matthew Barry, Richard Watson

Research output: Contribution to conferencePaper

5 Scopus citations

Abstract

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 L0, as well as a general translation from domain descriptions of L0 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.

Original languageEnglish
Pages101-112
Number of pages12
DOIs
StatePublished - 1999
EventProceedings of the 1999 IEEE Aerospace Conference - Snowmass at Aspen, CO, USA
Duration: Mar 6 1999Mar 13 1999

Conference

ConferenceProceedings of the 1999 IEEE Aerospace Conference
CitySnowmass at Aspen, CO, USA
Period03/6/9903/13/99

Fingerprint Dive into the research topics of 'Reasoning about actions for spacecraft redundancy management'. Together they form a unique fingerprint.

  • Cite this

    Barry, M., & Watson, R. (1999). Reasoning about actions for spacecraft redundancy management. 101-112. Paper presented at Proceedings of the 1999 IEEE Aerospace Conference, Snowmass at Aspen, CO, USA, . https://doi.org/10.1109/aero.1999.790194