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

Richard O. Oyeleke, Carl K. Chang, Jennifer Margrett

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

    3 Scopus citations

    Abstract

    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.

    Original languageEnglish
    Title of host publicationProceedings - 2020 IEEE World Congress on Services, SERVICES 2020
    Pages22-24
    Number of pages3
    ISBN (Electronic)9781728182032
    DOIs
    StatePublished - Oct 2020
    Event2020 IEEE World Congress on Services, SERVICES 2020 - Virtual, Beijing, China
    Duration: 18 Oct 202024 Oct 2020

    Publication series

    NameProceedings - 2020 IEEE World Congress on Services, SERVICES 2020

    Conference

    Conference2020 IEEE World Congress on Services, SERVICES 2020
    Country/TerritoryChina
    CityVirtual, Beijing
    Period18/10/2024/10/20

    Keywords

    • Aging
    • IADLs
    • Safety
    • Situation
    • Smart Home
    • Temporal Logic

    Fingerprint

    Dive into the research topics of 'Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment'. Together they form a unique fingerprint.

    Cite this