Skip to main content Skip to main navigation

Publication

An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments

Serge Autexier; Dieter Hutter; Christoph Stahl
In: Juan Carlos Augusto; Reiner Wichert (Hrsg.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013.

Abstract

Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through processes on an adequate level of abstraction with the SHIP-tool. Based on the representation of the environment in a formal logical description, communication with the environment is realized via updates of the logical description. Processes are built from basic actions to update the current logical descriptions and include means to monitor the evolution of the environment in a temporal logic formalism. The PIE-tool implements the process language and serves both for simulation and execution. The paper describes two examples of assistive services in a real smart home living lab, one for light and door control in emergency situations, and one for the scheduling of two parallel wheelchair transports.

Projects