Authors: Ivaylo Atanasov; Anastas Nikolov; Evelina Pencheva
Addresses: Faculty of Telecommunications, Technical University of Sofia, 1000 Sofia, Bulgaria ' Faculty of Telecommunications, Technical University of Sofia, 1000 Sofia, Bulgaria ' Faculty of Telecommunications, Technical University of Sofia, 1000 Sofia, Bulgaria
Abstract: Internet of things (IoT) encompasses information and networking technologies which allow connected devices gathering data from their environment to exchange information with network applications. The increased number of diverse devices and the variety of multimodal data make interoperability a challenging task. Synthesis of semantic information from raw IoT data enables sharing of common data models between different applications. The paper presents an approach to modelling semantic annotation for power control in smart homes and then converting it to knowledge. The approach includes context aware models as well as a knowledge base describing behaviour of an autonomous agent. The context aware models representing remote device management are formalised and verified using the concept of bisimulation. Temporal logic is used for specifying the agent behaviour and reasoning about power control of home appliances.
Keywords: internet of things; IoT; semantic annotation; remote device management; formal model verification; weak bisimulation; autonomous service model; temporal logic.
International Journal of Reasoning-based Intelligent Systems, 2017 Vol.9 No.2, pp.68 - 79
Received: 22 Jan 2016
Accepted: 15 Apr 2016
Published online: 08 Dec 2017 *