Projekter pr. år
Abstract
Defining control scenarios in a smart home is a difficult task for end users. In particular, one concern is that user-defined scenarios could lead to unsafe or undesired state of the system. To help them explore scenario specifications, we propose in this paper a system that enables specification of constraints restricting the control commands that can be used inside user-defined scenarios. The system is based on timed automata model checking abstracted by event condition action rules. A prototype was implemented, including a user interface to interact with the user. The usability of the system and interface was evaluated in a user study which results are reported here.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Journal of Reliable Intelligent Environments |
Vol/bind | 2 |
Udgave nummer | 2 |
Sider (fra-til) | 75-91 |
Antal sider | 17 |
ISSN | 2199-4668 |
DOI | |
Status | Udgivet - jul. 2016 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'User constraints for reliable user-defined smart home scenarios'. Sammen danner de et unikt fingeraftryk.Projekter
- 2 Afsluttet
-
Arrowhead
Skou, A. (Projektdeltager), Pedersen, T. B. (Projektdeltager) & Bak-Jensen, B. (Projektdeltager)
01/03/2013 → 28/02/2017
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)
01/01/2012 → 31/12/2016
Projekter: Projekt › Forskning