Controller Synthesis for Home Automation

Abstract. 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 e↵ectuation. We con-clude that the approach shows a promising application of game theory in a real-life scenario and that sucient performance and scaleability for real-life application is achievable, although some work remains on improving performance and extending expressiveness of the approach.