Real-time reasoning - The monitoring and control of spacecraft systems

Research concerned with automating the monitoring and control of spacecraft systems is discussed. In particular, the application the Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASAs space shuttle is studied. Unlike traditional monitoring and control systems, PRS is able to reason about and perform complex tasks in a very flexible and robust manner, somewhat in the manner of a human assistant. Using various RCS malfunctions as examples (including sensor faults, leaking components, multiple alarms, and regulator and jet failures), it is shown how PRS manages to combine both goal-directed reasoning and the ability to react rapidly to unanticipated changes in its environment. Some important issues in the design of PRS are reviewed, and future enhancements are indicated.