User constraints for reliable user-defined smart home scenarios

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TidsskriftJournal of Reliable Intelligent Environments
Vol/bind2
Udgave nummer2
Sider (fra-til)75-91
Antal sider17
ISSN2199-4668
DOI
StatusUdgivet - jul. 2016

Fingeraftryk Dyk ned i forskningsemnerne om 'User constraints for reliable user-defined smart home scenarios'. Sammen danner de et unikt fingeraftryk.

  • Projekter

    Arrowhead

    Skou, A., Pedersen, T. B. & Bak-Jensen, B.

    Artemis JU

    01/03/201328/02/2017

    Projekter: ProjektForskning

  • Totalflex

    Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

    ForskEL

    01/01/201231/12/2016

    Projekter: ProjektForskning

  • Citationsformater