Patent ID: 8874607

Claim:
A computer-implemented method comprising: accessing, by at least one computer processor, a set of samples of sensor data recording a plurality of measurements taken by one or more sensors; representing, by the at least one computer processor, each data value of the set of samples of the sensor data as a minterm to yield a set of minterms, each minterm within the set of minterms comprising a logical expression of one or more variables allocated to the data value of the sample of the sensor data; generating, by the at least one computer processor, a first binary decision diagram (BDD) from the set of minterms by applying a logical OR operation to the minterms of the set of minterms to generate the first BDD, the first BDD indicating whether a given minterm is a member of the set of minterms, wherein the first BDD comprises one or more rooted directed acyclic graphs representing a Boolean function, the binary decision diagram comprising a plurality of nodes and a plurality of edges connecting the nodes thereby forming a plurality of paths, each path in the first BDD representing a set of variable assignments setting the represented Boolean function; and annotating the first BDD by applying a logical AND operation to the first BDD and a second BDD, the second BDD representing one or more data values of sensor data that are associated with a given annotation.