RFLS - Resilient Fault-proof Localization System in IoT and Crowd-based Sensing Applications.
Ahmed AlaghaShakti SinghHadi OtrokRabeb MizouniPublished in: J. Netw. Comput. Appl. (2020)
Keyphrases
- fault diagnosis
- management system
- fault detection
- source localization
- sensor networks
- theorem prover
- big data
- data acquisition
- theorem proving
- localization method
- localization algorithm
- linear logic
- location information
- crowd sourced
- natural deduction
- object localization
- database
- multiple faults
- real time embedded systems
- accurate localization
- mathematical proofs
- fault model
- crowd sourcing
- position estimation
- decision trees
- knowledge base