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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TitelInternational Conference on Intelligent Environments (IE), 2015
Antal sider8
ForlagIEEE
Publikationsdatojul. 2015
Sider17-24
ISBN (Trykt)978-1-4673-6654-0
DOI
StatusUdgivet - jul. 2015
Begivenhed2015 International Conference on Intelligent Environments (IE 2015) - Prague, Tjekkiet
Varighed: 15 jul. 201517 jul. 2015

Konference

Konference2015 International Conference on Intelligent Environments (IE 2015)
LandTjekkiet
ByPrague
Periode15/07/201517/07/2015

    Fingerprint

Citationsformater

Le Guilly, T., Smedegaard, J. H., Pedersen, T., & Skou, A. J. (2015). To Do and Not To Do: Constrained Scenarios for Safe Smart House. I International Conference on Intelligent Environments (IE), 2015 (s. 17-24). IEEE. https://doi.org/10.1109/IE.2015.11