Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living

Tommaso Magherini, Guido Parente, CD Nugent, Mark Donnelly, Enrico Vicario, Federico Cruciani, Christiano Paggetti

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Abstract—The recognition and monitoring of activities of daily living is one of the key requirements of a Smart Living environment to promote levels of independence. In this paper,we present a novel approach to extracting high-level semantic information from low-level data acquired through video recordings. We have developed a Model Checker based on a bounded temporal past linear logic. We have evaluated the performance of the model checker based on a set of 12 experiments conducted within a Smart Kitchen environment. Initial results have demonstrated the utility of such an approach, however, further efforts are required to address issues of scalability and maintenance.
Original languageEnglish
Title of host publicationUnknown Host Publication
PublisherIEEE
Number of pages4
DOIs
Publication statusPublished - 5 Nov 2010
EventInternational Conference on Information Technology and Applications in Biomedicine -
Duration: 5 Nov 2010 → …

Conference

ConferenceInternational Conference on Information Technology and Applications in Biomedicine
Period5/11/10 → …

Fingerprint Dive into the research topics of 'Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living'. Together they form a unique fingerprint.

Cite this