Epistemic Reasoning About IoT Systems in the Presence of Uncertainty
No Thumbnail Available
Authors
Sultan, Khalid
Issue Date
2024-11-05
Type
Conference Presentations/Proceedings
Peer-reviewed
Peer-reviewed
Language
Keywords
Alternative Title
Abstract
Internet-of-Things (IoT) systems consist of a collection of heterogeneous things, some of which are smart devices with knowledge bases, that communicate through the Internet to achieve some desirable goals and provide sustainable life. They are usually treated as big and dynamic systems that are associated with some sort of uncertainty due to the complex nature of the connected components and the environment in which they live. The epistemic reasoning about IoT systems hasn’t received enough consideration in the literature yet. In this paper, we present a framework to reason about and model IoT systems using an epistemic probabilistic approach. In particular, we use the probabilistic-epistemic computation tree logic PCTLK to represent and reason about some desirable properties of IoT systems. These properties are interpreted over a probabilistic interpreted systems formalism. The applicability of the proposed approach is evaluated using a smart home case study involving multiple connected devices.