Managing space system anomalies using first principles reasoning

This paper discusses the development of a theory of anomaly management that uses fundamental models of a system's structure, behavior, and intended use to support the detection of symptoms, the computation of possible diagnoses, and the generation of resolution actions. A software-based reasoning system based on this theory was implemented and applied to the configuration control of a space system consisting of an on-orbit satellite and a geographically distributed network of ground communication and control stations. This system was found to promote a formal and systematic analysis of possibilities when managing configuration anomalies in the Sapphire space system. This approach can be extended to more complex systems through future optimization of the processing implementation and through incorporation of other innovations such as dynamic and hierarchical modelling

[1]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[2]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[3]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[4]  Christopher Kitts,et al.  Beacon Monitoring: Reducing the Cost of Nominal Spacecraft Operations , 1998 .

[5]  E. Hansen,et al.  Citizen Explorer-the application of an innovative mission operations system , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[6]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[7]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[8]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[9]  Amy Stephan,et al.  Modeling Power Systems for Diagnosis: How Good is Good Enough? , 1992 .

[10]  Michael Swartwout,et al.  Persistence-based production rules for on-board satellite automation , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[11]  Michael Swartwout,et al.  EXPERIMENTAL INITIATIVES IN SPACE SYSTEM OPERATIONS , 1997 .

[12]  John M. Rushby,et al.  Model-Based Reconfiguration: Toward an Integration with Diagnosis , 1991, AAAI.

[13]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[14]  Georg Gottlob,et al.  Formalizing the repair process — extended report , 2005, Annals of Mathematics and Artificial Intelligence.

[15]  Chris Kitts,et al.  Surf, turf, and above the Earth [robotics education] , 2003, IEEE Robotics Autom. Mag..

[16]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[17]  Christopher A. Kitts,et al.  A Distributed Satellite Operations Testbed for Anomaly Management Experimentation , 2004 .

[18]  Thomas Bak,et al.  Autonomous attitude determination and control system for the Orsted satellite , 1996, 1996 IEEE Aerospace Applications Conference. Proceedings.

[19]  Herbert Hecht,et al.  Space Logistics and Reliability , 1991 .

[20]  Georg Gottlob,et al.  Formalizing the repair process , 1992 .

[21]  Richard J. Doyle,et al.  Focused Real-time Systems Monitoring Based on Multiple Anomaly Models , 2003 .

[22]  Carmine Borrelli,et al.  The Space Industry , 2007 .

[23]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[24]  FunctionsDennis DeCosteMonitoring.  Automated Learning and Monitoring of Limit , 1997 .

[25]  Hwee Tou Ng,et al.  Model-based, multiple fault diagnosis of time-varying, continuous physical devices , 1990, Sixth Conference on Artificial Intelligence for Applications.

[26]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[27]  G. M. Brown,et al.  Attitude and articulation control for the Cassini spacecraft: a fault tolerance overview , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[28]  Christopher Adam Kitts.  Theory and experiments in model-based space system anomaly management , 2005 .