Our paper on understanding the ADL of older adults has been published by IEEE Sensors
Our paper describing “A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes” has been published by the journal IEEE Sensors. This describes a novel approach and framework integrating symbolic modelling and data from sensors for understanding the Activities of Daily Living (ADLs) of older adults living independently in their homes in Edinburgh and its neighbourhood.
The work is part of the Integrated Technologies of Care workpackage of the Advanced Care Research Centre (ACRC).
Abstract:
There is an urgent need to provide quality-of-life to a growing population of older adults living independently. Solutions that focus on the person and take into account their preferences and context are recognised as key. We introduce a framework for representing and reasoning about the Activities of Daily Living of older adults living independently at home. The framework integrates data from sensors and data from participants derived from semi-structured interviews, home layouts and additional contextual information, such as the researchers’ observations. These data are used to create formal models, personalised for each participant according to their preferences and context. Requirements specific to each individual are formulated and encoded in Linear Temporal Logic, and a model checker is used to verify whether each is satisfied by the model of the participant’s behaviour. We demonstrate the framework’s generalisability by applying it to two different participants, highlighting its potential to enhance the safety and well-being of older adults ageing in place.
Print ISSN: 1530-437X
Online ISSN: 1558-1748
DOI: 10.1109/JSEN.2025.3635781
More information available here.