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.
|Publication status||Published - Jun 2018|
- Activities of Daily Living
- Petri nets
- Formal Modelling
- Formal Verification