Unifying and analysing activities of daily living in extra care homes

Alexandros Konios, Yanguo Jing, Mark Eastwood, Bo Tan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Citations (Scopus)


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
Title of host publication2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech)
Publication statusPublished - Oct 2018
Externally publishedYes
Event3rd IEEE Cyber Science and Technology Congress - Athens, Greece
Duration: 12 Aug 201815 Aug 2018

Academic conference

Academic conference3rd IEEE Cyber Science and Technology Congress
Abbreviated titleCyberSciTech
Internet address


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


Dive into the research topics of 'Unifying and analysing activities of daily living in extra care homes'. Together they form a unique fingerprint.

Cite this