IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.
Abdullah Al FarooqEhab Al-ShaerThomas MoyerKrishna KantPublished in: CoRR (2018)
Keyphrases
- high accuracy
- preprocessing
- detection method
- dynamic programming
- experimental evaluation
- fully automatic
- synthetic data
- pairwise
- prior knowledge
- significant improvement
- theoretical analysis
- clustering method
- data sets
- cost function
- classification accuracy
- high precision
- input data
- mutual information
- feature set
- management system
- support vector machine
- artificial neural networks
- multiscale
- knowledge base
- machine learning