Modeling a Risk Detection System for Elderly’s Home-Care with a Network of Timed Automata

• Published in: Ambient Assisted Living and Home Care pp. 82 - 89
• Main Authors: Navarrete, Isabel, Rubio, José A., Botía, Juan A., Palma, José T., Campuzano, Francisco J.
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012
• Series: Lecture Notes in Computer Science
• Subjects: activity recognition; environment modeling; homecare; monitoring; risk detection; timed automata
• ISBN: 9783642353949; 3642353940
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-35395-6_11

We address the problem of modeling a risk detection system oriented to elderly’s home-care, which may cause the generation of an alarm if there is evidence of a serious problem. We have chosen a network of timed automata as a suitable formalism to solve the problem in a simple and elegant fashion. Our model is capable of representing the subject’s environment, modeling his behavior dynamics, detecting several types of abnormal behavior patterns, and deciding whether they have enough evidence of being dangerous to generate an alarm. In addition, the formalism allows concurrent activity monitoring in different rooms, what is useful to determine if the person is alone at home, in order to avoid the generation of false alarms when the elder is supposed to be already under human care. We have verified critical properties of the model by using a model-checking engine.