Controller Synthesis for Home Automation

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Mathias Grund Sørensen
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
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.
Antal sider35
ID: 198660756