Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment

摘要

Early-stage dementia impacts aging adults' cognitive functioning including the initiative and performance of instrumental activities of daily living (IADLs) that require a series of actions to be completed (e.g., meal preparation, medication management). Thus, cognitive impairment predisposes adults to temporal organization of action sequence error in IADLs that may constitute life-threatening injuries or accidents [11]–[13]. To mitigate this inherent risk in the performance of IADLs, a linear temporal logic (LTL)-based safety model is proposed for detection of risky behaviors inherent IADLs in smart home environments. Keywords-Safety; Aging; Situation; IADLs; Smart Home; Temporal Logic