User constraints for reliable user-defined smart home scenarios

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (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.
Original languageEnglish
JournalJournal of Reliable Intelligent Environments
Issue number2
Pages (from-to)75-91
Number of pages17
Publication statusPublished - Jul 2016


  • Smart Home
  • User-defined scenarios
  • Formal methods
  • Reliability
  • Safety
  • Graphical User Interface


Dive into the research topics of 'User constraints for reliable user-defined smart home scenarios'. Together they form a unique fingerprint.

Cite this