Controller Synthesis for Home Automation
Translated title
Author
Term
4. term
Education
Publication year
2014
Submitted on
2014-06-09
Pages
35
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 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.
Keywords
UPPAAL ; HomePort ; TiGa ; spilteori ; home automation
Documents