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

8 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)
CountryCzech Republic
CityPrague
Period15/07/201517/07/2015

Fingerprint

Intelligent buildings
Graphical user interfaces
Large scale systems
Automation

Keywords

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

Cite this

Le Guilly, T., Smedegaard, J. H., Pedersen, T., & Skou, A. J. (2015). To Do and Not To Do: Constrained Scenarios for Safe Smart House. In International Conference on Intelligent Environments (IE), 2015 (pp. 17-24). IEEE. https://doi.org/10.1109/IE.2015.11
Le Guilly, Thibaut ; Smedegaard, Jacob Haubach ; Pedersen, Thomas ; Skou, Arne Joachim. / To Do and Not To Do : Constrained Scenarios for Safe Smart House. International Conference on Intelligent Environments (IE), 2015. IEEE, 2015. pp. 17-24
@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 = "7",
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",
address = "United States",

}

Le Guilly, T, Smedegaard, JH, Pedersen, T & Skou, AJ 2015, To Do and Not To Do: Constrained Scenarios for Safe Smart House. in International Conference on Intelligent Environments (IE), 2015. IEEE, pp. 17-24, 2015 International Conference on Intelligent Environments (IE 2015), Prague, Czech Republic, 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; Skou, Arne Joachim.

International Conference on Intelligent Environments (IE), 2015. IEEE, 2015. p. 17-24.

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

TY - GEN

T1 - To Do and Not To Do

T2 - Constrained Scenarios for Safe Smart House

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

ER -

Le Guilly T, Smedegaard JH, Pedersen T, Skou AJ. To Do and Not To Do: Constrained Scenarios for Safe Smart House. In International Conference on Intelligent Environments (IE), 2015. IEEE. 2015. p. 17-24 https://doi.org/10.1109/IE.2015.11