The presence of particular faults in a machine is determined using constraint suspension and Qualitative Physics by propagating values indicative of received machine signals through a subset of model variables that are either unrestricted or partially restricted. The implicants of each value assigned...http://www.google.com/patents/US5604841?utm_source=gb-gplus-sharePatent US5604841 - Hierarchical restructuring generic test templates and reusable value spaces for machine failure isolation using qualitative physics
Hierarchical restructuring generic test templates and reusable value spaces ...
