A Discrete Event Model for Multiple Inhabitants Location Tracking

Mickaël Danancher (1, 2) , Jean-Jacques Lesage (1) , Lothar Litz (2) , Gregory Faraut (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
2 AT+ - Institute of Automatic Control

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.

Mots clés: Smart Home; Location Tracking; Discrete Event Systems Modeling; Finite Automata.; Finite Automata

Domaines: Automatique / Robotique

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut. A Discrete Event Model for Multiple Inhabitants Location Tracking. 9th IEEE International Conference on Automation Science and Engineering - CASE 2013, Aug 2013, Madison, WI, United States. pp.922-927, ⟨10.1109/CoASE.2013.6653946⟩. ⟨hal-00855156⟩