Title :
Fault diagnosis based on continuous simulation models
Author :
Feyock, Stefan ; Meyers, Randall P.
Author_Institution :
Dept. of Comput. Sci., College of William & Mary, Williamsburg, VA, USA
Abstract :
Reasoning about physical systems from first principles, whether for purposes of explanation, prediction, or fault diagnosis, requires the reasoner to have available a model of the subject system. A novel approach, based on predicate transformers, to deep reasoning about actual systems on the basis of continuous simulation models of these systems is described. An application to the diagnosis of a malfunctioning Aerobee rocket attitude control system is presented
Keywords :
aerospace control; fault location; inference mechanisms; rockets; simulation; Aerobee rocket; attitude control system; continuous simulation models; fault diagnosis; inference mechanisms; predicate transformers; reasoning; Biological system modeling; Computational modeling; Computer science; Computer simulation; Fault diagnosis; NASA; Predictive models; Rockets; Springs; Transformers;
Conference_Titel :
AI, Simulation and Planning in High Autonomy Systems, 1991. Integrating Qualitative and Quantitative System Knowledge, Proceedings of the Second Annual Conference on
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-8186-2162-1
DOI :
10.1109/AIHAS.1991.138462
