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.
Language | English |
---|---|
Publication date | 2014 |
Number of pages | 35 |