A DES Simulator for Location Tracking of Inhabitants in Smart Home

Abstract

In previous works we showed that, in return for some assumptions, indoor Location Tracking (LT) can be formulated as a Discrete Event Systems (DES) problem. We proposed a method for constructing Finite Automata (FA) models on which LT is performed online for single or multiple inhabitants. However, the accuracy of LT strongly depends on the choices of the designer concerning topology (in particular the splitting of the dwelling in zones) and the number and placement of sensors. To evaluate the impact of these choices onto the efficiency of the LT, we proposed an analytical approach that allows determining asymptotic performance criteria. This performance evaluation does not take into account the human behavior (real time moving of inhabitants) which is very difficult to model. In order to include the inhabitants behavior, and thus to improve the performance evaluation by considering dynamic criteria, we propose in this paper a discrete event simulation approach that allows to emulate the smart home and to immerse the human operator into this environment without having to model the human behavior.