A logical approach to home automation
A logical approach to home automation
- Author(s):
- DOI: 10.1049/cp:20060677
For access to this article, please select a purchase option:
Buy conference paper PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
2nd IET International Conference on Intelligent Environments (IE 06) — Recommend this title to your library
Thank you
Your recommendation has been sent to your librarian.
- Author(s): Source: 2nd IET International Conference on Intelligent Environments (IE 06), 2006 page ()
- Conference: 2nd IET International Conference on Intelligent Environments (IE 06)
- DOI: 10.1049/cp:20060677
- ISBN: 0 86341 663 2
- Location: Athens, Greece
- Conference date: 5-6 July 2006
- Format: PDF
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. (6 pages)
Inspec keywords: application program interfaces; home automation; logic programming languages
Subjects: Home computing; Logic programming; Automated buildings; Control engineering computing
Related content
content/conferences/10.1049/cp_20060677
pub_keyword,iet_inspecKeyword,pub_concept
6
6