Modeling a risk detection system for elderly's home-care with a network of timed automata

Authors:
Isabel Navarrete;José A. Rubio;Juan A. Botía;José T. Palma;Francisco J. Campuzano
Affiliations:
Department of Information Engineering, University of Murcia, Spain;Department of Information Engineering, University of Murcia, Spain;Department of Information Engineering, University of Murcia, Spain;Department of Information Engineering, University of Murcia, Spain;Department of Information Engineering, University of Murcia, Spain
Venue:
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
Year:
2012

Citing 6
Cited 0

Timed Automata

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Context-Aware Artifacts: Two Development Approaches

IEEE Pervasive Computing
Modelling secure wireless sensor networks routing protocols with timed automata

Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
A Wireless Sensor Network for Assisted Living at Home of Elderly People

IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part II: Bioinspired Applications in Artificial and Natural Computation
Towards timed automata and multi-agent systems

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Ambient Assisted Living system for in-home monitoring of healthy independent elders

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.