FAULT DIAGNOSIS
First Claim
1. A diagnosis engine (100) for estimating a status of an entity (150, 200) with a plurality of components (c1, . . . , cn) which each is assumed to be in a fault-free mode or be in exactly one of at least one fault mode, the diagnosis engine (100) comprising a processing unit (110) adapted to receive diagnostic expressions (D, E) indicating at least one of said modes for at least one of said components (c1, . . . , cn), and generate a status report (R[Q]) based on the diagnostic expressions (D, E), wherein the diagnosis engine (100) comprises:
- a first storage area (120) adapted to store a first listing (D) of diagnostic expressions (D1, . . . , Dn) constituting a first part of said diagnostic expressions, and store a second listing (E) of diagnostic expressions (E1, . . . , Em) constituting a second part of said diagnostic expressions, and a second storage area (130) adapted to store a listing of enhanced diagnostic expressions (Q) indicating at least one of said modes for at least one of said components (c1, . . . , cn), and the processing unit (110) is adapted to;
receive said first listing (D), receive said second listing (E), store the first and second listings (D;
E) in the first storage area (120), create an empty listing of enhanced diagnostic expressions (Q) by clearing any contents of the second storage area (130), and thereafter, for each combination of diagnostic expressions (Di, Ej) in the first and second listings (D;
E), generate a current joint diagnostic expression (Qnew) representing a conjunction of a first diagnostic expression (Di) from the first listing (D) and a second diagnostic expression (Ej) from the second listing (E), compare the current joint diagnostic expression (Qnew) with each diagnostic expression in the listing of enhanced diagnostic expressions (Q) stored in the second storage area (130), discard the current joint diagnostic expression (Qnew), if there exists a previous expression (Qk) in the listing of enhanced diagnostic expressions (Q), and the current joint diagnostic expression (Qnew) implies the previous expression (Qk), discard the current joint diagnostic expression (Qnew), if there exists a first diagnostic expression (Dk) in the first listing (D), the first diagnostic expression (Dk) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the first diagnostic expression (Dk), discard the current joint diagnostic expression (Qnew) if there exists a second diagnostic expression (Ek) in the second listing (E), the second diagnostic expression (Ek) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the second diagnostic expression (Ek), otherwise store the joint diagnostic expression (Qnew) as an addition to the listing of enhanced diagnostic expressions (Q) in the second storage area (130), and generate a status report (R[Q]) based on the listing of enhanced diagnostic expressions (Q).
1 Assignment
0 Petitions
Accused Products
Abstract
Status of an entity having a plurality of components is determined from a listing of enhanced diagnostic expressions. For each combination of diagnostic expressions, a current joint diagnostic expression is generated representing a conjunction of first and second diagnostic expressions from respective first and second received listings. This expression is compared with each diagnostic expression in a generated listing of enhanced diagnostic expressions, and is discarded if: there exists a previous expression in the listing that implies the previous expression or there exists either a first or second diagnostic expression in the respective first or second listing that has not yet been included in a joint diagnostic expression and the current joint diagnostic expression implies either the first or second diagnostic expression. Any other joint diagnostic expressions are stored in the listing of enhanced diagnostic expressions. A status report is generated based on the listing of enhanced diagnostic expressions.
21 Citations
13 Claims
-
1. A diagnosis engine (100) for estimating a status of an entity (150, 200) with a plurality of components (c1, . . . , cn) which each is assumed to be in a fault-free mode or be in exactly one of at least one fault mode, the diagnosis engine (100) comprising a processing unit (110) adapted to receive diagnostic expressions (D, E) indicating at least one of said modes for at least one of said components (c1, . . . , cn), and generate a status report (R[Q]) based on the diagnostic expressions (D, E), wherein the diagnosis engine (100) comprises:
-
a first storage area (120) adapted to store a first listing (D) of diagnostic expressions (D1, . . . , Dn) constituting a first part of said diagnostic expressions, and store a second listing (E) of diagnostic expressions (E1, . . . , Em) constituting a second part of said diagnostic expressions, and a second storage area (130) adapted to store a listing of enhanced diagnostic expressions (Q) indicating at least one of said modes for at least one of said components (c1, . . . , cn), and the processing unit (110) is adapted to;
receive said first listing (D), receive said second listing (E), store the first and second listings (D;
E) in the first storage area (120),create an empty listing of enhanced diagnostic expressions (Q) by clearing any contents of the second storage area (130), and thereafter, for each combination of diagnostic expressions (Di, Ej) in the first and second listings (D;
E),generate a current joint diagnostic expression (Qnew) representing a conjunction of a first diagnostic expression (Di) from the first listing (D) and a second diagnostic expression (Ej) from the second listing (E), compare the current joint diagnostic expression (Qnew) with each diagnostic expression in the listing of enhanced diagnostic expressions (Q) stored in the second storage area (130), discard the current joint diagnostic expression (Qnew), if there exists a previous expression (Qk) in the listing of enhanced diagnostic expressions (Q), and the current joint diagnostic expression (Qnew) implies the previous expression (Qk), discard the current joint diagnostic expression (Qnew), if there exists a first diagnostic expression (Dk) in the first listing (D), the first diagnostic expression (Dk) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the first diagnostic expression (Dk), discard the current joint diagnostic expression (Qnew) if there exists a second diagnostic expression (Ek) in the second listing (E), the second diagnostic expression (Ek) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the second diagnostic expression (Ek), otherwise store the joint diagnostic expression (Qnew) as an addition to the listing of enhanced diagnostic expressions (Q) in the second storage area (130), and generate a status report (R[Q]) based on the listing of enhanced diagnostic expressions (Q). - View Dependent Claims (2, 3, 4)
-
-
5. A method of diagnosing an entity with a plurality of components (c1, . . . , cn) which each is assumed to be in a fault-free mode or be in exactly one of at least one fault mode, the method comprising receiving diagnostic expressions (D, E) indicating at least one of said modes for at least one of said components (c1, . . . , cn), and generating a status report (R[Q]) based on the diagnostic expressions (D, E), wherein:
-
receiving a first listing (D) of diagnostic expressions (D1, . . . , Dn) constituting a first part of said diagnostic expressions, receiving a second listing (E) of diagnostic expressions (E1, . . . , Em) constituting a second part of said diagnostic expressions, storing the first and second listings (D;
E) in a first storage area (120),creating an empty listing of enhanced diagnostic expressions (Q) by clearing any contents of a second storage area (130), and thereafter, for each combination of diagnostic expressions (Di, Ej) in the first and second listings (D;
E),generating a current joint diagnostic expression (Qnew) as a conjunction of a first diagnostic expression (Di) from the first listing (D) and a second diagnostic expression (Ej) from the second listing (E), comparing the current joint diagnostic expression (Qnew) with each diagnostic expression in the listing of enhanced diagnostic expressions (Q) stored in the second storage area (130), discarding the current joint diagnostic expression (Qnew), if there exists a previous expression (Qk) in the listing of enhanced diagnostic expressions (Q), and the current joint diagnostic expression (Qnew) implies the previous expression (Qk), discarding the current joint diagnostic expression (Qnew), if there exists a first diagnostic expression (Dk) in the first listing (D), the first diagnostic expression (Dk) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the first diagnostic expression (Dk), discarding the current joint diagnostic expression (Qnew), if there exists a second diagnostic expression (Ek) in the second listing (E), the second diagnostic expression (Ek) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Qnew) implies the second diagnostic expression (Ek), otherwise storing the joint diagnostic expression (Qnew) as an addition to the listing of enhanced diagnostic expressions (Q) in the second storage area (130), and generating a status report (R[Q]) based on the listing of enhanced diagnostic expressions (Q). - View Dependent Claims (6, 7, 8, 9, 10, 11, 12, 13)
-
Specification