Automated Rule Conflict Detection for Building Management Systems

Total Page:16

File Type:pdf, Size:1020Kb

Automated Rule Conflict Detection for Building Management Systems POLITECNICO DI MILANO Industrial and Information Engineering Department of Electronics, Information and Bioengineering AUTOMATED RULE CONFLICT DETECTION FOR BUILDING MANAGEMENT SYSTEMS Relatore: Prof. Matteo Giovanni Rossi Tesi di laurea di: Davide Camurani Matr. 841977 A.A. 2015/2016 Sommario L’Internet of Things (IoT) è considerato uno dei cambiamenti più profondi dell’era moderna, esso ha portato la possibilità di poter connettere oggetti di uso comune alla rete, e di raccogliere enormi quantità di dati. Uno dei campi di applicazione, che ha avuto il maggiore sviluppo nell’ultimo decennio, è quello degli smart building. Gli smart building più moderni sono composti da centinaia di dispositivi in grado di raccogliere informazioni dall’ambiente (tramite i sensori) e di modificarne il suo comportamento (tramite gli attuatori). La loro coordinazione è gestita da un Building Management System (BMS) che definisce come agire sul comportamento del sistema, in base ai dati provenienti dal sistema stesso. Le scelte che compie un BMS vengono delineate tramite delle regole; tali regole utilizzano una logica di programmazione del tipo trigger-action: se la condizione di attivazione è verificata, allora viene eseguita l'azione ad esso collegata. L’evoluzione dei dispositivi ha portato con sé anche una maggiore semplicità di utilizzo, permettendo ad utenti senza elevate conoscenze tecniche di poter creare la propria rete di sensori e attuatori, e di definire delle regole di controllo. Essendo questi sistemi utilizzati da più persone contemporaneamente, nasce la necessità di verificare se le regole create possano generare conflitti tra loro; questa possibilità nasce dal fatto che utenti diversi, desiderino comportamenti diversi dallo stesso sistema. Con il termine conflitto vogliamo definire tutti quei casi in cui i dati, che il BMS vuole imporre su un parametro di un attuatore, siano inconsistenti. A tale scopo, sono disponibili alcuni III strumenti di diagnostica che ci permettono di rilevare e in alcuni casi di risolvere, i possibili conflitti. Tali strumenti sono utilizzabili solo per realizzare controlli run-time, quindi non ci permetto a priori (durante la fase di design del sistema) di rilevare possibili comportamenti pericolosi. In questa tesi abbiamo cercato di trovare una soluzione a questo problema realizzando uno strumento in grado di rilevare conflitti di tipo Error e Warning, con un approccio offline di analisi. I conflitti di tipo Error sono derivati dalla simultanea attivazione di due regole, mentre quelli di tipo Warning da una sovrapposizione dei periodi di attivazione di due regole. L’idea per la sua implementazione si basa sulla teoria dei Satisfiability Modulo Theories (SMT). Infine, tale strumento è stato implementato in un programma atto a riprodurre virtualmente uno smart building; in particolare, le parti che abbiamo implementato sono: gli utenti, gli spazi che compongono un edificio, gli oggetti che vi possono essere all’interno e le regole che lo governano. IV Abstract The Internet of Things (IoT) is considered one of the most profound changes of the modern era, it brought the possibility to connect everyday objects to the network and to collect huge amounts of data. One of the application fields which had the greatest growth in the last decade, it is the field of the smart buildings. Modern smart buildings are composed of hundreds of devices able to collect information from the environment through the sensors) and to modify its state (by the actuators). Their coordination is managed by a Building Management System (BMS) that defines how to act on the behavior of the system, according to the data coming from the system itself. The choices made by a BMS are delineated by the rules; these rules use a trigger-action programming: if the trigger condition has verified, then the action associated with it is executed. The evolution of the devices has also brought greater ease of use, allowing users without advanced technical knowledge to be able to create their own network of sensors and actuators, and to define the control rules. Since these systems are used by several people simultaneously, it becomes necessary to check whether the rules created may conflict with each other; this possibility arises because different users may desire different behavior from the same system. With the conflict term, we want to define all those cases in which the data, which the BMS wants to impose on a parameter of an actuator, are inconsistent. For this purpose, there are some diagnostic tools that allow us to detect, and in some cases to solve, the possible conflicts. However, these tools are only used to realize real-time controls, therefore their not allow us to detect possible problems during the design phase of the system. V In this thesis, we tried to find a solution to this problem with an instrument able to detect the Error and Warning conflicts with an offline analysis approach. The error-type conflicts are derived from the simultaneous activation of two rules, while those of warning-type by an overlap of the activation period of the two rules. The idea for its implementation is based on the theory of Satisfiability Modulo Theories (SMT). Finally, this tool has been implemented in a program that virtually reproduces a smart building; in particular, the parts that we have implemented are: the users, the spaces that compose a building, the objects can be inside and the rules governing it. VI Content AUTOMATED RULE CONFLICT DETECTION FOR BUILDING MANAGEMENT SYSTEMS ............................................................ I RINGRAZIAMENTI ........ ERRORE. IL SEGNALIBRO NON È DEFINITO. SOMMARIO ................................................................................ III ABSTRACT ................................................................................... V CONTENT ..................................................................................... 7 FIGURE INDEX ........................................................................... 11 TABLE INDEX ............................................................................ 14 CHAPTER 1 INTRODUCTION ..................................................... 15 1.1 OVERVIEW OF SMART BUILDINGS ............................................................. 15 1.2 BUILDING MANAGEMENT SYSTEMS .......................................................... 17 1.3 CRITICAL ISSUES AND CONTROVERSIES .................................................... 19 1.4 PROBLEM DEFINITION ............................................................................ 20 1.5 OUTLINE ................................................................................................. 21 CHAPTER 2 STATE OF THE ART ................................................ 25 2.1 CONFLICT DETECTION APPROACHES ........................................................ 25 Multi-Agent System Approach ....................................................... 25 Interest/Intention Approach ......................................................... 26 Policy-Based Approach .................................................................. 27 7 2.2 CURRENT CONFLICT TOOLS .................................................................... 27 Low-Level Approaches .................................................................. 27 High-Level Approaches ................................................................. 28 Discussion ...................................................................................... 29 2.3 RULE STRUCTURE .................................................................................. 29 Trigger-Action Programming Techniques Analysis ..................... 30 Basic and Advanced Structure of Rules ......................................... 31 2.4 FRONTENDS ........................................................................................... 32 Samsung® SmartThings ................................................................ 33 Apple® HomeKit............................................................................. 34 ETS by KoNneX® ........................................................................... 36 PC Access by HAI® ........................................................................ 37 CHAPTER 3 BACKGROUND ....................................................... 39 3.1 SMT PROBLEMS ..................................................................................... 39 Available SMT Solvers ................................................................... 40 3.2 THE Z3 SMT SOLVER ............................................................................. 42 SMT-LIB ......................................................................................... 43 Z3 Solver API ................................................................................. 46 CHAPTER 4 MECHANISMS FOR RULE MANAGEMENT ............ 49 4.1 OVERVIEW .............................................................................................. 49 4.2 INFORMAL DESCRIPTION OF RULES ........................................................ 50 Data Handled by Rules .................................................................. 53 A Further Improvement: WIFTTT Model ..................................... 55 4.3 FORMALIZATION OF CONFLICTS AS SMT PROBLEM ................................. 56 8 Conflicts Producing Errors ............................................................. 56 Conflicts Producing Warnings ....................................................... 59 Conflict Formalization
Recommended publications
  • Building Iot Systems with Openhab Matt Porter Konsulko [email protected] Overview
    Building IoT systems with openHAB Matt Porter Konsulko [email protected] Overview + Timeline + Frameworks and Protocols + openHAB architecture + openHAB features + openHAB configuration + openHAB examples + Demo Timeline + ARPANET online in 1969 with “things” talking Network Control Program (NCP) + Internet born in 1983: ARPANET “things” start talking TCP/IP + Many Internet connected appliances created from 1990 to present + Kevin Ashton (Auto-ID) coins “IoT” in 1999 + Media goes into a frenzy about IoT that just won’t quit. + openHAB started in 2010 Frameworks + AllJoyn - framework for distributed applications + https://allseenalliance.org/developers/learn/architecture + IOTivity - framework for Machine to Machine(M2M) communication + https://www.iotivity.org/ + Kura - OSGi-based framework for M2M applications + https://eclipse.org/kura/ + Mihini - Lua-based M2M framework + https://eclipse.org/mihini/ + openHAB - Home Automation and IoT gateway framework + http://openhab.org + ... Protocols + CoAP (Constrained Application Protocol) + request/response, low overhead, translates to HTTP + MQTT + pub/sub, low overhead + RESTful HTTP + request/response, one way from devices to service + XMPP (Extensible Messaging and Presence Protocol) + pub/sub, built in authentication + ... MQTT + OASIS standard: MQTT v3.1.1 + Publish/Subscribe and hub/spoke model + MQTT brokers provides the communication hub + Mosquitto 1.3.4 broker supports MQTT v3.1.1 + Fixed header required, variable header and payload optional + Fixed header just 2 bytes openHAB
    [Show full text]
  • Smarte SMART ENERGY for YOUR HOME DESIGN DESCRIPTION
    SmartE SMART ENERGY FOR YOUR HOME DESIGN DESCRIPTION Version 1.6.4 Smart Energy for Your Home Version: 1.6.4 Design Description Date: 2016­01­20 Revision History Date Version Description Author 2015­11­05 1.0 Initial Draft Eugen Družin, Marko Vojić 2015­11­11 1.1 All sections added Eugen Družin 2015­11­12 1.2 Introduction and background provided Ondrej Kollar 2015­11­13 1.3 Added System structure, Sequential Marko Vojić diagrams 2015­11­13 1.4 Technologies, System architecture, Eugen Družin Mobile mock­up 2015­12­23 1.4.1 Spell checking, adding names to the Elena Kyorova figures 2016­01­13 1.5 Update 2016­01­19 1.6 Technologies, Mobile application Eugen Družin 2016­01­20 1.6.1 Technologies, Mobile application, Eugen Družin High­level system structure 2016­01­20 1.6.2 High­level system structure, System Marko Vojić architecture, Communication and integration 2016­01­20 1.6.3 Revision document Eugen Družin 2016­01­20 1.6.4 Proofreading Nathan Chape Page 2 Smart Energy for Your Home Version: 1.6.4 Design Description Date: 2016­01­20 Table of contents 1 Introduction 1.1 Purpose of this document 1.2 Document organization 1.3 Intended Audience 1.4 Scope 1.5 Definitions and acronyms 1.5.1 Definitions 1.5.2 Acronyms and abbreviations 2 Background and objectives 2.1 Overview 2.2 High­level description of the functionalities 3 High­level system structure 3.1 Communication infrastructure 3.2 SmartE application 3.3 User application 3.4 External resources 4 Communication and integration 4.1 SmartE ­ openHAB 4.2 SmartE ­ client application 4.3 SmartE
    [Show full text]
  • Friesen Micheal.Pdf (792.2Kb)
    PLOX: A Secure Serverless Framework for the Smart Home by Micheal Friesen A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 2021 c Micheal Friesen 2021 Author's Declaration This thesis consists of material all of which I authored or co-authored: see Statement of Contributions included in the thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Statement of Contributions This thesis is based upon three different conference submissions to NSDI 2019, OSDI 2021 and NDSS 2022. The attached submission is therefore in part co-authored by myself, Ryan Hancock, Ali Mashtizadeh, Omid Abari, and Yousra Aafer, all authors of the submissions sent to these conferences. The PLOX framework was designed together by myself and Ryan Hancock, under the su- pervision of both Ali Mashtizadeh and Omid Abari. PLOX was developed by both Ryan and I, with the source code and commit history available on the Reliable Computer Sys- tems instance of Phabricator. My development contributions to PLOX were focused on the manifest system, design and development of the protocol used between devices, development of the converted smart applications used in the evaluation and implementation/testing of the taint-based IFC system. I was also responsible for the implementations of Amazon IoT Greengrass, Azure IoT Edge and Home Assistant used to compare PLOX against other systems in the evalua- tion.
    [Show full text]
  • Java Magazine Is Provided on an “As Is” Basis
    //NOVEMBER/DECEMBER 2014 / THE INTERNET OF THINGS JAVA IS EVERYWHERE 13 29 20 HENRIK STÅHL INDUSTRIAL AUTOMATION JAVA: THE NEXT ON JAVA AND IOT WITH ROBOTS GENERATION ORACLE.COM/JAVAMAGAZINE //table of contents / 13 20 29 COMMUNITY JAVA: THE NEXT ROBOTS MAKE JAVA DEVELOPMENT GENERATION FACTORIES Teach kids to code SMARTER and give them tools Keba’s systems help FOR THE INTERNET for success. usher in the next OF THINGS industrial revolution. JAVA IN ACTION Oracle’s Henrik Ståhl discusses the Internet of Things for Java developers. Internet of Things JAVA TECH New theme icon. See how it works. COVER ART BY LINDY GROENING COMMUNITY JAVA TECH 45 55 03 35 Embedded Rich Client ABOUT US From the Editor New to Java A Smart-Home Platform Building Castles in the Sky 05 Code Java on the Raspberry Pi for the Mass Market Use JavaFX 3D to model historical Java Nation BlueJ brings Java SE 8 development Eclipse SmartHome bridges the gap treasures and more. JavaOne recap, plus news, directly to the Raspberry Pi. between tech-savvy users and average 62 people, events, and books 38 users to provide a smart-home platform Rich Client for everyone. Java Architect A Bridge from Java 2D to JavaFX 25 50 JCP Executive Series jdeps, Compact Profiles, Profit from the easy migration path The Java Advantage for IoT and Java Modularity Embedded provided by FXGraphics2D. Freescale’s Maulin Patel discusses the A look at the future of Java modularity The Device I/O API 67 Internet of Things (IoT) and how the JCP 41 A standard API for peripherals and Fix This helps to facilitate evolving technologies.
    [Show full text]
  • Building Iot Systems with Openhab Matt Porter Konsulko [email protected] Overview
    Building IoT systems with openHAB Matt Porter Konsulko [email protected] Overview + Timeline + Frameworks and Protocols + openHAB architecture + openHAB features + openHAB configuration + openHAB examples + Demo IoT Timeline + ARPANET online in 1969 with “things” talking Network Control Program (NCP) + Internet born in 1983: ARPANET “things” start talking TCP/IP + Trojan Room Coffee Pot goes on Internet in 1993 + http://en.wikipedia.org/wiki/Trojan_Room_coffee_pot + Kevin Ashton (Auto-ID) coins “IoT” in 1999 + Media goes into a frenzy about IoT that just won’t quit. + openHAB started in 2010 + Thomas Ruecker’s Tweeting Toilet goes online, ushering in the Internet of Toilets (IoT) era in 2014 + http://www.computerworld.com/article/2605093/laid-off-from-job- man-builds-tweeting-toilet.html Frameworks + AllJoyn - framework for distributed applications + https://allseenalliance.org/developers/learn/architecture + IOTivity - framework for Machine to Machine(M2M) communication + https://www.iotivity.org/ + Kura - OSGi-based framework for M2M applications + https://eclipse.org/kura/ + Mihini - Lua-based M2M framework + https://eclipse.org/mihini/ + openHAB - Home Automation and IoT gateway framework + http://openhab.org + ... Protocols + CoAP (Constrained Application Protocol) + request/response, low overhead, translates to HTTP + MQTT + pub/sub, low overhead + RESTful HTTP + request/response, one way from devices to service + XMPP (Extensible Messaging and Presence Protocol) + pub/sub, built in authentication + ... MQTT + OASIS standard:
    [Show full text]
  • The Digital Twin As a Base for the Design of Building Control Strategies
    ________________________________________________________________________________________________ The Digital Twin as a Base for the Design of Building Control Strategies 1 1 1 1 Christoph Nytsch-Geusen , Werner Kaul , Jörg Rädler , Lucas Westermann , Vishvesh Shenoy2, Pruthviraj Balekai2 1Berlin University of the Arts, Institute of Architecture and Urban Development, Berlin, Germany 2Technische Universität Berlin, Zentralinstitut El Gouna, Berlin, Germany Abstract Figure 1 illustrates this approach. During the design phase of the building energy system a detailed simulation model This contribution describes a simulation-based method of the building construction and the HVAC system – the for the design and evaluation of building control strategies digital twin - serves as the controlled system. The for new planned buildings. The approach consists of a simulation model is delivering the necessary systems combination of a digital twin of the real building and its states as input signals for the rule-based control strategy. HVAC system, modelled as a physical Modelica model Thereafter, the calculated control signals are sent back to and the openHAB software package, for the the simulation model. In our approach this bi-directional implementation of correspondent building control data exchange takes place between a home automation strategies. For this purpose, openHAB and the Modelica software, the open Home Automation Bus (openHAB) model is bi-directional coupled in real-time. In this way, software platform (openHAB, 2019) and the Modelica new control strategies can be tested and improved under simulation tool Dymola in real-time within the local consideration of the dynamic system behavior in the network. For this purpose, the network User Datagram building design phase. If the system behavior of the Protocol (UDP, https://tools.ietf.org/html/rfc768) is used.
    [Show full text]
  • Real-Time Analysis of Privacy (Un)Aware Iot Applications
    Real-time Analysis of Privacy-(un)aware IoT Applications 146 IoT app at runtime. The collected data is used by IoT- Organization. In Section 2, we articulate the privacy WatcH to classify the app information into user-defned issues in IoT apps through a use case, and present the (also customizable) privacy labels through Natural Lan- defnitions and threat model. In Section 3, we present guage Processing (NLP) techniques. The privacy labels the results of the IoT privacy survey with 123 users. In provide the users with a more intuitive mechanism to Sections 4 and 5, we give an overview of IoTWatcH, understand how IoT apps handle their private informa- and present IoTWatcH’s architectural details. In Sec- tion. Also, IoTWatcH analyzes the privacy preferences tion 6, we provide the implementation details. Then, of users to uncover sensitive data leaks. Finally, IoT- we evaluate IoTWatcH and show its e˙ectiveness and WatcH notifes the users about the sensitive data-leaks performance in Section 7. Finally, we discuss the related when they validate the users’ privacy preferences, al- work in Section 8, and conclude the paper in Section 9. lowing the users to make informed decisions about their privacy. 2 Background and Threat Model To evaluate IoTWatcH, we trained an NLP model with taint-sink data strings extracted from 380 Smart- 2.1 Anatomy of an IoT App Things market apps. The model was used to clas- IoT applications from di˙erent platforms may use dif- sify taint-sink content (e.g., “the door is locked”, and ferent programming languages. For instance, Samsung “kitchen lights are turned o˙”) to user privacy prefer- SmartThings apps are written in Groovy [31], while ences.
    [Show full text]
  • Design of a Secure Wireless Home Automation System with an Open Home Automation Bus (Openhab 2) Framework
    Hindawi Journal of Sensors Volume 2020, Article ID 8868602, 22 pages https://doi.org/10.1155/2020/8868602 Research Article Design of a Secure Wireless Home Automation System with an Open Home Automation Bus (OpenHAB 2) Framework Robert A. Sowah , Dale E. Boahene, Dalton C. Owoh, Rexford Addo, Godfrey A. Mills, Wiafe Owusu-Banahene, Gifty Buah, and Baffour Sarkodie-Mensah Department of Computer Engineering, University of Ghana, Accra, Ghana P.O. Box LG 77, Legon Correspondence should be addressed to Robert A. Sowah; [email protected] Received 28 June 2020; Revised 4 August 2020; Accepted 11 September 2020; Published 30 October 2020 Academic Editor: Rafael Morales Copyright © 2020 Robert A. Sowah et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. There is rapid interest growing in the use of smart, connected devices. The developing world market for smart technology is evolving to adopt and adapt to the interconnected world of devices leading to the Internet of Things (IoT) everywhere. This research paper presents the design, development, and deployment of a prototype for the secure wireless home automation system with OpenHAB 2. We employed the use of two (2) high-performance microcontrollers, namely, the Arduino Mega 2560, interfaced with a 16-channel relay, and Raspberry Pi Model B, running the OpenHAB software. The Raspberry Pi functioned as the server to develop a prototype of an automated smart home that is remotely controllable from both a web application and an Android mobile app.
    [Show full text]
  • A Survey of Honeypots and Honeynets for Internet of Things, Industrial Internet of Things, and Cyber-Physical Systems
    A Survey of Honeypots and Honeynets for Internet of Things, Industrial Internet of Things, and Cyber-Physical Systems Javier Franco1, Ahmet Aris1, Berk Canberk2, and A. Selcuk Uluagac1 1 Cyber-Physical Systems Security Lab., Florida International University, Florida, USA 2 Department of Computer Engineering, Istanbul Technical University, Istanbul, Turkey Emails: fjfran243, aaris, suluagacg@fiu.edu, [email protected] Abstract—The Internet of Things (IoT), the Industrial Internet worlds are connected by sensors that collect data about the of Things (IIoT), and Cyber-Physical Systems (CPS) have become physical elements of a system and transmit it to the logical essential for our daily lives in contexts such as our homes, elements, and to the actuators that respond to the logical buildings, cities, health, transportation, manufacturing, infras- elements and apply changes to the physical elements. At the tructure, and agriculture. However, they have become popular same time, however, Greer et al. [4] stated that IoT and CPS targets of attacks, due to their inherent limitations which create are different in that IoT places more emphasis on information vulnerabilities. Honeypots and honeynets can prove essential to understand and defend against attacks on IoT, IIoT, and CPS technology and networking things in the physical world, while environments by attracting attackers and deceiving them into CPS is more of a closed system and is focused more on thinking that they have gained access to the real systems. Hon- the exchange of information for sensing and controlling the eypots and honeynets can complement other security solutions physical world. IIoT further connects the definitions of IoT (i.e., firewalls, Intrusion Detection Systems - IDS) to form a and CPS, as it possesses characteristics from both.
    [Show full text]
  • Smart Home Human Activity Simulation Tool for Openhab-Based Research
    Smart Home Human Activity Simulation Tool for OpenHab-based Research Asma Alotaibi Charith Perera Cardiff University Cardiff University Cardiff, United Kingdom Cardiff, United Kingdom [email protected] [email protected] ABSTRACT KEYWORDS Over the last few years, many different Internet of Things Internt of Things, Smart Homes, Human Activity Simulation (IoT) devices has been made their way into the market. As a result, many different smart home solutions have been intro- ACM Reference Format: duced by different companies. However, at this point, most of Asma Alotaibi and Charith Perera. 2019. Smart Home Human Ac- tivity Simulation Tool for OpenHab-based Research. In Technical the smart home solutions are engineering products built with Report. ACM, New York, NY, USA, 10 pages. https://doi.org/10.1145/ limited attention to the end-user needs. Many researchers nnnnnnn.nnnnnnn are working towards developing more meaningful smart home solutions and looking at smart home domain from different perspectives such as human-computer interactions, 1 INTRODUCTION edge computing, psychology to name a few. Another impor- Smart devices accumulate data that are then processed and tant aspect is to explore how these smart home solutions stored for subsequent analysis [22]. The analysis of this gen- could be used to facilitate independent living, disable and erated data can be utilized in several areas. One area attract- vulnerable people. Further, these smart homes systems need ing particular interest is the intelligent machine learning to be privacy-aware and secure. These research activities, methods that have the ability to provide services to those at some point, need some kind of human activity simula- living in smart homes.
    [Show full text]
  • A Mandami Fuzzy Controller for Handling a Openhab Smart Home
    26 Intelligent Environments 2021 E. Bashir and M. Luštrek (Eds.) © 2021 The authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0). doi:10.3233/AISE210076 A Mandami Fuzzy Controller for Handling a OpenHAB Smart Home Pablo PICO-VALENCIA a and Juan A. HOLGADO-TERRIZA b,1 a Pontificia Universidad Catolica´ del Ecuador, Esmeraldas, Ecuador b Universidad de Granada, Granada, Spain Abstract. Fuzzy control systems are widely used to carry out control actions where variables with a certain degree of ambiguity are involved. Such control actions are modelled based on fuzzy rules that are expressed in a language analogous to that used by humans to conceive their reality. In this sense, fuzzy controllers can be ap- plied in emerging technologies such as the Internet of Things (IoT) aimed at con- trolling the real world through a set of objects interconnected to the Internet. This article presents a fuzzy controller of Mamdani-type developed in Matlab. This con- troller is integrated into a smart home– created by the OpenHAB tool– using REST- ful services. The results of the evaluation reveal that the integration of the fuzzy controller with smart home can provide an accurate control of comfort specifically in this case. In addition, a better organization of the control rules was also possible using the proposed fuzzy controller especially when large systems are developed. Keywords. fuzzy controller, Mamdani, internet of things, smart home, OpenHAB 1. Introduction Fuzzy logic is an alternative to the classic logic that proposes the modelling of systems where variables are handled with a certain level of imprecision (i.e., temperature, air pol- lution and tank filling level).
    [Show full text]
  • List of Projects Using Raspberry Pi with Advance View: 1
    List of Projects using Raspberry Pi with advance view: 1. Mobile Remote Surveillance Camera This interesting project will cover all things required for the ultimate goal of building a mobile remote surveillance camera. https://youtu.be/6FrEs4C9D-Y This interesting but complicated project will cover things from designing building a robot, to advanced congurations in linux (raspberry pi) to building an Android application…... Listed under: Phone Projects 2. Android Controlled Toy Using Raspberry Motor Shield The terrain vehicle which is managed with raspberry pi, arduino and controlled vi android software. Story At the end of the project we will manage a terrain vehicle which controlled by android device's accelemoter sensor The project contains Motor shield, raspberry pi, arduino and dc…... Listed under: Motor Projects 3. GrovePi Windows IoT: LED Blink This tutorial shows the simplest thing that you can do with the GrovePi: Blink a LED. Introduction to GrovePi with Windows IOT: LED Blink Tutorial This tutorial shows the simplest thing that you can do with the GrovePi: Blink a LED. This a great…... Listed under: LED Projects 4. Azure IoT Hub nRF24L01 Windows 10 IoT Core Field Gateway Windows 10 IoT Core on RPI based nRF24L01 eld gateway which enable sensor nodes to securely & reliably upload telemetry to AzureIoT Hubs. Overview For school Internet of Things (IoT) projects I needed a robust eld gateway for uploading telemetry data from a number "cheap n…... Listed under: Home Automation Projects 5. Windows 10 IoT Core on Raspberry Pi 2 – Adafruit Sensor data Pushing data to Microsoft Azure Event hubs from Windows 10 IoT Core with Raspberry Pi-2 connected with the Adafruit 10DOF IMU This is my rst blog on Windows 10 IoT Core with Raspberry Pi-2 connected with the Adafruit 10DOF IMU (A combo board provides 3-axis…..
    [Show full text]