Unifying and Analysing Activities of Daily Living in Extra Care Homes

Alexandros Konios, Yanguo Jing, Mark Eastwood, Bo Tan

Research output: Contribution to conferencePaperpeer-review


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


Conference3rd IEEE Cyber Science and Technology Congress
Abbreviated titleCyberSciTech
Internet address


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

Fingerprint 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