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

2 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.
LanguageEnglish
Title of host publicationUnknown Host Publication
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

Temporal logic
Model checking
Video recording
Kitchens
Scalability
Semantics
Monitoring
Experiments

Cite this

Magherini, T., Parente, G., Nugent, CD., Donnelly, M., Vicario, E., Cruciani, F., & Paggetti, C. (2010). Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. In Unknown Host Publication https://doi.org/10.1109/ITAB.2010.5687608
Magherini, Tommaso ; Parente, Guido ; Nugent, CD ; Donnelly, Mark ; Vicario, Enrico ; Cruciani, Federico ; Paggetti, Christiano. / Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. Unknown Host Publication. 2010.
@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 = "11",
day = "5",
doi = "10.1109/ITAB.2010.5687608",
language = "English",
booktitle = "Unknown Host Publication",

}

Magherini, T, Parente, G, Nugent, CD, Donnelly, M, Vicario, E, Cruciani, F & Paggetti, C 2010, Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. in Unknown Host Publication. International Conference on Information Technology and Applications in Biomedicine, 5/11/10. https://doi.org/10.1109/ITAB.2010.5687608

Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. / Magherini, Tommaso; Parente, Guido; Nugent, CD; Donnelly, Mark; Vicario, Enrico; Cruciani, Federico; Paggetti, Christiano.

Unknown Host Publication. 2010.

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

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

ER -