I have done quite a bit of work in the past 10 years under
the `Home Networking' monica. Right now I am looking at methods for generating
and representing user applications and formally checking them.
IWAC02.
the
Autohan approach to control of home devices by unskilled people.
These are the infamous Media Cubes, which we are starting to use
in our
AutoHan
project as an extension of the infra-red controller
for programming and real-time control of the home. They were
invented by
Alan Blackwell,
designed by
Daniel Gordon and built by Dick Kimpton.