A Discrete Event Model for Multiple Inhabitants Location Tracking

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

Contributor : Mickaël Danancher <>
Submitted on : Thursday, August 29, 2013 - 8:57:28 AM
Last modification on : Thursday, February 9, 2017 - 3:53:13 PM
Long-term archiving on : Thursday, April 6, 2017 - 9:48:42 AM


Files produced by the author(s)




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⟩



Record views


Files downloads