FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3001329157> ?p ?o ?g. }

• W3001329157 endingPage "23874" @default.
• W3001329157 startingPage "23863" @default.
• W3001329157 abstract "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 studies evaluated the fault prediction methods using simulation environments. However, formal verification of the correctness of a fault prediction method has not been reported yet. This paper presents a behavioral modeling and formal verification of a hybrid machine learning-based fault prediction model with Multi-Layer Perceptron (MLP) and Particle Swarm Optimization (PSO) algorithms. In particular, the PSO is used for feature selection. Then, the fault prediction is considered as a behavior to be verified formally. The fault prediction behavior is divided into two types of behaviors: dimension reduction behavior and prediction behavior. For each of the behaviors, one formal model is designed. The behavioral models designed are mapped into the Labeled Transition System (LTS). The Process Analysis Toolkit (PAT) model checker is employed to evaluate the behavioral models. The accuracy of the fault prediction method is done by some existing specifications such as deadlock-free and reachability properties in terms of linear temporal logic formulas. Also, the verification of the fault prediction behaviors is used to detect the defect metrics of information-centric IoT applications. Experimental results showed that our proposed verification method has minimum verification time and memory usage for evaluating critical specification rules than other research studies." @default.
• W3001329157 created "2020-01-30" @default.
• W3001329157 creator A5002779288 @default.
• W3001329157 creator A5008886884 @default.
• W3001329157 creator A5054755315 @default.
• W3001329157 creator A5071074121 @default.
• W3001329157 creator A5080921529 @default.
• W3001329157 creator A5091729691 @default.
• W3001329157 date "2020-01-01" @default.
• W3001329157 modified "2023-09-27" @default.
• W3001329157 title "Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications" @default.
• W3001329157 cites W1210281339 @default.
• W3001329157 cites W1220858681 @default.
• W3001329157 cites W1724097036 @default.
• W3001329157 cites W1970789984 @default.
• W3001329157 cites W2001819708 @default.
• W3001329157 cites W2003680410 @default.
• W3001329157 cites W2017439596 @default.
• W3001329157 cites W2022621390 @default.
• W3001329157 cites W2023380651 @default.
• W3001329157 cites W2029476696 @default.
• W3001329157 cites W2039656990 @default.
• W3001329157 cites W2048232769 @default.
• W3001329157 cites W2049377070 @default.
• W3001329157 cites W2052229651 @default.
• W3001329157 cites W2053881327 @default.
• W3001329157 cites W2066067865 @default.
• W3001329157 cites W2078568142 @default.
• W3001329157 cites W2095760215 @default.
• W3001329157 cites W2137095517 @default.
• W3001329157 cites W2173409361 @default.
• W3001329157 cites W2274346623 @default.
• W3001329157 cites W2304692780 @default.
• W3001329157 cites W2343714786 @default.
• W3001329157 cites W2373441087 @default.
• W3001329157 cites W2479781685 @default.
• W3001329157 cites W2513147184 @default.
• W3001329157 cites W2516468456 @default.
• W3001329157 cites W2569749838 @default.
• W3001329157 cites W2572336529 @default.
• W3001329157 cites W2583602225 @default.
• W3001329157 cites W2586292313 @default.
• W3001329157 cites W2587114527 @default.
• W3001329157 cites W2589119856 @default.
• W3001329157 cites W2589684481 @default.
• W3001329157 cites W2592420394 @default.
• W3001329157 cites W2738893410 @default.
• W3001329157 cites W2811009742 @default.
• W3001329157 cites W2890987031 @default.
• W3001329157 cites W2919200352 @default.
• W3001329157 cites W2919303314 @default.
• W3001329157 cites W2945671985 @default.
• W3001329157 cites W2949619369 @default.
• W3001329157 cites W2954123346 @default.
• W3001329157 cites W2959914816 @default.
• W3001329157 cites W2966716359 @default.
• W3001329157 cites W2970181572 @default.
• W3001329157 cites W2974603277 @default.
• W3001329157 cites W54255577 @default.
• W3001329157 doi "https://doi.org/10.1109/access.2020.2967629" @default.
• W3001329157 hasPublicationYear "2020" @default.
• W3001329157 type Work @default.
• W3001329157 sameAs 3001329157 @default.
• W3001329157 citedByCount "17" @default.
• W3001329157 countsByYear W30013291572020 @default.
• W3001329157 countsByYear W30013291572021 @default.
• W3001329157 countsByYear W30013291572022 @default.
• W3001329157 countsByYear W30013291572023 @default.
• W3001329157 crossrefType "journal-article" @default.
• W3001329157 hasAuthorship W3001329157A5002779288 @default.
• W3001329157 hasAuthorship W3001329157A5008886884 @default.
• W3001329157 hasAuthorship W3001329157A5054755315 @default.
• W3001329157 hasAuthorship W3001329157A5071074121 @default.
• W3001329157 hasAuthorship W3001329157A5080921529 @default.
• W3001329157 hasAuthorship W3001329157A5091729691 @default.
• W3001329157 hasBestOaLocation W30013291571 @default.
• W3001329157 hasConcept C110251889 @default.
• W3001329157 hasConcept C111498074 @default.
• W3001329157 hasConcept C11413529 @default.
• W3001329157 hasConcept C119857082 @default.
• W3001329157 hasConcept C124101348 @default.
• W3001329157 hasConcept C127313418 @default.
• W3001329157 hasConcept C154945302 @default.
• W3001329157 hasConcept C165205528 @default.
• W3001329157 hasConcept C175551986 @default.
• W3001329157 hasConcept C41008148 @default.
• W3001329157 hasConcept C50644808 @default.
• W3001329157 hasConcept C55439883 @default.
• W3001329157 hasConcept C60908668 @default.
• W3001329157 hasConceptScore W3001329157C110251889 @default.
• W3001329157 hasConceptScore W3001329157C111498074 @default.
• W3001329157 hasConceptScore W3001329157C11413529 @default.
• W3001329157 hasConceptScore W3001329157C119857082 @default.
• W3001329157 hasConceptScore W3001329157C124101348 @default.
• W3001329157 hasConceptScore W3001329157C127313418 @default.
• W3001329157 hasConceptScore W3001329157C154945302 @default.
• W3001329157 hasConceptScore W3001329157C165205528 @default.
• W3001329157 hasConceptScore W3001329157C175551986 @default.

• next