Systém pro automatickou regulaci v domácnosti

Abstract

Title: Home automation Author: Jan Kytka Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. David Obdržálek, Ph.D., Department of Theoretical Computer Science and Mathematical Logic Abstract: In the area of home automation and control based on data from input units, there are many commercial and hobby solutions. They offer different paradigms for repre- senting control rules, such as description of trigger conditions and events, gate networks, etc. We analyzed the shortcomings of event-driven systems and, based on them, we de- signed and implemented an application which represents the rules as explicit transition function expressions. We showed how to formulate more complex control tasks in this different paradigm and had it pre-tested with a small sample of users. They agreed that it is very usable, even if perhaps more difficult to understand. Keywords: automation expressions control application MQTT IoT ASP.NET 1

Název práce: Systém pro automatickou regulaci v domácnosti Autor: Jan Kytka Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. David Obdržálek, Ph.D., Katedra teoretické informa- tiky a matematické logiky Abstrakt: V problematice automatizace domácnosti a obecně řízení na základě dat ze vstupních jednotek existuje mnoho komerčních i hobby řešení. Nabízejí různá paradig- mata zápisu pravidel regulace, jako je popis reakcí na události, propojení pomocí sítě hradel, aj. Analyzovali jsme nedostatky událostmi řízených systémů a na základě nich jsme navrhli a implementovali aplikaci, kde se pravidla popisují explicitním zápisem pře- chodové funkce. Ukázali jsme, jak v tomto odlišném paradigmatu formulovat složitější regulační úlohy a předběžně ho nechali otestovat malým vzorkem uživatelů. Ti se shodli na tom, že je velmi použitelné, i když obtížnější na pochopení. Klíčová slova: automatizace výrazy řízení aplikace MQTT IoT ASP.NET 1