Robust indoor location tracking of multiple inhabitants using only binary sensors

The use of smart homes has been increasing greatly in recent years thanks to considerable achievements in technology. Home automation aims to improve person's autonomy and safety. For that reason, many indoor localization systems were developed recently. Nevertheless, their efficiency were improved for a single inhabitant and can not be applied in the presence of an outsider. For this purpose, the aim of this work is to design a wireless sensors network and develop a novel approach which can track multiple humans in an indoor environment. The proposed method uses a satisfiability (SAT) checker for boolean combinations of arithmetic constraints over real- and integer-valued variables. This algorithm is implemented in a set-membership framework dealing with faulty measurements. An illustrative example and experimental results are provided throughout this paper to show the performance of our method.