Epistemic Reasoning About IoT Systems in the Presence of Uncertainty
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 ass...
Saved in:
| Main Author: | |
|---|---|
| Published: |
2024
|
| Online Access: | http://hdl.handle.net/11675/12168 http://www.scopus.com/inward/record.url?scp=85209573936&partnerID=8YFLogxK |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1870679716909809665 |
|---|---|
| author | Sultan, Khalid |
| author_facet | Sultan, Khalid |
| author_role | author |
| dc.creator.none.fl_str_mv | Sultan, Khalid |
| dc.date.none.fl_str_mv | 2024-11-05 2025-03-10T09:15:28Z 2025-03-10T09:15:28Z |
| dc.identifier.none.fl_str_mv | 10.1007/978-3-031-73110-5_38 978-3-031-73109-9 http://hdl.handle.net/11675/12168 http://www.scopus.com/inward/record.url?scp=85209573936&partnerID=8YFLogxK |
| dc.relation.none.fl_str_mv | Electrical and Computer Engineering |
| dc.title.none.fl_str_mv | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| dc.type.none.fl_str_mv | Conference Presentations/Proceedings Peer-reviewed info:eu-repo/semantics/publishedVersion |
| description | 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. |
| id | AUKR_3767d69920754a4fabda036a4cec8b60 |
| identifier_str_mv | 10.1007/978-3-031-73110-5_38 978-3-031-73109-9 |
| network_acronym_str | AUKR |
| network_name_str | AU Kuwait Rep |
| oai_identifier_str | oai:dspace.auk.edu.kw:11675/12168 |
| publishDate | 2024 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Epistemic Reasoning About IoT Systems in the Presence of UncertaintySultan, KhalidInternet-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.2025-03-10T09:15:28Z2025-03-10T09:15:28Z2024-11-05Conference Presentations/ProceedingsPeer-reviewedinfo:eu-repo/semantics/publishedVersion10.1007/978-3-031-73110-5_38978-3-031-73109-9http://hdl.handle.net/11675/12168http://www.scopus.com/inward/record.url?scp=85209573936&partnerID=8YFLogxKElectrical and Computer Engineeringoai:dspace.auk.edu.kw:11675/121682025-03-10T09:15:28Z |
| spellingShingle | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty Sultan, Khalid |
| status_str | publishedVersion |
| title | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| title_full | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| title_fullStr | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| title_full_unstemmed | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| title_short | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| title_sort | Epistemic Reasoning About IoT Systems in the Presence of Uncertainty |
| url | http://hdl.handle.net/11675/12168 http://www.scopus.com/inward/record.url?scp=85209573936&partnerID=8YFLogxK |