{"title":"Semantic parsing of automobile steering systems","authors":"Gang Chen, Zachary Sabato, Z. Kong","doi":"10.1145/3277593.3277629","DOIUrl":"https://doi.org/10.1145/3277593.3277629","url":null,"abstract":"Formal specification plays crucial roles in the rigorous verification and design of automobile steering systems. The challenge of getting high-quality formal specifications is well documented. This paper presents a problem called 'semantic parsing', the goal of which is to automatically translate the behavior of an automobile steering system to a formal specification written in signal temporal logic (STL) with human-in-the loop manner. To tackle the combinatorial explosion inherent to the problem, this paper adopts a search strategy called agenda-based parsing, which is inspired by natural language processing. Based on such a strategy, the semantic parsing problem can be formulated as a Markov decision process (MDP) and then solved using reinforcement learning. The obtained formal specification can be viewed as an interpretable classifier, which, on the one hand, can classify desirable and undesirable behaviors, and, on the other hand, is expressed in a human-understandable form. The performance of the proposed method is demonstrated with study.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"587 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113966781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An approach to analyze the social acceptance of virtual assistants by elderly people","authors":"Nirmalya Thakur, C. Han","doi":"10.1145/3277593.3277616","DOIUrl":"https://doi.org/10.1145/3277593.3277616","url":null,"abstract":"Interactive virtual assistants serve as a cost-effective solution to assist elderly people in several ways. They act as means to provide social support, manage loneliness, medium of communication, reminder systems and even instill positive moods in their users. The relevance of advancement in virtual assistant technology is not only confined to advancement in functionalities in virtual assistants but it also involves analyzing levels of social acceptance of these virtual assistants that feature on different kinds of interactive devices. This analysis would help to set up paradigms of trust and belief in human-technology partnerships and serve as means to enhance the utilization of virtual assistants through increasing their social acceptance, typically by elderly people. To analyze the social acceptance of virtual assistants on different interactive devices, this work uses the concept of sentiment analysis using Natural Language Processing to analyze the views, expressions and beliefs expressed by elderly people while interacting with virtual assistants on different devices.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114838784","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"MiniCloud","authors":"Mehdi Karimibiuki, Andrey Ivanov","doi":"10.1145/3277593.3277622","DOIUrl":"https://doi.org/10.1145/3277593.3277622","url":null,"abstract":"The number of heterogeneous Internet-of-Things (IoT) objects continues to grow, estimated to pass 50 billion by 2020. IoT objects are smart heterogeneous devices that are required to communicate and exchange data autonomously. For example, in a smart home, different devices such as sensors, cameras, actuators and control systems need to routinely share information and make decisions. The main challenge however is that there is generally no common platform for data storage and sharing between heterogeneous devices --- this paper addresses this problem. We propose a light storage and query service called MiniCloud that enables seamless communication between heterogeneous devices at a local scale. MiniCloud possesses the following properties: (1) acts as a live-storage hub that augments local data in real-time; (2) offers a set of APIs for any connection type with callback capabilities and dynamic queries; and (3) is portable with code size of only 78 kB which can be readily accommodated in most resource-constrained devices.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116334677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Serrano, Hung Nguyen Dang, Hoan Quoc Nguyen-Mau
{"title":"Recent advances on artificial intelligence and internet of things convergence for human-centric applications: internet of things science","authors":"M. Serrano, Hung Nguyen Dang, Hoan Quoc Nguyen-Mau","doi":"10.1145/3277593.3277638","DOIUrl":"https://doi.org/10.1145/3277593.3277638","url":null,"abstract":"In this paper we look at describing the ways on how Artificial Intelligence and IoT are related for the future of multi-domain applications and integrated services, a paper discussing the convergence of Artificial Intelligence and IoT technology in the form of real-world applications but also describing how Semantics and Analytics can leverage the next generation of AI IoT-enabled applications like Intelligent Assistant Robots IoT-enabled. We look at the work in progress investigation and also demonstration in a particular scenario for human-centred assistance living in elderly people and how AI IoT-enabled can provide better user experience and how by using IoT data, life improves.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"266 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115303983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Tavakoli, Amir Ashrafi, Arsalan Heydarian, Madhur Behl
{"title":"The internet of wasted things (IoWT)","authors":"A. Tavakoli, Amir Ashrafi, Arsalan Heydarian, Madhur Behl","doi":"10.1145/3277593.3277627","DOIUrl":"https://doi.org/10.1145/3277593.3277627","url":null,"abstract":"Office buildings, schools, stores, hotels, restaurants and other commercial, and institutional buildings generate significant amounts of waste. While buildings are becoming increasingly aware of their energy and water usage, the capability to track waste and material use with the same ease has remained beyond the reach of most building facilities managers [1,2]. Studies have focused on the use of sensors for garbage collection at a city level [3]. However, these studies consider waste as bulk and do not itemize and differentiate between their types and amounts [4]. In addition, to achieve the recycling goals, the facilities management offices have to manually or semi-automatically sort through the waste in order to separate the recycle waste apart manually.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131951504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Beyond semantic interoperability in IoT ecosystems","authors":"Denis Kramer, J. Hähner","doi":"10.1145/3277593.3277639","DOIUrl":"https://doi.org/10.1145/3277593.3277639","url":null,"abstract":"Interoperability is an important research stream in the Internet of Things, with semantics being the current focus of attention. Meanwhile, interoperability aspects beyond semantics are still rarely covered. Interoperability is a central problem in the Internet of Things because the increase in IoT vendors has led to a landscape of separated IoT platform ecosystems. The true value of the IoT lies in cross-platform collaboration of IoT systems for solving complex, higher-level tasks. This requires, among semantics, to address intentional and contextual aspects of interoperability to produce dynamic solutions that meet user expectations. In this short paper we describe the IoT from a digital ecosystem perspective and the resulting requirements for interoperability. We then propose a formalized approach to deal with these challenges and present an outlook of our upcoming work on this topic.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116848980","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Hands-on introduction to semantic interoperability","authors":"Victor Charpenay","doi":"10.1145/3277593.3277643","DOIUrl":"https://doi.org/10.1145/3277593.3277643","url":null,"abstract":"Industry standards being currently developed for the Internet and the Web of Things lack an interoperability layer to compose data from arbitrary origins. In order to have a semantic approach towards data transformation from different schemas, these schemas should be exposed as semantic models on the Web. In this tutorial, we present a four-step process to publish data schemas on the Web and show in practice how to align models with each other. Although it leverages Semantic Web technologies, no prior knowledge in this domain is required. The Web tools used all along the tutorial are open-source and used in various prototypes.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114293831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
K. Diwold, S. Mayer, A. Einfalt, J. Parreira, Jack Hodges, Darko Anicic, R. Mosshammer
{"title":"Grid watch dog: a stream reasoning approach for lightweight SCADA functionality in low-voltage grids","authors":"K. Diwold, S. Mayer, A. Einfalt, J. Parreira, Jack Hodges, Darko Anicic, R. Mosshammer","doi":"10.1145/3277593.3277601","DOIUrl":"https://doi.org/10.1145/3277593.3277601","url":null,"abstract":"The advent of distributed energy resources in conjunction with recent developments in the context of smart embedded devices has fostered the increased integration of intelligent generators and prosumers into the energy system. As a consequence, previously passively operated grids have become highly dynamic environments, which require active monitoring and control. To allow for such monitoring and control, grid operators require lightweight SCADA-like functionality that can be flexibly adapted to dynamic grid contexts and is suitable for resource-constrained embedded systems. Grid Watch Dog enables system operators to create monitoring and control rules for low-voltage field devices on the fly, and to immediately deploy them in the field. The system combines a stream reasoner on field devices with an intuitive user interface for creating and managing rules. Grid Watch Dog has been implemented as a proof of concept in a smart grid testbed and we demonstrate its application in the context of monitoring a battery energy storage system.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"662 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115121906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Flexible certificate revocation list for efficient authentication in IoT","authors":"Li Duan, Yong Li, L. Liao","doi":"10.1145/3277593.3277595","DOIUrl":"https://doi.org/10.1145/3277593.3277595","url":null,"abstract":"When relying on public key infrastructure (PKI) for authentication, whether a party can be trusted primarily depends on its certificate status. Bob's certificate status can be retrieved by Alice through her interaction with Certificate Authority (CA) in the PKI. More specifically, Alice can download Certificate Revocation List (CRL) and then check whether the serial number of the Bob's certificate appears in this list. If not found, Alice knows that Bob can be trusted. Once downloaded, a CRL can be used offline for arbitrary many times till it expires, which saves the bandwidth to an extreme. However, if the number of revoked certificates becomes too large, the size of the CRL will exceed the RAM of Alice's device. This conflict between bandwidth and RAM consumption becomes even more challenging for the Internet-of-Things (IoT), since the IoT end-devices is usually constrained by both factors. To solve this problem in PKI-based authentication in IoT, we proposed two novel lightweight CRL protocols with maximum flexibility tailored for constrained IoT end-devices. The first one is based on generalized Merkle hash tree and the second is based on Bloom filter. We also provided quantitative theorems for CRL parameter configuration, which help strike perfect balance among bandwidth, RAM usage and security in various practical IoT scenarios. Furthermore, we thoroughly evaluated the proposed CRL protocols and exhibited their outstanding efficiency in terms of RAM and bandwidth consumption. In addition, our formal treatment of the security of a CRL protocol can also be of independent interest.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121670027","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Karamjit Kaur, Matt Selway, G. Grossmann, M. Stumptner, Alan Johnston
{"title":"Towards an open-standards based framework for achieving condition-based predictive maintenance","authors":"Karamjit Kaur, Matt Selway, G. Grossmann, M. Stumptner, Alan Johnston","doi":"10.1145/3277593.3277608","DOIUrl":"https://doi.org/10.1145/3277593.3277608","url":null,"abstract":"The advent of Industrial Internet of Things (IIoT) technology has significantly optimized the industrial operations management by connecting industrial assets with information systems and, hence, with business processes. The IIoT forms the backbone for materializing the Industry 4.0 initiative. Actionable insights obtained from industrial analytics are one of the pivotal means for achieving intelligent operations and maintenance. Intelligence refers to making optimal decisions for both automated and human-in-the-loop decision making. Condition-based predictive maintenance (CBPdM), also known as Maintenance 4.0, is among the major focus points of the Industry 4.0 and IIoT. In this paper, we discuss the existing standards related to condition-based maintenance and the potential of the Open Industrial Interoperability Ecosystem (OIIE), a MIMOSA led initiative, as a framework which extends previous open standards for achieving CBPdM. We illustrate how the framework addresses the requirements of Industry 4.0 and CBPdM.","PeriodicalId":129822,"journal":{"name":"Proceedings of the 8th International Conference on the Internet of Things","volume":"240 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116232078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}