Modelling Activities of Daily Living with Petri nets

Garcia-Constantinoand, Matias, KONIOS, Alexandros and Nugent, Chris (2018) Modelling Activities of Daily Living with Petri nets. In: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, pp. 866-871. ISBN 978-1-5386-3227-7

Preview

Text PerCom2018_V9.pdf - AUTHOR'S ACCEPTED Version (default) Available under License All Rights Reserved. Download (386kB) | Preview

Abstract or description

Modelling Activities of Daily Living (ADLs) is an important step in the process to design and implement reliable sensor systems that effectively monitor the activities of the ageing population. Once modelled, unusual activities may be detected that have the potential of impacting upon a person's well-being. The use of Petri nets to model ADLs is considered in this research as a means to capture the intricate behaviours of ambient systems. To our best knowledge there has not been extensive work in the related literature, hence the novelty of this work. The ADLs considered in the developed Petri net model are: (i) preparing tea, (ii) preparing coffee, and (iii) preparing pasta. The first two ADLs listed are deemed to have many occurrences during a typical day of an elderly person. The third activity is representative of activities that involve cooking. Hence, abnormal behaviour detected in the context of these activities can be an indicator of a progressive health problem or the occurrence of a hazardous incident. The completion and non- completion of activities are considered in the developed Petri net model and are also formally verified. The description of the sensor system of the kitchen ADLs, its Petri net model and verification results are presented. Results show that the Petri net modelling of ADLs can reliably and effectively reflect the real behaviour of the examined system detecting all the activities of the users that can exhibit both their normal and abnormal behaviour.

Item Type:	Book Chapter, Section or Conference Proceeding
Additional Information:	“© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”
Uncontrolled Keywords:	assisted living;geriatrics;Petri nets;sensors;sensor system;kitchen ADLs;Petri net modelling;modelling activities;reliable sensor systems;ambient systems;Petri net model;activities of daily living;Petri nets;Thermal sensors;Monitoring;Computational modeling;Mathematical model;Activity recognition;Activities of Daily Living;Petri nets;Modelling;Verification
Faculty:	School of Computing and Digital Technologies > Computing
Event Title:	2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
Depositing User:	Alexandros KONIOS
Date Deposited:	16 Dec 2020 10:43
Last Modified:	24 Feb 2023 14:00
URI:	https://eprints.staffs.ac.uk/id/eprint/6670

Actions (login required)

View Item