원문정보
초록
영어
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.
목차
1. Introduction
2. Theoretical Background
2.1. Boolean Control Network
2.2. Matrix Expression of Logic
2.3. Semi-tensor Matrix Product
2.4. Algebraic Representation of Boolean Functions
2.5. Procedure to Make Structure Matrix
2.6. Algebraic Representation of BCNs
2.7. Solution of a Logical Equation
3. State-Space Description of the System
4. Mathematical Modeling of the State-Space
5. Mathematical Modeling of Service Space
6. Methods of Inference
7. Conclusion
Acknowledgments
References