摘要 |
In particular embodiments, a method includes accessing a first binary decision diagram (BDD) representing data streams from sensors, accessing a second BDD representing health states associated with specified data ranges, and constructing a third BDD by performing an AND operation between the first and second BDDs. |