1. A method comprising: by one or more computing devices, accessing one or more first binary decision diagrams (BDDs) representing sensor data from one or more sensors, wherein: the sensor data comprise a plurality of components; and the one or more first BDDs comprise a plurality of portions respectively corresponding to the plurality of components; selecting, from the plurality of portions, one or more portions based on ease-of-analysis; and constructing a second BDD representing the one or more selected portions by performing an OR operation between the one or more selected portions.