Reliability Analysis of the Internet of Things Based on Ordered Binary Decision Diagram.

Published in: Int. J. Online Eng. (2018)

Keyphrases

reliability analysis
binary decision diagrams
boolean functions
pseudo boolean constraints
model checking
planning problems
neural network
knowledge compilation
decision diagrams
decision trees
search algorithm
condition monitoring
artificial intelligence
big data
design methodology
boolean formula