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.
展开▼