Unifying and Analysing Activities of Daily Living in Extra Care Homes

Alexandros Konios, Yanguo Jing, Mark Eastwood, Bo Tan

Research output: Contribution to conferencePaper

Abstract

This work presents the unification and formal analysis of occurring Activities of Daily Living (ADLs) identified by an intelligent well-being monitoring system used for elderly residents in extra care homes. The ADLs considered in this paper are: i) personal grooming and toilet, ii) preparation of breakfast, iii) preparation of lunch, iv) preparation of evening meal and v) sleep. These ADLs are examined as they exhibit multiple or similar occurrences during a typical day. The novelty of this work lies in the introduction of a unification approach that could help for the detection of normal and abnormal behaviour based on the execution of the ADLs from elders in extra care homes equipped with different types of sensors. To unify and detect these types of behaviour, temporal aspects of the ADLs’ execution like their duration and time of day are scrutinised. Moreover, the formal analysis of the identified ADLs is conducted, using Petri nets for the modelling of these activities and model checking for their verification. Finally, the verification results are used to indicate whether an abnormal behaviour takes places during an activity, which could be used as a measure for spotting potential health issues regarding the elders that reside in the monitored homes.
Original languageEnglish
Publication statusAccepted/In press - Jun 2018
Event3rd IEEE Cyber Science and Technology Congress - Athens, Greece
Duration: 12 Aug 201815 Aug 2018
http://cyber-science.org/2018/

Conference

Conference3rd IEEE Cyber Science and Technology Congress
Abbreviated titleCyberSciTech
CountryGreece
CityAthens
Period12/08/1815/08/18
Internet address

Fingerprint

Model checking
Petri nets
Health
Monitoring
Sensors
Sleep

Keywords

  • Activities of Daily Living
  • Petri nets
  • Formal Modelling
  • Formal Verification

Cite this

Konios, A., Jing, Y., Eastwood, M., & Tan, B. (Accepted/In press). Unifying and Analysing Activities of Daily Living in Extra Care Homes. Paper presented at 3rd IEEE Cyber Science and Technology Congress , Athens, Greece.

Unifying and Analysing Activities of Daily Living in Extra Care Homes. / Konios, Alexandros; Jing, Yanguo; Eastwood, Mark; Tan, Bo.

2018. Paper presented at 3rd IEEE Cyber Science and Technology Congress , Athens, Greece.

Research output: Contribution to conferencePaper

Konios, A, Jing, Y, Eastwood, M & Tan, B 2018, 'Unifying and Analysing Activities of Daily Living in Extra Care Homes' Paper presented at 3rd IEEE Cyber Science and Technology Congress , Athens, Greece, 12/08/18 - 15/08/18, .
Konios A, Jing Y, Eastwood M, Tan B. Unifying and Analysing Activities of Daily Living in Extra Care Homes. 2018. Paper presented at 3rd IEEE Cyber Science and Technology Congress , Athens, Greece.
Konios, Alexandros ; Jing, Yanguo ; Eastwood, Mark ; Tan, Bo. / Unifying and Analysing Activities of Daily Living in Extra Care Homes. Paper presented at 3rd IEEE Cyber Science and Technology Congress , Athens, Greece.
@conference{ba482ce91d294155809107e55a9278ba,
title = "Unifying and Analysing Activities of Daily Living in Extra Care Homes",
abstract = "This work presents the unification and formal analysis of occurring Activities of Daily Living (ADLs) identified by an intelligent well-being monitoring system used for elderly residents in extra care homes. The ADLs considered in this paper are: i) personal grooming and toilet, ii) preparation of breakfast, iii) preparation of lunch, iv) preparation of evening meal and v) sleep. These ADLs are examined as they exhibit multiple or similar occurrences during a typical day. The novelty of this work lies in the introduction of a unification approach that could help for the detection of normal and abnormal behaviour based on the execution of the ADLs from elders in extra care homes equipped with different types of sensors. To unify and detect these types of behaviour, temporal aspects of the ADLs’ execution like their duration and time of day are scrutinised. Moreover, the formal analysis of the identified ADLs is conducted, using Petri nets for the modelling of these activities and model checking for their verification. Finally, the verification results are used to indicate whether an abnormal behaviour takes places during an activity, which could be used as a measure for spotting potential health issues regarding the elders that reside in the monitored homes.",
keywords = "Activities of Daily Living, Petri nets, Formal Modelling , Formal Verification",
author = "Alexandros Konios and Yanguo Jing and Mark Eastwood and Bo Tan",
year = "2018",
month = "6",
language = "English",
note = "3rd IEEE Cyber Science and Technology Congress , CyberSciTech ; Conference date: 12-08-2018 Through 15-08-2018",
url = "http://cyber-science.org/2018/",

}

TY - CONF

T1 - Unifying and Analysing Activities of Daily Living in Extra Care Homes

AU - Konios, Alexandros

AU - Jing, Yanguo

AU - Eastwood, Mark

AU - Tan, Bo

PY - 2018/6

Y1 - 2018/6

N2 - This work presents the unification and formal analysis of occurring Activities of Daily Living (ADLs) identified by an intelligent well-being monitoring system used for elderly residents in extra care homes. The ADLs considered in this paper are: i) personal grooming and toilet, ii) preparation of breakfast, iii) preparation of lunch, iv) preparation of evening meal and v) sleep. These ADLs are examined as they exhibit multiple or similar occurrences during a typical day. The novelty of this work lies in the introduction of a unification approach that could help for the detection of normal and abnormal behaviour based on the execution of the ADLs from elders in extra care homes equipped with different types of sensors. To unify and detect these types of behaviour, temporal aspects of the ADLs’ execution like their duration and time of day are scrutinised. Moreover, the formal analysis of the identified ADLs is conducted, using Petri nets for the modelling of these activities and model checking for their verification. Finally, the verification results are used to indicate whether an abnormal behaviour takes places during an activity, which could be used as a measure for spotting potential health issues regarding the elders that reside in the monitored homes.

AB - This work presents the unification and formal analysis of occurring Activities of Daily Living (ADLs) identified by an intelligent well-being monitoring system used for elderly residents in extra care homes. The ADLs considered in this paper are: i) personal grooming and toilet, ii) preparation of breakfast, iii) preparation of lunch, iv) preparation of evening meal and v) sleep. These ADLs are examined as they exhibit multiple or similar occurrences during a typical day. The novelty of this work lies in the introduction of a unification approach that could help for the detection of normal and abnormal behaviour based on the execution of the ADLs from elders in extra care homes equipped with different types of sensors. To unify and detect these types of behaviour, temporal aspects of the ADLs’ execution like their duration and time of day are scrutinised. Moreover, the formal analysis of the identified ADLs is conducted, using Petri nets for the modelling of these activities and model checking for their verification. Finally, the verification results are used to indicate whether an abnormal behaviour takes places during an activity, which could be used as a measure for spotting potential health issues regarding the elders that reside in the monitored homes.

KW - Activities of Daily Living

KW - Petri nets

KW - Formal Modelling

KW - Formal Verification

M3 - Paper

ER -