Representing sensor data as binary decision diagrams
First Claim
Patent Images
1. 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.
1 Assignment
0 Petitions
Accused Products
Abstract
According to certain embodiments, a set of samples of sensor data is accessed. The set of samples records measurements taken by one or more sensors. Each sample is represented as a minterm to yield a set of minterms. A characteristic function is generated from the set of minterms. The characteristic function indicates whether a given minterm is a member of the set of minterms.
-
Citations
20 Claims
-
1. 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. - View Dependent Claims (2, 3, 4, 5, 6, 19, 20)
-
-
7. An apparatus comprising:
- one or more processors; and
a memory coupled to the processors comprising instructions executable by the processors, the processors operable when executing the instructions to;access a set of samples of sensor data recording a plurality of measurements taken by one or more sensors; represent 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; generate 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 annotate 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. - View Dependent Claims (8, 9, 10, 11, 12)
- one or more processors; and
-
13. One or more non-transitory computer-readable media storing code, when executed by one or more processors, configured to:
-
access a set of samples of sensor data recording a plurality of measurements taken by one or more sensors; represent 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; generate 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 annotate 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. - View Dependent Claims (14, 15, 16, 17, 18)
-
Specification