Indoor Location Tracking Based on a Discrete Event Model

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

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

Some Ambient Assisted Living approaches are based on location tracking of the inhabitant. In this paper special finite automata are introduced to describe the dynamic indoor tracking process. A method to systematically generate the automaton is presented only using the topology and the sensor instrumentation of the house. Based on the discrete event model of the automaton an algorithm for location tracking has been developed. To clarify the foregoing an illustrative example is used throughout the paper.

Mots clés: Ambient Assisted Living; Discrete Event System; Finite Automata; Location Tracking

Domaines: Automatique / Robotique

Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz. Indoor Location Tracking Based on a Discrete Event Model. International Conference on Smart Homes and Health Telematics, ICOST 2012, Jun 2012, Artimino, Italy. pp.262-265, ⟨10.1007/978-3-642-30779-9_40⟩. ⟨hal-00709173⟩