Probabilistic evaluation of self-localization on ad-hoc network using model checking

Abstract

The Internet of Things (IoT) have been widely used to monitor control systems of critical infrastructure. IoT device’s self-localization functionality is important to realize a connected IoT ecosystem. This study proposes a probabilistic approach to evaluate self-localization quantitatively by utilizing network gateway allocation while considering probabilistic loss of WiFi signals from gateways. We use probabilistic model checking to evaluate how probabilistic signal loss affects self-localization accuracy. The investigation of such uncertainty serves as the foundation for real-world IoT self-localization.