A Discrete event model for multiple inhabitants location tracking

Smart Home technologies are aiming to improve the comfort and safety of the inhabitants into their houses. To achieve this goal, online indoor location tracking of the inhabitants is often used to monitor the air conditioning, to detect dangerous situations and for many other applications. In this paper, it is proposed an approach to build a model allowing dynamic tracking of several persons in their house. A method to construct such a model by using finite automata and Discrete Event System (DES) paradigms is presented. An approach to reduce the size of the model is also introduced. Finally, an efficient algorithm for location tracking is proposed. For the sake of better understanding, an illustrative example is used throughout the paper.