摘要：Context-awareness is an important characteristic for smart home. Context-aware system reacts and adapts according to the changes in the domain environment. In this paper, we have presented a mathematical modeling used for a context-aware system based on Boolean control network with five nodes for smart home. This Boolean control network describes the relationship between the context elements (user, time, location, activity) and service states (morning call, normal, entertainment, sleeping, guarding). We expressed the dynamics of the state spaces by linear algebraic equation using semi-tensor product of matrices, which is effective to logical inference and control.
关键词：Boolean control networks; context-aware system; semi-tensor product ; (STP) of matrices; smart home
