Mathematical modelling of a context-aware system based on Boolean control networks for smart home

In this paper, we have presented a mathematical modelling of a context-aware system used in smart home based on Boolean control networks. This modelling describes the relationship between the context elements and services, which is effective to logical inference.