To Do and Not To Do: Constrained Scenarios for Safe Smart House

Thibaut Le Guilly, Jacob Haubach Smedegaard, Thomas Pedersen, Arne Joachim Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

11 Citations (Scopus)

Abstract

A smart house is a complex system, and configuring it to act as desired is difficult and error prone. In this paper we extend a previously developed framework based on timed automata for designing safe and reliable home automation scenarios to make it easier to use. To do so we abstract it with an Event-Condition-Action language to create intelligent scenarios, and constraints that prevent scenarios with undesirable behaviors to be applied. This language is itself abstracted by a graphical user interface that enables the creation of scenarios by manipulating graphical blocks representing elements of the language. We have designed and implemented a prototype system to test our approach, and we report on a qualitative user study that was conducted.
Original languageEnglish
Title of host publicationInternational Conference on Intelligent Environments (IE), 2015
Number of pages8
PublisherIEEE
Publication dateJul 2015
Pages17-24
ISBN (Print)978-1-4673-6654-0
DOIs
Publication statusPublished - Jul 2015
Event2015 International Conference on Intelligent Environments (IE 2015) - Prague, Czech Republic
Duration: 15 Jul 201517 Jul 2015

Conference

Conference2015 International Conference on Intelligent Environments (IE 2015)
Country/TerritoryCzech Republic
CityPrague
Period15/07/201517/07/2015

Keywords

  • Formal methods
  • Reliability
  • Smart House
  • Timed Automata
  • User Interface

Fingerprint

Dive into the research topics of 'To Do and Not To Do: Constrained Scenarios for Safe Smart House'. Together they form a unique fingerprint.

Cite this