Ulster University Logo

Ulster Institutional Repository

Formal Modeling Techniques for Ambient Assisted Living

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute

Parente, Guido, Nugent, CD, Hong, Xin, Donnelly, Mark, Chen, Liming and Vicario, Enrico (2010) Formal Modeling Techniques for Ambient Assisted Living. Ageing International, Springer Verlag, 25 pp, DOI: 10.1007/s12126-010-9086-8 [Internet publication]

Full text not available from this repository.

URL: http://dx.doi.org/10.1007/s12126-010-9086-8

DOI: 10.1007/s12126-010-9086-8


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.

Item Type:Internet publication
Keywords:Ambient assisted living - Formal methods - Modeling and analysis techniques - Knowledge engineering
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Smart Environments
ID Code:17241
Deposited By:Dr Mark Donnelly
Deposited On:07 Mar 2011 15:37
Last Modified:30 Apr 2015 14:34

Repository Staff Only: item control page