Temporal Logic Bounded Model-Checking for recognition of activities of daily living

Recognition and monitoring of activities of daily living is a key challenge in the construction of Smart Living environments aimed at supporting independence of elderly or disabled people. In this challenge, there is an opportunity for formal methods to play a crucial role in filling the gap between...

Full description

Saved in:
Bibliographic Details
Main Authors: Magherini, T, Parente, G, Nugent, C D, Donnelly, M P, Vicario, E, Cruciani, F, Paggetti, C
Format: Conference Proceeding
Language:English
Subjects:
Semantics
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 4
container_issue
container_start_page 1
container_title
container_volume
creator Magherini, T
Parente, G
Nugent, C D
Donnelly, M P
Vicario, E
Cruciani, F
Paggetti, C
description Recognition and monitoring of activities of daily living is a key challenge in the construction of Smart Living environments aimed at supporting independence of elderly or disabled people. In this challenge, there is an opportunity for formal methods to play a crucial role in filling the gap between low-level measurements acquired by monitoring systems and high-level concepts that are required for the purposes of decision-support. In this work we propose the application of Temporal Logic and Bounded Model Checking as a way to capture patterns of sequenced activities and recognize them in a stream of observed low-level actions. This approach effectively accommodates for the problems of non-deterministic sequencing and interleaved activities. Results of the implementation and lab-experimentation of the proposed system are presented with reference to the case study within a smart kitchen equipped with stereoscopic camera devices.
doi_str_mv 10.1109/ITAB.2010.5687608
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5687608</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5687608</ieee_id><sourcerecordid>5687608</sourcerecordid><originalsourceid>FETCH-LOGICAL-i1338-11d612bb53e28ddf603358ea06581e4fc41155a75caf8ec41148d6d53b63418b3</originalsourceid><addsrcrecordid>eNo1kMtOwzAURM1LopR8AGLjH0jx9Ss3y7YqUKmIBWVdOfFNMKRxlRSk_j2pKLMZnRlpFsPYHYgJgMgfluvpbCLFgMZiZgWesSTPELTU2hoL6pyNJFhMpRR4wW5Ohcnh8r-AXF-zpO8_xSAcotyO2NuatrvYuYavYh1KPovfrSfPX6KnJp1_UPkV2ppXseMdlbFuwz7ElseKu3Iffgai_kjehebAmyFp61t2Vbmmp-TkY_b-uFjPn9PV69NyPl2lAZTCFMBbkEVhFEn0vrJCKYPkhDUIpKtSAxjjMlO6CulIGr31RhVWacBCjdn9324gos2uC1vXHTanf9QvqBlUOQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Temporal Logic Bounded Model-Checking for recognition of activities of daily living</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Magherini, T ; Parente, G ; Nugent, C D ; Donnelly, M P ; Vicario, E ; Cruciani, F ; Paggetti, C</creator><creatorcontrib>Magherini, T ; Parente, G ; Nugent, C D ; Donnelly, M P ; Vicario, E ; Cruciani, F ; Paggetti, C</creatorcontrib><description>Recognition and monitoring of activities of daily living is a key challenge in the construction of Smart Living environments aimed at supporting independence of elderly or disabled people. In this challenge, there is an opportunity for formal methods to play a crucial role in filling the gap between low-level measurements acquired by monitoring systems and high-level concepts that are required for the purposes of decision-support. In this work we propose the application of Temporal Logic and Bounded Model Checking as a way to capture patterns of sequenced activities and recognize them in a stream of observed low-level actions. This approach effectively accommodates for the problems of non-deterministic sequencing and interleaved activities. Results of the implementation and lab-experimentation of the proposed system are presented with reference to the case study within a smart kitchen equipped with stereoscopic camera devices.</description><identifier>ISSN: 2168-2194</identifier><identifier>ISBN: 1424465591</identifier><identifier>ISBN: 9781424465590</identifier><identifier>EISSN: 2168-2208</identifier><identifier>EISBN: 9781424465613</identifier><identifier>EISBN: 1424465613</identifier><identifier>EISBN: 1424465605</identifier><identifier>EISBN: 9781424465606</identifier><identifier>DOI: 10.1109/ITAB.2010.5687608</identifier><language>eng</language><publisher>IEEE</publisher><subject>Semantics</subject><ispartof>Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine, 2010, p.1-4</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5687608$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5687608$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Magherini, T</creatorcontrib><creatorcontrib>Parente, G</creatorcontrib><creatorcontrib>Nugent, C D</creatorcontrib><creatorcontrib>Donnelly, M P</creatorcontrib><creatorcontrib>Vicario, E</creatorcontrib><creatorcontrib>Cruciani, F</creatorcontrib><creatorcontrib>Paggetti, C</creatorcontrib><title>Temporal Logic Bounded Model-Checking for recognition of activities of daily living</title><title>Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine</title><addtitle>ITAB</addtitle><description>Recognition and monitoring of activities of daily living is a key challenge in the construction of Smart Living environments aimed at supporting independence of elderly or disabled people. In this challenge, there is an opportunity for formal methods to play a crucial role in filling the gap between low-level measurements acquired by monitoring systems and high-level concepts that are required for the purposes of decision-support. In this work we propose the application of Temporal Logic and Bounded Model Checking as a way to capture patterns of sequenced activities and recognize them in a stream of observed low-level actions. This approach effectively accommodates for the problems of non-deterministic sequencing and interleaved activities. Results of the implementation and lab-experimentation of the proposed system are presented with reference to the case study within a smart kitchen equipped with stereoscopic camera devices.</description><subject>Semantics</subject><issn>2168-2194</issn><issn>2168-2208</issn><isbn>1424465591</isbn><isbn>9781424465590</isbn><isbn>9781424465613</isbn><isbn>1424465613</isbn><isbn>1424465605</isbn><isbn>9781424465606</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo1kMtOwzAURM1LopR8AGLjH0jx9Ss3y7YqUKmIBWVdOfFNMKRxlRSk_j2pKLMZnRlpFsPYHYgJgMgfluvpbCLFgMZiZgWesSTPELTU2hoL6pyNJFhMpRR4wW5Ohcnh8r-AXF-zpO8_xSAcotyO2NuatrvYuYavYh1KPovfrSfPX6KnJp1_UPkV2ppXseMdlbFuwz7ElseKu3Iffgai_kjehebAmyFp61t2Vbmmp-TkY_b-uFjPn9PV69NyPl2lAZTCFMBbkEVhFEn0vrJCKYPkhDUIpKtSAxjjMlO6CulIGr31RhVWacBCjdn9324gos2uC1vXHTanf9QvqBlUOQ</recordid><startdate>201011</startdate><enddate>201011</enddate><creator>Magherini, T</creator><creator>Parente, G</creator><creator>Nugent, C D</creator><creator>Donnelly, M P</creator><creator>Vicario, E</creator><creator>Cruciani, F</creator><creator>Paggetti, C</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201011</creationdate><title>Temporal Logic Bounded Model-Checking for recognition of activities of daily living</title><author>Magherini, T ; Parente, G ; Nugent, C D ; Donnelly, M P ; Vicario, E ; Cruciani, F ; Paggetti, C</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i1338-11d612bb53e28ddf603358ea06581e4fc41155a75caf8ec41148d6d53b63418b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Semantics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Magherini, T</creatorcontrib><creatorcontrib>Parente, G</creatorcontrib><creatorcontrib>Nugent, C D</creatorcontrib><creatorcontrib>Donnelly, M P</creatorcontrib><creatorcontrib>Vicario, E</creatorcontrib><creatorcontrib>Cruciani, F</creatorcontrib><creatorcontrib>Paggetti, C</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore (Online service)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Magherini, T</au><au>Parente, G</au><au>Nugent, C D</au><au>Donnelly, M P</au><au>Vicario, E</au><au>Cruciani, F</au><au>Paggetti, C</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Temporal Logic Bounded Model-Checking for recognition of activities of daily living</atitle><btitle>Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine</btitle><stitle>ITAB</stitle><date>2010-11</date><risdate>2010</risdate><spage>1</spage><epage>4</epage><pages>1-4</pages><issn>2168-2194</issn><eissn>2168-2208</eissn><isbn>1424465591</isbn><isbn>9781424465590</isbn><eisbn>9781424465613</eisbn><eisbn>1424465613</eisbn><eisbn>1424465605</eisbn><eisbn>9781424465606</eisbn><abstract>Recognition and monitoring of activities of daily living is a key challenge in the construction of Smart Living environments aimed at supporting independence of elderly or disabled people. In this challenge, there is an opportunity for formal methods to play a crucial role in filling the gap between low-level measurements acquired by monitoring systems and high-level concepts that are required for the purposes of decision-support. In this work we propose the application of Temporal Logic and Bounded Model Checking as a way to capture patterns of sequenced activities and recognize them in a stream of observed low-level actions. This approach effectively accommodates for the problems of non-deterministic sequencing and interleaved activities. Results of the implementation and lab-experimentation of the proposed system are presented with reference to the case study within a smart kitchen equipped with stereoscopic camera devices.</abstract><pub>IEEE</pub><doi>10.1109/ITAB.2010.5687608</doi><tpages>4</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 2168-2194
ispartof Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine, 2010, p.1-4
issn 2168-2194
2168-2208
language eng
recordid cdi_ieee_primary_5687608
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Semantics
title Temporal Logic Bounded Model-Checking for recognition of activities of daily living
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-19T04%3A58%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Temporal%20Logic%20Bounded%20Model-Checking%20for%20recognition%20of%20activities%20of%20daily%20living&rft.btitle=Proceedings%20of%20the%2010th%20IEEE%20International%20Conference%20on%20Information%20Technology%20and%20Applications%20in%20Biomedicine&rft.au=Magherini,%20T&rft.date=2010-11&rft.spage=1&rft.epage=4&rft.pages=1-4&rft.issn=2168-2194&rft.eissn=2168-2208&rft.isbn=1424465591&rft.isbn_list=9781424465590&rft_id=info:doi/10.1109/ITAB.2010.5687608&rft.eisbn=9781424465613&rft.eisbn_list=1424465613&rft.eisbn_list=1424465605&rft.eisbn_list=9781424465606&rft_dat=%3Cieee_6IE%3E5687608%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i1338-11d612bb53e28ddf603358ea06581e4fc41155a75caf8ec41148d6d53b63418b3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5687608&rfr_iscdi=true