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

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

doi:10.1109/IE.2015.11

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

11 Citationer (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.

Originalsprog	Engelsk
Titel	International Conference on Intelligent Environments (IE), 2015
Antal sider	8
Forlag	IEEE (Institute of Electrical and Electronics Engineers)
Publikationsdato	jul. 2015
Sider	17-24
ISBN (Trykt)	978-1-4673-6654-0
DOI	https://doi.org/10.1109/IE.2015.11
Status	Udgivet - jul. 2015
Begivenhed	2015 International Conference on Intelligent Environments (IE 2015) - Prague, Tjekkiet Varighed: 15 jul. 2015 → 17 jul. 2015

Konference

Konference	2015 International Conference on Intelligent Environments (IE 2015)
Land/Område	Tjekkiet
By	Prague
Periode	15/07/2015 → 17/07/2015

Adgang til dokumentet

10.1109/IE.2015.11

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Arrowhead
Skou, A. (Projektdeltager), Pedersen, T. B. (Projektdeltager) & Bak-Jensen, B. (Projektdeltager)
Artemis JU
01/03/2013 → 28/02/2017
Projekter: Projekt › Forskning
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G. (Projektdeltager), Skou, A. (Projektdeltager) & Ravn, A. P. (Projektdeltager)
FP7 STREP
01/11/2012 → 31/10/2015
Projekter: Projekt › Forskning
Totalflex
Skou, A. (Projektdeltager), Pedersen, T. B. (Projektdeltager), Bak-Jensen, B. (Projektdeltager), Kjeldskov, J. (Projektdeltager), Skov, M. B. (Projektdeltager) & Uhrenholt, R. W. (Projektdeltager)
ForskEL
01/01/2012 → 31/12/2016
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{daef895399224a5d9c6ab5b06236f441,

title = "To Do and Not To Do: Constrained Scenarios for Safe Smart House",

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.",

keywords = "Formal methods, Reliability, Smart House, Timed Automata , User Interface",

author = "{Le Guilly}, Thibaut and Smedegaard, {Jacob Haubach} and Thomas Pedersen and Skou, {Arne Joachim}",

year = "2015",

month = jul,

doi = "10.1109/IE.2015.11",

language = "English",

isbn = "978-1-4673-6654-0",

pages = "17--24",

booktitle = "International Conference on Intelligent Environments (IE), 2015",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

address = "United States",

note = "2015 International Conference on Intelligent Environments (IE 2015) ; Conference date: 15-07-2015 Through 17-07-2015",

}

Le Guilly, T, Smedegaard, JH, Pedersen, T & Skou, AJ 2015, To Do and Not To Do: Constrained Scenarios for Safe Smart House. i International Conference on Intelligent Environments (IE), 2015. IEEE (Institute of Electrical and Electronics Engineers), s. 17-24, 2015 International Conference on Intelligent Environments (IE 2015), Prague, Tjekkiet, 15/07/2015. https://doi.org/10.1109/IE.2015.11

To Do and Not To Do: Constrained Scenarios for Safe Smart House. / Le Guilly, Thibaut; Smedegaard, Jacob Haubach; Pedersen, Thomas et al.
International Conference on Intelligent Environments (IE), 2015. IEEE (Institute of Electrical and Electronics Engineers), 2015. s. 17-24.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - To Do and Not To Do

T2 - 2015 International Conference on Intelligent Environments (IE 2015)

AU - Le Guilly, Thibaut

AU - Smedegaard, Jacob Haubach

AU - Pedersen, Thomas

AU - Skou, Arne Joachim

PY - 2015/7

Y1 - 2015/7

N2 - 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.

AB - 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.

KW - Formal methods

KW - Reliability

KW - Smart House

KW - Timed Automata

KW - User Interface

U2 - 10.1109/IE.2015.11

DO - 10.1109/IE.2015.11

M3 - Article in proceeding

SN - 978-1-4673-6654-0

SP - 17

EP - 24

BT - International Conference on Intelligent Environments (IE), 2015

PB - IEEE (Institute of Electrical and Electronics Engineers)

Y2 - 15 July 2015 through 17 July 2015

ER -

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

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

Arrowhead

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Totalflex

Citationsformater