Formal Modeling Techniques for Ambient Assisted Living

In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontol...

Full description

Saved in:
Bibliographic Details
Published in:Ageing international 2011-06, Vol.36 (2), p.192-216
Main Authors: Parente, Guido, Nugent, Christopher D., Hong, Xin, Donnelly, Mark P., Chen, Liming, Vicario, Enrico
Format: Article
Language:English
Subjects:
Activities of daily living
Aging
Assisted living facilities
Automation
Cognition & reasoning
Human error
Localization
Medical equipment
Monitoring systems
Older people
Ontology
Radio frequency identification
Sensors
Social Sciences
Software
Studies
Temporal logic
Trends
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93
cites cdi_FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93
container_end_page 216
container_issue 2
container_start_page 192
container_title Ageing international
container_volume 36
creator Parente, Guido
Nugent, Christopher D.
Hong, Xin
Donnelly, Mark P.
Chen, Liming
Vicario, Enrico
description In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontology networks, temporal logic, hidden Markov models and partially observable Markov models. We review them in the perspective of their potential in the realm of AAL, recalling the general traits and potential of each of them, and highlighting how this can be concretely deployed within the AAL realm. To this end, we present a number of scenarios providing insight on how each technique can match the needs of different types of problem in the application domain.
doi_str_mv 10.1007/s12126-010-9086-8
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_877955851</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2401921871</sourcerecordid><originalsourceid>FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93</originalsourceid><addsrcrecordid>eNp1kE1LxDAQhoMoWFd_gLfiPTrTNGlyLIvrChUvK3gLbZquXfqxJl3Bf29KBU8yh7k87zvDQ8gtwj0CZA8eE0wEBQSqQAoqz0iEigkqQLyfkwhQMMqRy0ty5f0BAFMmeETEZnR92cUvY227dtjHO2s-hvbzZH3cjC7O-6q1wxTn3rd-snVctF8BuyYXTdl5e_O7V-Rt87hbb2nx-vS8zgtqGPKJKlZbyFgVhimoJXBUShgllUgTVJgqMBVmskKeMiYQGDCLFpDXNTdGsRW5W3qPbpx_mvRhPLkhnNQyyxTnkmOAcIGMG713ttFH1_al-9YIerajFzs62NGzHS1DJlkyPrDD3rq_4v9DPxGZZKE</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>877955851</pqid></control><display><type>article</type><title>Formal Modeling Techniques for Ambient Assisted Living</title><source>Applied Social Sciences Index &amp; Abstracts (ASSIA)</source><source>ABI/INFORM Global (ProQuest)</source><source>Social Science Premium Collection</source><source>Politics Collection</source><source>Springer Nature</source><source>Sociology Collection</source><source>Sociological Abstracts</source><creator>Parente, Guido ; Nugent, Christopher D. ; Hong, Xin ; Donnelly, Mark P. ; Chen, Liming ; Vicario, Enrico</creator><creatorcontrib>Parente, Guido ; Nugent, Christopher D. ; Hong, Xin ; Donnelly, Mark P. ; Chen, Liming ; Vicario, Enrico</creatorcontrib><description>In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontology networks, temporal logic, hidden Markov models and partially observable Markov models. We review them in the perspective of their potential in the realm of AAL, recalling the general traits and potential of each of them, and highlighting how this can be concretely deployed within the AAL realm. To this end, we present a number of scenarios providing insight on how each technique can match the needs of different types of problem in the application domain.</description><identifier>ISSN: 0163-5158</identifier><identifier>EISSN: 1936-606X</identifier><identifier>DOI: 10.1007/s12126-010-9086-8</identifier><language>eng</language><publisher>New York: Springer-Verlag</publisher><subject>Activities of daily living ; Aging ; Assisted living facilities ; Automation ; Cognition &amp; reasoning ; Human error ; Localization ; Medical equipment ; Monitoring systems ; Older people ; Ontology ; Radio frequency identification ; Sensors ; Social Sciences ; Software ; Studies ; Temporal logic ; Trends</subject><ispartof>Ageing international, 2011-06, Vol.36 (2), p.192-216</ispartof><rights>Springer Science+Business Media, LLC 2010</rights><rights>Springer Science+Business Media, LLC 2011</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93</citedby><cites>FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.proquest.com/docview/877955851/fulltextPDF?pq-origsite=primo$$EPDF$$P50$$Gproquest$$H</linktopdf><linktohtml>$$Uhttps://www.proquest.com/docview/877955851?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,780,784,11688,12846,21387,21394,21395,27344,27924,27925,30999,33611,33774,33985,34530,36060,43733,43948,44115,44363,74221,74468,74639,74895</link.rule.ids></links><search><creatorcontrib>Parente, Guido</creatorcontrib><creatorcontrib>Nugent, Christopher D.</creatorcontrib><creatorcontrib>Hong, Xin</creatorcontrib><creatorcontrib>Donnelly, Mark P.</creatorcontrib><creatorcontrib>Chen, Liming</creatorcontrib><creatorcontrib>Vicario, Enrico</creatorcontrib><title>Formal Modeling Techniques for Ambient Assisted Living</title><title>Ageing international</title><addtitle>Ageing Int</addtitle><description>In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontology networks, temporal logic, hidden Markov models and partially observable Markov models. We review them in the perspective of their potential in the realm of AAL, recalling the general traits and potential of each of them, and highlighting how this can be concretely deployed within the AAL realm. To this end, we present a number of scenarios providing insight on how each technique can match the needs of different types of problem in the application domain.</description><subject>Activities of daily living</subject><subject>Aging</subject><subject>Assisted living facilities</subject><subject>Automation</subject><subject>Cognition &amp; reasoning</subject><subject>Human error</subject><subject>Localization</subject><subject>Medical equipment</subject><subject>Monitoring systems</subject><subject>Older people</subject><subject>Ontology</subject><subject>Radio frequency identification</subject><subject>Sensors</subject><subject>Social Sciences</subject><subject>Software</subject><subject>Studies</subject><subject>Temporal logic</subject><subject>Trends</subject><issn>0163-5158</issn><issn>1936-606X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><sourceid>7QJ</sourceid><sourceid>ALSLI</sourceid><sourceid>BHHNA</sourceid><sourceid>DPSOV</sourceid><sourceid>HEHIP</sourceid><sourceid>M0C</sourceid><sourceid>M2L</sourceid><sourceid>M2R</sourceid><sourceid>M2S</sourceid><recordid>eNp1kE1LxDAQhoMoWFd_gLfiPTrTNGlyLIvrChUvK3gLbZquXfqxJl3Bf29KBU8yh7k87zvDQ8gtwj0CZA8eE0wEBQSqQAoqz0iEigkqQLyfkwhQMMqRy0ty5f0BAFMmeETEZnR92cUvY227dtjHO2s-hvbzZH3cjC7O-6q1wxTn3rd-snVctF8BuyYXTdl5e_O7V-Rt87hbb2nx-vS8zgtqGPKJKlZbyFgVhimoJXBUShgllUgTVJgqMBVmskKeMiYQGDCLFpDXNTdGsRW5W3qPbpx_mvRhPLkhnNQyyxTnkmOAcIGMG713ttFH1_al-9YIerajFzs62NGzHS1DJlkyPrDD3rq_4v9DPxGZZKE</recordid><startdate>20110601</startdate><enddate>20110601</enddate><creator>Parente, Guido</creator><creator>Nugent, Christopher D.</creator><creator>Hong, Xin</creator><creator>Donnelly, Mark P.</creator><creator>Chen, Liming</creator><creator>Vicario, Enrico</creator><general>Springer-Verlag</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>0-V</scope><scope>0U~</scope><scope>1-H</scope><scope>3V.</scope><scope>7QJ</scope><scope>7RV</scope><scope>7U4</scope><scope>7WY</scope><scope>7WZ</scope><scope>7XB</scope><scope>87Z</scope><scope>88J</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ALSLI</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BHHNA</scope><scope>CCPQU</scope><scope>DPSOV</scope><scope>DWI</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HEHIP</scope><scope>K60</scope><scope>K6~</scope><scope>KB0</scope><scope>KC-</scope><scope>L.-</scope><scope>L.0</scope><scope>M0C</scope><scope>M2L</scope><scope>M2O</scope><scope>M2R</scope><scope>M2S</scope><scope>MBDVC</scope><scope>NAPCQ</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>Q9U</scope><scope>WZK</scope></search><sort><creationdate>20110601</creationdate><title>Formal Modeling Techniques for Ambient Assisted Living</title><author>Parente, Guido ; Nugent, Christopher D. ; Hong, Xin ; Donnelly, Mark P. ; Chen, Liming ; Vicario, Enrico</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Activities of daily living</topic><topic>Aging</topic><topic>Assisted living facilities</topic><topic>Automation</topic><topic>Cognition &amp; reasoning</topic><topic>Human error</topic><topic>Localization</topic><topic>Medical equipment</topic><topic>Monitoring systems</topic><topic>Older people</topic><topic>Ontology</topic><topic>Radio frequency identification</topic><topic>Sensors</topic><topic>Social Sciences</topic><topic>Software</topic><topic>Studies</topic><topic>Temporal logic</topic><topic>Trends</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Parente, Guido</creatorcontrib><creatorcontrib>Nugent, Christopher D.</creatorcontrib><creatorcontrib>Hong, Xin</creatorcontrib><creatorcontrib>Donnelly, Mark P.</creatorcontrib><creatorcontrib>Chen, Liming</creatorcontrib><creatorcontrib>Vicario, Enrico</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Social Sciences Premium Collection</collection><collection>Global News &amp; ABI/Inform Professional</collection><collection>Trade PRO</collection><collection>ProQuest Central (Corporate)</collection><collection>Applied Social Sciences Index &amp; Abstracts (ASSIA)</collection><collection>Proquest Nursing &amp; Allied Health Source</collection><collection>Sociological Abstracts (pre-2017)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection</collection><collection>Social Science Database (Alumni Edition)</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Social Science Premium Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Sociological Abstracts</collection><collection>ProQuest One Community College</collection><collection>Politics Collection</collection><collection>Sociological Abstracts</collection><collection>ProQuest Central</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>Sociology Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Nursing &amp; Allied Health Database (Alumni Edition)</collection><collection>ProQuest Politics Collection</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ABI/INFORM Professional Standard</collection><collection>ABI/INFORM Global (ProQuest)</collection><collection>ProQuest Political Science Database</collection><collection>ProQuest research library</collection><collection>Social Science Database (ProQuest)</collection><collection>ProQuest Sociology Database</collection><collection>Research Library (Corporate)</collection><collection>Nursing &amp; Allied Health Premium</collection><collection>One Business (ProQuest)</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central Basic</collection><collection>Sociological Abstracts (Ovid)</collection><jtitle>Ageing international</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Parente, Guido</au><au>Nugent, Christopher D.</au><au>Hong, Xin</au><au>Donnelly, Mark P.</au><au>Chen, Liming</au><au>Vicario, Enrico</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal Modeling Techniques for Ambient Assisted Living</atitle><jtitle>Ageing international</jtitle><stitle>Ageing Int</stitle><date>2011-06-01</date><risdate>2011</risdate><volume>36</volume><issue>2</issue><spage>192</spage><epage>216</epage><pages>192-216</pages><issn>0163-5158</issn><eissn>1936-606X</eissn><abstract>In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontology networks, temporal logic, hidden Markov models and partially observable Markov models. We review them in the perspective of their potential in the realm of AAL, recalling the general traits and potential of each of them, and highlighting how this can be concretely deployed within the AAL realm. To this end, we present a number of scenarios providing insight on how each technique can match the needs of different types of problem in the application domain.</abstract><cop>New York</cop><pub>Springer-Verlag</pub><doi>10.1007/s12126-010-9086-8</doi><tpages>25</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0163-5158
ispartof Ageing international, 2011-06, Vol.36 (2), p.192-216
issn 0163-5158
1936-606X
language eng
recordid cdi_proquest_journals_877955851
source Applied Social Sciences Index & Abstracts (ASSIA); ABI/INFORM Global (ProQuest); Social Science Premium Collection; Politics Collection; Springer Nature; Sociology Collection; Sociological Abstracts
subjects Activities of daily living
Aging
Assisted living facilities
Automation
Cognition & reasoning
Human error
Localization
Medical equipment
Monitoring systems
Older people
Ontology
Radio frequency identification
Sensors
Social Sciences
Software
Studies
Temporal logic
Trends
title Formal Modeling Techniques for Ambient Assisted Living
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T01%3A17%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20Modeling%20Techniques%20for%20Ambient%20Assisted%20Living&rft.jtitle=Ageing%20international&rft.au=Parente,%20Guido&rft.date=2011-06-01&rft.volume=36&rft.issue=2&rft.spage=192&rft.epage=216&rft.pages=192-216&rft.issn=0163-5158&rft.eissn=1936-606X&rft_id=info:doi/10.1007/s12126-010-9086-8&rft_dat=%3Cproquest_cross%3E2401921871%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c315t-93de073b3b3390d8051996c989642191490cb178b15433610303e1e015dd5cc93%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=877955851&rft_id=info:pmid/&rfr_iscdi=true