Projects per year
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 language | English |
---|---|
Title of host publication | International Conference on Intelligent Environments (IE), 2015 |
Number of pages | 8 |
Publisher | IEEE |
Publication date | Jul 2015 |
Pages | 17-24 |
ISBN (Print) | 978-1-4673-6654-0 |
DOIs | |
Publication status | Published - Jul 2015 |
Event | 2015 International Conference on Intelligent Environments (IE 2015) - Prague, Czech Republic Duration: 15 Jul 2015 → 17 Jul 2015 |
Conference
Conference | 2015 International Conference on Intelligent Environments (IE 2015) |
---|---|
Country/Territory | Czech Republic |
City | Prague |
Period | 15/07/2015 → 17/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.Projects
- 3 Finished
-
-
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G., Skou, A. & Ravn, A. P.
01/11/2012 → 31/10/2015
Project: Research
-
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
01/01/2012 → 31/12/2016
Project: Research