Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications

Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications

By increasing the complexity of the Internet of Things (IoT) applications, fault prediction become an important challenge in interactions between human, and smart devices. Fault prediction is one of the key factors to achieve better arranging the IoT applications. Most of the current research studie...

Full description

Bibliographic Details
Main Authors: Alireza Souri, Amin Salih Mohammed, Moayad Yousif Potrus, Mazhar Hussain Malik, Fatemeh Safara, Mehdi Hosseinzadeh
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Internet of Things applications
fault prediction
formal verification
process analysis toolkit
multi-layer perceptron
particle swarm optimization
Online Access:https://ieeexplore.ieee.org/document/8963605/

Internet

https://ieeexplore.ieee.org/document/8963605/

Similar Items