By Topic

Reasoning about actions for spacecraft redundancy management

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
M. Barry ; United Space Alliance LLC, Hpuston, TX, USA ; R. Watson

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

Published in:

Aerospace Conference, 1999. Proceedings. 1999 IEEE  (Volume:5 )

Date of Conference: