User constraints for reliable user-defined smart home scenarios

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)


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.
TidsskriftJournal of Reliable Intelligent Environments
Udgave nummer2
Sider (fra-til)75-91
Antal sider17
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


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

    Artemis JU


    Projekter: ProjektForskning

  • Totalflex

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



    Projekter: ProjektForskning

  • Citationsformater