Controller Synthesis for Home Automation

Student thesis: Master thesis (including HD thesis)

  • Mathias Grund Sørensen
4. term, Computer Science, Master (Master Programme)
A large challenge in home automation is the construction of control programs to dictate behavior of the system. The design of such a control program is a technically challenging task which is commonly left for the (unaided) end-user. To address this, we present an approach to construct control programs from a high-level specification of desired system behavior using game theory. We provide a complete toolchain based on the HomePort platform and using UPPAAL TiGa for control strategy synthesis. The toolchain is implemented on a Raspberry Pi as a completely automated process from behavior specification in a simple web-app interface to control strategy synthesis and effectuation. We conclude that the approach shows a promising application of game theory in a real-life scenario and that sufficient performance and scaleability for real-life application is achievable, although some work remains on improving performance and extending expressiveness of the approach.
Publication date2014
Number of pages35
ID: 198660756