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

doi:10.1109/ITAB.2010.5687608

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 proceeding › Conference contribution › peer-review

5 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 language	English
Title of host publication	Unknown Host Publication
Publisher	IEEE
Number of pages	4
DOIs	https://doi.org/10.1109/ITAB.2010.5687608
Publication status	Published (in print/issue) - 5 Nov 2010
Event	International Conference on Information Technology and Applications in Biomedicine - Duration: 5 Nov 2010 → …

Conference

Conference	International Conference on Information Technology and Applications in Biomedicine
Period	5/11/10 → …

Access to Document

10.1109/ITAB.2010.5687608

Cite this

@inproceedings{a84b3bdb453d4a9e82e462963aa8488e,

title = "Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living",

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.",

author = "Tommaso Magherini and Guido Parente and CD Nugent and Mark Donnelly and Enrico Vicario and Federico Cruciani and Christiano Paggetti",

year = "2010",

month = nov,

day = "5",

doi = "10.1109/ITAB.2010.5687608",

language = "English",

booktitle = "Unknown Host Publication",

publisher = "IEEE",

address = "United States",

note = "International Conference on Information Technology and Applications in Biomedicine ; Conference date: 05-11-2010",

}

TY - GEN

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

AU - Magherini, Tommaso

AU - Parente, Guido

AU - Nugent, CD

AU - Donnelly, Mark

AU - Vicario, Enrico

AU - Cruciani, Federico

AU - Paggetti, Christiano

PY - 2010/11/5

Y1 - 2010/11/5

N2 - 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.

AB - 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.

U2 - 10.1109/ITAB.2010.5687608

DO - 10.1109/ITAB.2010.5687608

M3 - Conference contribution

BT - Unknown Host Publication

PB - IEEE

T2 - International Conference on Information Technology and Applications in Biomedicine

Y2 - 5 November 2010

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this