• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Formal Modeling Techniques for Ambient Assisted Living

    Thumbnail
    Date
    2010-11-23
    Author
    Parente, G.;
    Nugent, Chris;
    Hong, X.;
    Donnelly, Mark P.;
    Chen, Liming;
    Vicario, E.
    Metadata
    Show attachments and full item record
    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.
    Description
    Citation : Parente, 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.
    URI
    http://hdl.handle.net/2086/15374
    DOI
    https://doi.org/10.1007/s12126-010-9086-8
    Research Group : CIIRG
    Research Institute : Cyber Technology Institute (CTI)
    Peer Reviewed : Yes
    Collections
    • School of Computer Science and Informatics [2966]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary