A logical approach to home automation

This paper describes an automated home environment comprising a varying population of different hardware and software modules, called pebbles, being controlled by a varying number of rules. The aim is to execute a number of concurrent applications and to be sure of their potential interactions in advance, in order to avoid any feature interaction. For this, all devices and applications must advertise their behaviour beforehand by code reflection. Our API for code reflection is our formally verifiable logic language, called Pushlogic, into which all the control software is eventually translated. We use a home control scenario to highlight different aspects of our logic-based control of these pebbles