User constraints for reliable user-defined smart home scenarios

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

13 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


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