Formal Modeling Techniques for Ambient Assisted Living

Simple item page
dc.cclicenceCC-BY-NCen
dc.contributor.authorParente, G.en
dc.contributor.authorNugent, Chrisen
dc.contributor.authorHong, X.en
dc.contributor.authorDonnelly, Mark P.en
dc.contributor.authorChen, Limingen
dc.contributor.authorVicario, E.en
dc.date.acceptance2011-03-07en
dc.date.accessioned2018-03-07T14:19:22Z
dc.date.available2018-03-07T14:19:22Z
dc.date.issued2010-11-23
dc.description.abstractIn 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.en
dc.funderN/Aen
dc.identifier.citationParente, G., Nugent, C.D., Hong, X. Donnelly, M. P., Chen, L. and Vicario, E. (2011) Formal Modeling Techniques for Ambient Assisted Living. Ageing International, 36(2), pp.192-216.en
dc.identifier.doihttps://doi.org/10.1007/s12126-010-9086-8
dc.identifier.urihttp://hdl.handle.net/2086/15374
dc.language.isoenen
dc.peerreviewedYesen
dc.projectidN/Aen
dc.publisherSpringeren
dc.researchgroupCIIRGen
dc.researchinstituteCyber Technology Institute (CTI)en
dc.subjectAmbient assisted livingen
dc.subjectFormal methodsen
dc.subjectModeling and analysis techniquesen
dc.subjectKnowledge engineeringen
dc.titleFormal Modeling Techniques for Ambient Assisted Livingen
dc.typeArticleen

Files

License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.2 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

School of Computer Science and Informatics