Formal Modeling Techniques for Ambient Assisted Living

Guido Parente, CD Nugent, Xin Hong, Mark Donnelly, Liming Chen, Enrico Vicario

Research output: Non-textual formWeb publication/site

7 Citations (Scopus)

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.
LanguageEnglish
DOIs
Publication statusPublished - 2010

Fingerprint

Temporal logic
Hidden Markov models
Ontology
Assisted living

Keywords

  • Ambient assisted living
  • Formal methods
  • Modeling and analysis techniques
  • Knowledge engineering

Cite this

Parente, Guido (Author) ; Nugent, CD (Author) ; Hong, Xin (Author) ; Donnelly, Mark (Author) ; Chen, Liming (Author) ; Vicario, Enrico (Author). / Formal Modeling Techniques for Ambient Assisted Living. [Web publication/site].
@misc{92d6696664c94147b68edc60f6d1242f,
title = "Formal Modeling Techniques for Ambient Assisted Living",
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.",
keywords = "Ambient assisted living, Formal methods, Modeling and analysis techniques, Knowledge engineering",
author = "Guido Parente and CD Nugent and Xin Hong and Mark Donnelly and Liming Chen and Enrico Vicario",
year = "2010",
doi = "10.1007/s12126-010-9086-8",
language = "English",

}

Formal Modeling Techniques for Ambient Assisted Living. Parente, Guido (Author); Nugent, CD (Author); Hong, Xin (Author); Donnelly, Mark (Author); Chen, Liming (Author); Vicario, Enrico (Author). 2010.

Research output: Non-textual formWeb publication/site

TY - ADVS

T1 - Formal Modeling Techniques for Ambient Assisted Living

AU - Parente, Guido

AU - Nugent, CD

AU - Hong, Xin

AU - Donnelly, Mark

AU - Chen, Liming

AU - Vicario, Enrico

PY - 2010

Y1 - 2010

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

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

KW - Ambient assisted living

KW - Formal methods

KW - Modeling and analysis techniques

KW - Knowledge engineering

U2 - 10.1007/s12126-010-9086-8

DO - 10.1007/s12126-010-9086-8

M3 - Web publication/site

ER -